auto默认丢弃引用和顶层const，仅保留底层const；需显式写auto&、const auto或const auto&才能保留对应属性。
auto 默认不会保留引用和顶层 const 属性。这是最常踩坑的起点——你以为它“智能推导”，其实它严格按值传递规则走，和模板参数推导一致。
auto x = expr 会丢掉什么
这种写法等价于函数按值传参：编译器提取表达式的“裸类型”，抹掉所有修饰。
- 引用（
&）被忽略：int& r = i;→auto x = r;推导为int，不是int& - 顶层
const被忽略：const int ci = 42;→auto x = ci;推导为int，不是const int - 数组名退化为指针：
int arr[5];→auto p = arr;推导为int*，不是int[5] - 函数名退化为函数指针：
void f();→auto fp = f;推导为void(*)()
但底层 const（比如 const int* 中的 const）会被保留，因为那是指针所指对象的属性，属于“类型的一部分”。
怎么让 auto 保留引用或 const
必须显式加修饰符，不能靠“猜”或“期望”。
- 要引用？写
auto&：auto& r = ci;→r是const int&（注意：绑定const对象时，auto&自动带const，避免权限放大） - 要顶层
const？写const auto：const auto x = ci;→x是const int - 既要引用又要 const？写
const auto&：const auto& ref = get_vector();→ 避免拷贝临时对象，且不可修改 - 要指针？可写
auto*：auto* p = &i;→p是int*，比auto p = &i;更明确（后者也能推对，但语义模糊）
initializer_list 的特殊陷阱
花括号初始化会让 auto 行为突变，尤其跨 C++ 标准版本时。
-
auto a = {1, 2, 3};→ 总是推导为std::initializer_list<int></int>，不管你想不想 -
auto b{42};（C++17 起）→ 推导为int；C++14 及以前 → 仍是std::initializer_list<int></int> - 想强制得到容器？得显式构造：
std::vector<int> v = {1, 2, 3};</int>或用auto v = std::vector<int>{1, 2, 3};</int>
这个差异在模板函数里尤其危险——一个 auto 参数接收 {1,2}，可能意外变成 initializer_list 而非你预期的容器类型。
为什么 auto&& 是例外
auto&& 不是“更智能的 auto”，而是万能引用（universal reference），依赖引用折叠规则。
- 绑定左值（如变量）→ 推导为左值引用：
int i; auto&& x = i;→x是int& - 绑定右值（如临时对象）→ 推导为右值引用：
auto&& y = get_int();→y是int&& - 它常用于完美转发和泛型 lambda，但普通变量声明中极少需要，滥用反而增加理解成本
真正容易被忽略的是：哪怕你写了 auto&&，它依然不保留顶层 const —— const int ci = 42; auto&& r = ci; 推导为 const int&，不是 int&&。这里 const 保留是因为它是底层 const（对象本身 const），不是顶层。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
