c++ decltype(auto) 还是 decltype(std::forward<T>(value))？

Question

例如，简单的恒等函子：

template <typename T>
class identity
{
public:
    constexpr auto operator ()(T && i) -> decltype(std::forward<T>(i))
    {
        return std::forward<T>(i);
    }
};

返回值哪个更好（C++14 和更新版本）：

• -> decltype(std::forward<T>(i)) 或
• -> decltype(auto)

或者它们是一样的吗？

Answer 1

或者它们是一样的吗？

假设你写的正确：

constexpr decltype(auto) operator ()(T && i)
{
    return std::forward<T>(i);
}

它们是一样的。 [dcl.type.auto.deduct]:

一个类型 T 包含一个占位符类型，以及一个对应的 初始化器e，确定如下：

• 对于在声明为返回类型包含占位符类型的函数中出现的非丢弃返回语句，T 是 声明返回类型，e 是返回语句的操作数。如果 return语句没有操作数，那么e就是void()；

如果占位符是decltype(auto) 类型说明符，则T 应为 仅占位符。为T 推导出的类型确定为 在 [dcl.type.simple] 中描述，好像 e 是 decltype

函数的返回类型是从return e; 推导出来的，就像decltype(e) 一样。所以它与显式的decltype(std::forward<T>(i)) 相同。

什么更好

在这种情况下，我会选择“少即是多”。 decltype(auto) 以更少的冗长为您提供您所追求的。