c++ - 从 C++14 开始，尾随返回类型语法的合法使用

Question

实际上是否有任何理由再使用以下语法:

template<typename T>
auto access(T& t, int i)
  -> decltype(t[i])
{
    return t[i];
}

现在我们可以使用:

template<typename T>
decltype(auto) access(T& t, int i)
{
    return t[i];
}

尾随返回类型语法现在看起来有点多余？

Answer 1

推导的返回类型对 SFINAE 不友好。如果 t[i]，此重载将简单地退出重载集无效:

template<typename T>
auto access(T& t, int i)
  -> decltype(t[i])
{
    return t[i];
}

而这种重载不会导致硬错误:

template<typename T>
decltype(auto) access(T& t, int i)
{
    return t[i];
}

Demo

---

此外，您可能会遇到推导返回类型冲突的问题。考虑一下我是否想返回 std::optional<T> .自 std::nullopt_t 后，以下代码无法编译与 std::optional<T> 的类型不同:

#include <optional> // C++17 standard library feature

template <typename T>
auto foo(T const& val)
{
    if (val.is_invalid()) return std::nullopt;
    return val.some_function_returning_an_optional();
}

尾随返回类型让您可以准确指定要返回的表达式类型:

template <typename T>
auto foo(T const& val)
    -> decltype(val.some_function_returning_an_optional())
{
    if (val.is_invalid()) return std::nullopt;
    return val.some_function_returning_an_optional();
}

您可以使用前导返回类型，但需要使用 std::declval ，这使得它更难理解:

template <typename T>
decltype(std::declval<T const&>().some_function_returning_an_optional())
foo(T const& val)
{
    if (val.is_invalid()) return std::nullopt;
    return val.some_function_returning_an_optional();
}

Demo