`auto`的ref-和cv-stripping属性.

Question

我了解到以这种方式使用auto声明变量

auto var = expr;

基本上就是从它的类型expr和剥离&/ && - 引用和所有顶级constness和volatile.这是否意味着上述行完全等同于以下内容？

std::remove_cv<std::remove_ref<decltype(expr)>::type>::type var = expr;

Answer 1

不,那不是真的.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;.