模板参数作为返回类型

Question

我不久前偶然发现了这个问题,我终于得到了答案!

问题如下:

#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.我尝试使用THIRD模板参数,但它给了我一个编译错误,有人可以向我解释一下吗？

我不希望它通常是一个long或者什么,我希望返回类型是传递的变量的"最大"类型,因此它也可以使用字符和字符串(对于那些我显然会做另一个操作的人)或者什么,这只是一个例子).

Answer 1

处理这种情况的规范方法是返回从操作结果返回的适当类型:

template <typename FIRST, typename SECOND>
auto multiply(FIRST a, SECOND b) -> decltype(a * b) {
    return a * b;
}

这个用例几乎是添加后期返回类型的动机示例:操作的结果类型可以完全不可预测.这导致两个需求:

1. 它需要有可能确定一个表达式的类型是什么decltype(expr):它产生expr声明的类型:何时expr是函数调用你会看到函数声明,这就是decltype(expr)产生的东西(嗯,有那里有一些复杂性).

2. 要实际制定expr它,经常需要掌握函数参数.因此,引入了一种声明函数的新方法:

   auto function-name (args ) -> return-type

   该auto关键字仅表明该功能将使用迟返回类型.该函数名和ARGS使用相同的在其他functino声明.然后返回类型在可以使用参数名称的位置,即->在返回 - >类型之后,通常在函数声明之前.

   换句话说,如果返回类型并没有参考的参数名称,声明上面就相当于此声明:

   return-type function-name (args)

   如果return-type引用了args中引入的名称,则需要处理获取相应类型的对象,例如,使用std::declval<T>().