c++ - 函数声明后的“->”是什么？

Question

在一个系统头文件中，我看到这样的表达式：

auto create_task(_Ty _Param) -> task<typename details::_TaskTypeFromParam<_Ty>::_Type>
{…}

我不知道“->”是什么意思，它不是指针表达式或 lambda 表达式，谁能帮帮我？

Answer 1

这是来自 C++11 的新函数声明语法，称为“尾随返回类型”。在函数声明的末尾，->意味着以下是函数的返回类型。它只能在使用auto关键字而不是您通常期望的实际返回类型时使用。

例如，这两个声明是兼容的：

int foo();
auto foo() -> int;

根据您的喜好，您可能会发现它比旧的声明语法更漂亮，尤其是当返回类型非常长/非常复杂时：

task<typename details::_TaskTypeFromParam<_Ty>::_Type> create_task(_Ty _Param);
auto create_task(_Ty _Param) -> task<typename details::_TaskTypeFromParam<_Ty>::_Type>;

但有时模板可能是必要的，因为函数的返回类型可能随参数而变化。

假设您想要一个模板化函数来添加变量：

template<typename T>
T add(const T& x, const T& y)
{
    return x + y;
}

这很好，但您只能添加相同类型的变量。假设您希望能够添加任何类型的变量（如add((int)1, (double)2)）。

template<typename T, typename U>
??? add(const T& x, const U& y)
{
    return x + y;
}

---

编辑：请注意，在 C++14 及更高版本中，为函数定义auto add(const T& x, const U& y)编写不带尾随返回类型的 是合法的（换句话说，当您定义函数体时）。

---

问题是您无法提前知道结果类型是什么x + y。就模板而言，它们甚至可以是非整数类型。（你不想做add(std::string("x"), "y")吗？）

Decltype，以及新的函数声明语法，可以让您解决这个问题。

template<typename T, typename U>
auto add(const T& x, const U& y) -> decltype(x + y)
{
    return x + y;
}

Decltype“返回”表达式的类型。由于您需要x并且y已经被声明为decltype(x + y)可以工作，因此您需要新的语法。