auto不能推导函数返回类型（除非用尾置返回）；推导值类型而非引用/const；与decltype规则不同；不能用于C++11/14函数参数；推导依赖初始化表达式明确性。
auto 不能推导出函数返回类型（除非配合 trailing return）
很多人以为 auto 能“全自动”搞定一切，结果在写函数时直接这么干：
auto add(int a, int b) { return a + b; }——这在 C++11 是合法的，但注意：它只适用于**有返回语句且能唯一确定类型的函数**；一旦函数里有多个 return，类型不一致就编译失败。比如：auto get_value(bool flag) { if (flag) return 42; else return 3.14; }会报错：error: inconsistent deduction for 'auto'。真正安全的做法是显式声明返回类型，或改用尾置返回：auto get_value(bool flag) -> double { ... }
auto 推导的是值类型，不是引用或 const（除非加修饰）
写 auto x = v[0]; 得到的是 int（假设 v 是 vector<int></int>），不是 int&；想取引用得显式写 auto&，想保留 const 得写 const auto&。常见坑是循环中误改原容器元素：
for (auto x : vec) x *= 2; // x 是副本，vec 没变正确做法是：
for (auto& x : vec) x *= 2;或者更稳妥：
for (const auto& x : vec) { /* 只读 */ }
auto 在模板和 decltype 场景下行为差异大
auto 和 decltype 都做类型推导，但规则完全不同：auto 看初始化表达式的“结果类型”，decltype 看表达式本身的“声明类型”。比如：
int x = 42; auto a = x; // a 是 intdecltype(x) b = x; // b 是 intdecltype((x)) c = x; // c 是 int&（带括号视为左值表达式）在泛型编程中，如果需要保持引用/const 属性，别盲目用
auto，优先考虑 decltype 或 std::declval。
auto 无法用于函数参数（C++11/14 不支持，C++20 才有概念约束）
下面这段代码在 C++11/14 中是非法的：
void process(auto x) { ... } // error: 'auto' not allowed here有人会误以为这是“简化模板”，其实不是。想实现类似效果，必须写模板：template<typename T> void process(T x) { ... }或者 C++20 起可用概念：void process(std::integral auto x) { ... }但要注意：这不是 auto 的功能扩展，而是语言层面新增的约束语法，底层仍是模板实例化。
立即学习“C++免费学习笔记（深入）”；
最常被忽略的一点是：auto 推导依赖于初始化表达式是否明确、是否含隐式转换。比如 auto p = new int[10]; 推出的是 int*，但 auto q = std::make_unique<int>(10);</int> 推出的是 std::unique_ptr<int></int>——差一个星号，意义天壤之别。写的时候多看一眼 IDE 提示的类型，比靠记忆靠谱。
