Właściwość ref-and cv-stripping dla `auto`.

Question

dowiedziałem się, że deklarując zmienną przy użyciu funkcji Auto w ten sposób

auto var = expr; 

zasadzie jest jak rodzaj expr i odpędzania &/& & -references i wszystko constness najwyższego poziomu i volatileness od niego. Czy to oznacza, że ​​powyższa linia to dokładnie odpowiednik następującego?

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

Answer 1

Nie, to nieprawda. auto var = expr; jest bardziej podobny do przekazywania wartości expr.

int x[1]; 
auto y = x; 

To sprawia y się int*.

Głównie auto x = expr; zachowuje się jak typ szablonu odliczenia:

template <typename T> 
void f(T); 
int x[1]; 
f(x); // deduces T as int* 

To jest bardziej jak std::decay<decltype(expr)> var = expr;.