c++ - 使用 decltype 作为尾随返回类型的正确方法

Question

我经常看到这种形式的例子:

template <typename T, typename U>
auto add(T&& t, U&& u) -> decltype(std::forward<T>(t) + std::forward<U>(u))
{
    return std::forward<T>(t) + std::forward<U>(u);
}  

但我敢说这是更好更正确的方法:

template <typename T, typename U>
auto add(T&& t, U&& u) -> decltype(t + u)//no forwarding here
{
    return std::forward<T>(t) + std::forward<U>(u);
}

为什么？首先，此示例中的 decltype 仅需推导返回类型，因此 (t + u) 不是 (std::forward(t) + std::forward(u)) 的返回类型，由两个 ver 生成的第二个代码是identical，第三个 decltype(u + t) 更直接，准确表达了程序员的意图，而没有带出实现的“胆量”。

你对这个问题有什么看法？

Answer 1

第一个版本更正确，因为它与函数体将要返回的内容完全匹配。正如已经指出的那样，根本无法保证

decltype(std::forward<T>(t) + std::forward<U>(u))

将是同一类型

decltype(t + u)

可以说，这是一个极端情况，但“正确”的方法是使用 std::forward。