如何正确编写尾随返回类型？

Question

假设我有这个函数模板：

template<typename T1, typename T2>
auto DoSomething(const T1& arg);

当然，这个函数需要一个尾随返回类型，考虑到函数的用途，我真的无法正确。

这个函数应该做的是使用arg，对arg和一个T2对象做一些操作，并将操作的结果作为函数的返回值。显然，DoSomething() 的返回类型必须（兼容地）与为 arg 和 T2 对象完成的操作的返回类型匹配。

再次假设我们让DoSomething() 做一些真正的运算，比如乘法。然后我们将DoSomething() 写成如下代码：

template<typename T1, typename T2>
auto DoSomething(const T1& arg) -> /* trailing return-type */ {
    T2 t2Obj;   // Or have it obtained in some other way
    return arg * t2Obj;
}

我应该如何为此形成尾随返回类型？

---

P.S.：我已经尝试使用 decltype(arg * T2)、decltype(T1 * T2) 和 decltype(T1::operator * (T2)) 以及其他一些看起来很奇怪的 decltypes 作为尾随返回类型。他们都没有工作。

Answer 1

您应该使用decltype 和std::declval<> 作为：

template<typename T1, typename T2>
auto DoSomething(const T1& arg) -> decltype(arg * std::declval<T2>())
{
    T2 t2Obj;   // Or have it obtained in some other way
    return arg * t2Obj;
}

因为T2 可能没有默认构造函数，所以decltype(arg *T2()) 可能不起作用。

但我也注意到，如果T2 没有默认构造函数，那么您也将不能够编写T2 t2Obj。所以如果你要求T2有默认构造函数，那么你可以简单地写这个：

-> decltype(arg *T2()) //requirement : T2 must have default constructor

如果您要求 T2 拥有默认构造函数，这也应该可以工作！