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或其他什么，我希望返回类型是最大的＆＃39;传递的变量的类型，以便它也可以使用字符和字符串（对于那些我显然会做另一个操作或其他东西，这只是一个例子）。

Answer 1

处理这种情况的规范方法是返回从操作结果返回的相应类型：

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 function-name ( args ) -> return-type

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

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

return-type function-name ( args )

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

Answer 2

您可以使用

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

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

模板参数作为返回类型

2 个答案: