使用 C++ 尾随返回类型时 auto 是什么意思？答案

【问题标题】：What is the meaning of auto when using C++ trailing return type?使用 C++ 尾随返回类型时 auto 是什么意思？
【发布时间】：2012-09-01 02:01:31
【问题描述】：

不同于平常

void foo (void ) {
    cout << "Meaning of life: " << 42 << endl;
}

C++11allows 是另一种选择，使用尾随返回

auto bar (void) -> void {
    cout << "More meaning: " << 43 << endl;
}

在后者中 - auto 旨在代表什么？

另一个例子，考虑函数

auto func (int i) -> int (*)[10] {

}

同样的问题，这个例子中auto是什么意思？

【问题讨论】：

标签： c++ c++11

【解决方案1】：

一般来说，C++11中的new关键字auto表示应该从表达式的结果中推断出表达式的类型（这里是函数的返回类型），在这种情况下，什么发生在-> 之后。

没有它，函数将没有类型（因此不是函数），编译器最终会感到困惑。

【讨论】：

【解决方案2】：

考虑代码：

template<typename T1, typename T2>
Tx Add(T1 t1, T2 t2)
{
    return t1+t2;
}

这里的返回类型取决于表达式t1+t2，而这又取决于如何调用Add。如果你称它为：

Add(1, 1.4);

T1 将是 int，T2 将是 double。结果 type 现在是 double (int+double)。因此 Tx 应该（必须）使用 auto 和 ->

指定

 template<typename T1, typename T2>
    auto Add(T1 t1, T2 t2) -> decltype(t1+t2)
    {
        return t1+t2;
    }

您可以在my article 阅读有关它的信息。

【讨论】：

【解决方案3】：

我认为答案比较简单，这里的其他答案没有涵盖。

基本上，如果没有auto，就会有歧义，因此委员会决定“您需要在此处使用auto 以避免这些歧义”。

class A {
    T B;
};

class B;

A* f();

f()->B;

现在，f()->B 是什么意思？是返回B（带有尾随返回类型语法）的无参数函数，还是对A* f()的函数调用？

如果我们在尾随返回类型语法的开头没有所需的auto，我们将无法判断。使用auto，很明显这是一个函数调用。

因此，为避免此处不明确，我们只需在使用尾随返回类型的任何函数声明的开头要求auto。

【讨论】：