C++11: `auto` 对 const 和引用类型的操作的标准引用

Question

假设我有一个类型 T:

typedef ... T;

然后我有这些功能:

T f11();
T& f12();
T&& f13();
const T f21();
const T& f22();
const T&& f23();

然后像这样称呼他们:

auto x11 = f11();
auto x12 = f12();
auto x13 = f13();
auto x21 = f21();
auto x22 = f22();
auto x23 = f23();

从 C++11 标准的哪些部分/条款可以推导出 x11..x23 的等效非自动声明？

Answer 1

它在 §7.1.6.4 auto specifier 中。在您的函数返回类型示例中，模板参数推导规则适用。

从标准中引用相关示例:

const auto &i = expr;

The type of i is the deduced type of the parameter X in the call f(expr) of the following invented function template:

template <class AUTO> void f(const AUTO& X);

因此在您的示例中，所有变量的类型 x11至 x23推导为 T .