auto 仅用于变量定义时的类型推导，不能用于函数参数、模板形参、类成员变量及 C ++14 前的返回类型；需初始化，不支持数组 / 函数类型直接声明；默认忽略顶层 const 与引用，保留需显式添加；是声明 lambda 的唯一方式；范围 for 中需谨慎选择 auto、auto& 或 const auto& 以避免意外拷贝或修改失败。
auto 不能代替类型声明的全部场景
在函数参数、模板形参、类成员变量、返回类型（C++11/14 中）这些位置，auto 直接写上去会编译失败。它只用于变量定义时的类型推导，不是万能占位符。
常见误用：
void foo(auto x) {} // ❌ C++17 前非法 template struct S {}; // ✅ C++17 起支持，但这是非类型模板参数，和变量推导无关 -
auto只作用于初始化表达式右侧，且要求该表达式有明确类型（如字面量、函数调用、容器迭代器等） - 未初始化的
auto x;是非法的 —— 编译器无法推导 - 数组类型、函数类型不能直接用
auto声明（需加引用或指针修饰）
auto 推导规则与 const/reference 的关系
auto 默认忽略顶层 const 和引用，行为类似模板参数推导。想保留 const 或引用，必须显式写出 const auto& 或 auto&&。
例如：
const std::vector v = {1,2,3}; auto a = v; // a 是 std::vector，v 的 const 被丢弃 const auto& b = v; // b 是 const std::vector&，引用且保留 const auto&& c = v; // c 是 const std::vector&（因为 v 是左值） - 对右值使用
auto&&可能触发移动语义，但注意：若初始化表达式是具名变量，&&实际推导为左值引用（引用折叠规则） - 用
auto*显式获取指针类型，避免意外推导为数组类型
lambda 表达式必须用 auto 声明
lambda 类型是唯一的、不可写的，不借助 auto 或 std::function 无法声明其变量。
auto f = [](int x) {return x * 2;}; // ✅ 正确 // int (*f)(int) = [](int x) {return x * 2;}; // ❌ lambda 类型不是函数指针 -
auto是唯一能直接捕获 lambda 类型的方式；用std::function会带来类型擦除开销 - 若 lambda 捕获了局部变量，其类型大小不确定，
auto能准确匹配；而std::function需要指定签名，且可能分配堆内存 - 在模板函数中传递 lambda 时，用
auto参数（C++20）比std::function更高效、更泛化
auto 与范围 for 循环中的陷阱
写 for (auto x : container) 会复制每个元素；写 for (auto& x : container) 才能原地修改；若容器是 const，则只能用 const auto&。
立即学习 “C++ 免费学习笔记（深入）”；
std::vector vs = {"a", "b"}; for (auto s : vs) s += "!"; // ❌ vs 内容不变，只改了副本 for (auto& s : vs) s += "!"; // ✅ vs[0] 变成 "a!"，vs[1] 变成 "b!" for (const auto& s : vs) {……} // ✅ 安全读取，避免拷贝 string - 对
std::vector这类特化容器，auto&可能失效（operator[] 返回 proxy 对象），此时应改用auto值语义或显式类型 - 迭代
std::map时，auto& p中的p是std::pair，key 是 const，试图赋值& p.first = ……会编译失败
实际项目里最容易被忽略的是：把 auto 当成“省事写法”而绕过类型思考，结果在接口边界、模板实例化、跨模块调用时暴露隐含依赖。推导本身很快，但理解推导结果是否符合预期，需要看初始化表达式的完整上下文。
