auto类型推导依据初始化表达式的值类别和表达式类型，而非右侧变量声明；会丢弃引用和顶层const，需用auto&或const auto&显式保留。
auto 推导规则看的是初始化表达式，不是赋值右边的变量声明
很多人以为 auto x = y; 里的 x 类型由 y 的声明类型决定，其实不然——编译器只看 y 在此处的「值类别」和「表达式类型」。比如 y 是引用，auto 默认丢掉引用；y 是 const，auto 默认也丢掉 const。
常见错误现象：const std::string& s = get_str(); auto t = s; → t 是 std::string（非引用、非 const），不是 const std::string&。
- 要保留引用：写成
auto& t = s; - 要保留 const：写成
const auto& t = s;（推荐，避免拷贝） - 推导时不会穿透 typedef 或 using 别名，而是还原到原始类型（如
using Handle = int*;，auto p = h;推出int*，不是Handle）
函数返回值用 auto 声明时，必须配合 trailing return type 或定义在后
函数声明里单独写 auto func(); 是不合法的（C++11/14），因为编译器无法在声明点推导返回类型。必须用尾置返回类型或把定义放在声明之后。
使用场景：返回类型复杂（如嵌套模板、lambda 类型）、或依赖模板参数（SFINAE 场景）。
立即学习“C++免费学习笔记（深入）”；
- 正确写法一（尾置返回）：
auto func() -> std::vector<:string>;</:string> - 正确写法二（定义在前）：
auto func() { return std::vector<:string>{}; }</:string>（此时推导发生在定义处） - 错误写法：
auto func();+ 单独定义 → 编译失败，报错类似‘func’ declared as function returning a ‘auto’
auto 不能用于函数参数、非静态数据成员、模板参数
auto 是编译期类型推导机制，它依赖具体初始化值，而这些位置没有初始化表达式可查。
容易踩的坑：
- 写
void f(auto x);→ 错误！这是 C++20 的概念语法，不是 C++11/14 的auto，会报expected type-specifier - 写
struct S { auto x = 42; };→ C++11 不允许（C++17 起允许，但需有默认初始化） - 写
template<auto v> struct X {};</auto>→ 这是 C++17 的非类型模板参数，和类型推导无关，别混淆
用 auto 遍历容器时，注意迭代器解引用后的 cv-qualifier 和引用性
写 for (auto x : vec) 得到的是值拷贝；写 for (auto& x : vec) 才能修改原元素；如果容器是 const 的（比如传入 const ref），auto& 会失败，得用 const auto&。
性能影响明显：对 std::string、std::vector 等大对象，漏掉 & 可能触发多次构造/析构。
- 安全通用写法：
for (const auto& x : container)（只读遍历） - 需要修改：
for (auto& x : container)（确保 container 非 const） - 误用
auto x遍历std::map<k v></k>→x类型是std::pair<const k v></const>，不是std::pair<k v></k>，key 是 const 的，不能赋值
