我了解到以这种方式使用 auto 声明变量
auto var = expr;
基本上就像采用 expr 的类型并从中剥离 &/&&-references 以及所有顶级常量和易失性。这是否意味着上面的行完全等同于下面的？
std::remove_cv<std::remove_ref<decltype(expr)>::type>::type var = expr;
【问题讨论】：
decltype(auto) :-)
auto的类型推导结合decltype的引用语义——如decltype(auto) x = foo();。
不，那不是真的。 auto var = expr; 更像是按值传递 expr。
int x[1];
auto y = x;
这使得y 成为int*。
大部分auto x = expr;的行为类似于模板类型推导：
template <typename T>
void f(T);
int x[1];
f(x); // deduces T as int*
更像std::decay<decltype(expr)> var = expr;。
【讨论】：
std::decay<decltype(expr)>::type var = expr; 究竟 是否等同于auto var = expr？
auto x = []{}; 是 lambda 类型，但是 lambdas 不能在 decltype 中使用。