auto是编译期类型推导占位符，根据初始化表达式 deduce 实际类型，不推导顶层const/ref/volatile（需显式写出），不可用于无初始化或歧义初始化列表，配合尾置返回类型或C++14纯auto简化复杂返回类型，范围for中默认值拷贝需据需改用const auto&或auto&，lambda必须用auto捕获，推导结果零开销但放大隐式转换风险。
auto在C++11之后的类型推导规则
auto不是类型，而是占位符，编译器根据初始化表达式推导出实际类型。它不等价于void*或var，也不推导引用、const或volatile限定符——除非显式写出来。
常见错误现象：auto x = 5; → x是int，不是const int；auto y = std::string("hello"); → y是std::string值拷贝，不是引用。
- 想保留顶层const？写
const auto - 要引用？必须显式加
&：auto& ref = val; - 推导失败常见于无初始化（
auto x;非法）、或初始化为初始化列表但未指定模板参数（auto z = {1,2};→ 推导为std::initializer_list<int></int>）
auto和函数返回类型（尾置返回类型）
当函数返回类型依赖模板参数或复杂表达式时，auto配合尾置返回类型（->）能提升可读性。单纯写auto func() { ... }不启用推导——必须用auto func() -> decltype(...)或C++14起支持的纯auto返回（要求所有return语句推导出同一类型）。
使用场景：泛型算法中隐藏迭代器类型、lambda嵌套返回、避免重复写冗长的std::vector<:pair std::string>>::iterator</:pair>。
立即学习“C++免费学习笔记（深入）”；
- C++11必须写：
auto begin() -> decltype(container.begin()) { return container.begin(); } - C++14可简写：
auto begin() { return container.begin(); }（前提是所有分支返回同类型） - 注意：若函数内有多个
return且类型不一致（如return 42;和return 3.14;），编译失败
auto在范围for循环和STL容器遍历中的坑
写for (auto x : vec)默认按值拷贝元素；对大对象（如std::string、自定义类）可能引发不必要开销。更糟的是，修改x不会影响原容器。
常见错误现象：遍历时想转小写却没生效：for (auto c : str) { c = std::tolower(c); } —— c只是副本。
- 只读访问？用
const auto&（避免拷贝，且禁止误改） - 需修改原元素？用
auto&（引用，可写） - 迭代map时：
for (const auto& p : my_map)→p是const std::pair<const key value>&</const>，字段名用p.first/p.second - 别用
auto it = vec.begin()代替auto it = vec.cbegin()——前者可能是非const迭代器，破坏只读意图
auto和lambda表达式的类型擦除问题
lambda的类型是唯一的、不可名状的类类型，不能直接声明变量（auto f = [](){}合法，?? f = [](){}非法）。所以auto是捕获lambda的唯一常规方式。
性能影响：lambda对象通常很小（捕获少时仅存指针/值），auto无额外开销；但若需多次传参或存储，注意其类型无法被其他函数签名兼容——必须用std::function做类型擦除（带来虚调用或小对象优化开销）。
- 局部使用、不跨作用域？优先
auto，零成本 - 要存入容器或作为参数传给通用函数？考虑
std::function<void></void>，但确认是否真需要类型擦除 - 捕获
this后，lambda类型含隐式成员指针，auto仍能正确推导，但别误以为它等价于函数指针
最易忽略的一点：auto推导发生在编译期，完全不参与运行时行为；但它会放大隐式转换问题——比如auto x = 3.14f;是float，后续参与double运算可能触发静默提升，调试时容易误判精度来源。
