从c++函数中返回多个值的首选方法是什么?例如，假设有一个函数对两个整数进行除法并同时返回商和余数。我经常看到的一种方法是使用引用形参:
void divide(int dividend, int divisor, int& quotient, int& remainder);
一种变体是返回一个值，并通过引用形参传递另一个值:
int divide(int dividend, int divisor, int& remainder);
另一种方法是声明一个结构体来包含所有的结果并返回:
struct divide_result {
int quotient;
int remainder;
};
divide_result divide(int dividend, int divisor);
这些方法中是否有一种通常是首选的，还是有其他的建议?
编辑:在实际代码中，可能会有两个以上的结果。它们也可能是不同类型的。
当前回答
快速回答:
#include <iostream>
using namespace std;
// different values of [operate] can return different number.
int yourFunction(int a, int b, int operate)
{
a = 1;
b = 2;
if (operate== 1)
{
return a;
}
else
{
return b;
}
}
int main()
{
int a, b;
a = yourFunction(a, b, 1); // get return 1
b = yourFunction(a, b, 2); // get return 2
return 0;
}
其他回答
我倾向于在这样的函数中使用out-val，因为我坚持函数返回成功/错误代码的范式，并且我喜欢保持统一。
std::pair<int, int> divide(int dividend, int divisor)
{
// :
return std::make_pair(quotient, remainder);
}
std::pair<int, int> answer = divide(5,2);
// answer.first == quotient
// answer.second == remainder
Std::pair本质上是你的结构解决方案，但是已经为你定义好了，并且可以适应任何两种数据类型。
在c++ 17中，你还可以返回一个或多个不可移动/不可复制的值(在某些情况下)。通过新的有保证的返回值优化，可以返回不可移动的类型，并且可以很好地与聚合和模板化构造函数组合在一起。
template<typename T1,typename T2,typename T3>
struct many {
T1 a;
T2 b;
T3 c;
};
// guide:
template<class T1, class T2, class T3>
many(T1, T2, T3) -> many<T1, T2, T3>;
auto f(){ return many{string(),5.7, unmovable()}; };
int main(){
// in place construct x,y,z with a string, 5.7 and unmovable.
auto [x,y,z] = f();
}
这样做的好处是，它保证不会引起任何复制或移动。你也可以让这个例子有很多可变结构。更多的细节:
返回c++ 17可变变量模板“构造推导指南”的可变变量聚合(struct)和语法
使用结构体或类作为返回值。使用std::pair可能暂时有效，但是
如果你决定以后要返回更多信息，这是不灵活的; 从函数头中的声明来看，不太清楚返回的是什么以及返回的顺序。
Returning a structure with self-documenting member variable names will likely be less bug-prone for anyone using your function. Putting my coworker hat on for a moment, your divide_result structure is easy for me, a potential user of your function, to immediately understand after 2 seconds. Messing around with ouput parameters or mysterious pairs and tuples would take more time to read through and may be used incorrectly. And most likely even after using the function a few times I still won't remember the correct order of the arguments.
如果你通过引用函数返回一个值,编译器不能存储在寄存器当调用其他函数,因为从理论上讲,第一个函数可以保存变量的地址传递给它的全局变量,和任何subsecuently称为功能可能改变它,所以编译器会有(1)将值从寄存器保存到内存之前调用其他函数和(2)重读的时候需要从内存后再任何这样的调用。
如果通过引用返回，程序的优化将受到影响
