模板参数作为返回类型

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

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

   return-type function-name ( args )

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

Answer 2

您可以使用

typename std::common_type<FIRST,SECOND>::type

作为算术表达式的返回类型。