auto 能正确推导类型当且仅当有明确初始化表达式，编译器依 decltype 规则推导但去除顶层 const 和引用；常见于迭代器、Lambda、返回类型占位等场景，无初始化或类型模糊时推导失败。
auto 什么时候能正确推导出类型
auto 的类型推导基于初始化表达式，且必须有初始化值。编译器按“声明符+初始化值”做模板参数推导（类似 decltype 规则），但不保留引用和 const 限定符（除非显式写 & 或 const）。
常见可用场景：
- 迭代器声明：
for (auto it = vec.begin(); it != vec.end(); ++it) - 复杂模板类型：
auto ptr = std::make_unique<:map std::vector>>>() - lambda 表达式（无类型名可写）：
auto f = [](int x) { return x * 2; }; - 函数返回类型占位（c++14 起）：
auto func() { return 42; }（返回int）
auto 推导失败的典型错误
没有初始化、或初始化值类型模糊时，编译直接报错。错误信息通常含 auto 和 deduce 字样，比如 Error: unable to deduce 'auto' from '。
常见踩坑点：
立即学习“C++免费学习笔记（深入）”；
- 未初始化：
auto x;→ 编译失败 - 初始化为花括号列表且无上下文：
auto y = {1, 2, 3};→ 推导为std::initializer_list，不是std::vector或数组 - 函数调用返回重载集：
auto z = foo;（foo是函数名，非调用）→ 推导失败；必须加()或取地址&foo - auto 不能用于函数参数（C++20 概念约束是另一回事，不是 auto 推导）
auto& / const auto& / auto&& 怎么选
单纯 auto 会丢弃顶层 const 和引用，容易意外拷贝。实际编码中，90% 的容器遍历时该用 const auto&。
选择依据：
-
auto x = expr;→ 值拷贝，适合小类型（int、double）或明确要副本 -
auto& x = expr;→ 必须绑定到左值，修改原对象 -
const auto& x = expr;→ 最常用：避免拷贝、支持右值临时对象、不可修改 -
auto&& x = expr;→ 万能引用（universal reference），配合模板转发；单独使用时，对右值推导为T&&，左值推导为T&
例如：for (const auto& s : str_vec) { /* 读取 s */ } 安全高效；用 auto s 可能触发 std::String 拷贝构造。
auto 在范围 for、结构化绑定、模板别名里的特殊行为
C++17 结构化绑定和 C++20 模板别名进一步扩展了 auto 的实用性，但也引入细微差异。
注意点：
- 范围 for 中
auto [a, b] : map→a和b类型由map::value_type（即std::pair）推导，a是const K&，不是K -
using Ptr = auto(*)(int) -> double;（C++20）→ 这里auto占位函数返回类型，等价于using Ptr = double(*)(int); - lambda 捕获列表不支持 auto：
[x = auto(42)] {}是非法的；捕获只能写变量名或初始化表达式，类型由表达式决定
最易被忽略的是：结构化绑定声明的每个标识符，其 cv-qualifier 和引用性由绑定目标决定，不是由 auto 控制——auto 在这里只负责“让编译器去算”，不参与修饰。