我前段时间偶然发现了这个问题，我终于需要得到答案了！
问题如下：
#include <iostream>
using namespace std;
template <class FIRST, class SECOND>
FIRST multiply(FIRST a, SECOND b){
return a * b;
}
int main(){
int x = 39;
double y = 38.38;
cout << multiply(x, y) << endl;
}
在这段 C++ 代码中，我有两个模板参数，函数的返回类型是一个参数的类型。我的问题是返回类型必须（在本例中）与变量的类型相同a是。我用第三个模板参数尝试了它，但它给了我一个编译错误，有人可以向我解释一下吗？
我不想让它成为一个普遍的long或者其他什么，我希望返回类型是传递的变量的“最大”类型，这样它也可以处理字符和字符串（对于那些我显然会做其他操作或其他操作的人，这只是一个例子）。
处理此类情况的规范方法是返回从调用的操作结果返回的适当类型：
template <typename FIRST, typename SECOND>
auto multiply(FIRST a, SECOND b) -> decltype(a * b) {
return a * b;
}
这个用例几乎是添加延迟返回类型的激励示例：操作的结果类型可能完全不可预测。这导致了两个需求：
- 需要能够确定表达式的类型
decltype(expr)作用：它产生什么类型expr被声明为：当expr是一个函数调用，您需要查看函数声明，这就是decltype(expr)产量（嗯，其中有一些复杂性）。
-
实际制定expr通常需要获取函数参数。因此，引入了一种声明函数的新方法：
auto 函数名(args) -> 返回类型
The auto关键字只是表明该函数将使用晚归类型. The 函数名 and args与其他函数声明中的使用方式相同。这返回类型然后在可以使用参数名称的地方，即在-> is the 返回->类型它通常位于函数声明的前面。
换句话说，如果返回类型 does not引用参数的名称，上面的声明相当于这个声明：
返回类型 函数名(args)
If 返回类型指的是引入的名称args您需要处理获取适当类型的对象，例如，使用std::declval<T>().
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
