我前段时间偶然发现了这个,我终于需要得到一个答案!
问题如下:
#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
函数名(
参数) ->
返回类型auto
关键字仅表示该函数将使用延迟返回类型。 function-name 和 args 的使用与其他 functino 声明中的相同。 return-type 然后跟在可以使用参数名称的位置,即在->
之后。是return->type,通常在函数声明的前面。换句话说,如果return-type不引用参数名称,则上面的声明等同于此声明:
返回类型 函数名称
(
参数)
如果return-type 引用args 中引入的名称,您需要处理获取适当类型的对象,例如,使用
std::declval<T>()
.
关于c++ - 模板参数作为返回类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26761206/