c++ - 模板参数作为返回类型

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 的类型相同。我用第三个模板参数尝试了它，但它给了我一个编译错误，任何人都可以向我解释一下吗？

我一般不想让它成为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 函数名 ( 参数 ) -> 返回类型

   auto关键字仅表示该函数将使用延迟返回类型。 function-name 和 args 的使用与其他 functino 声明中的相同。 return-type 然后跟在可以使用参数名称的位置，即在 -> 之后。是return->type，通常在函数声明的前面。

   换句话说，如果return-type不引用参数名称，则上面的声明等同于此声明:

   返回类型 函数名称 ( 参数 )

   如果return-type 引用args 中引入的名称，您需要处理获取适当类型的对象，例如，使用std::declval<T>() .