auto不能推导函数返回类型（除非用decltype或尾置返回），推导值类型而非引用/const，lambda和模板中易掩盖类型，不能用于函数参数（c++20前），且不改变底层语义。
auto 不能推导出函数返回类型（除非配合 decltype 或 trailing return）
很多人以为 auto 能“自动搞定一切”，结果在写函数时直接这么写：
auto add(int a, int b) { return a + b; }
这在 C++11 是合法的，但仅限于函数定义（不是声明），且要求所有 return 语句返回**相同类型**。一旦出现 return 42; 和 return 3.14; 混用，编译器会报错：error: inconsistent deduction for 'auto': 'int' and then 'double'。
- 函数声明中不能只写
auto func();—— 编译器没上下文，无法推导 - 真要延迟声明返回类型，得用尾置返回：
auto func() -> int - 或者用
decltype显式辅助：auto func() -> decltype(x + y)
auto 推导的是值类型，不是引用或 const（除非显式加 & 或 const）
auto 默认做“值拷贝式推导”，和模板参数推导规则一致。比如：
const std::vector<int> v = {1, 2, 3}; auto x = v[0]; // x 是 int（不是 const int&） auto& y = v[0]; // y 是 const int& auto z = v; // z 是 std::vector<int> 的副本，不是引用
常见坑是遍历容器时想避免拷贝，却忘了加 &：
立即学习“C++免费学习笔记（深入）”；
- 写
for (auto x : container)→ 每次都调用拷贝构造（对 string、vector 等代价大） - 应写
for (const auto& x : container)→ 安全、零开销 - 如果后续要修改元素，用
auto& x；只读场景，const auto&最稳妥
auto 在 lambda 和模板中容易掩盖类型信息，调试时难定位
当大量用 auto 接收 lambda 或复杂模板返回值，类型名可能长得根本没法读：
auto f = [](int x) { return std::make_pair(x, "hello"); }; auto res = process(f); // res 是什么类型？gdb 里看 typeid(res).name() 可能输出一长串 mangled 名
这不是语法错误，但会影响可维护性：
- IDE 跳转、补全可能失效（尤其老版本 clangd/gcc）
- 编译错误信息里嵌套的
auto类型会层层展开，干扰主因定位 - 团队协作时，别人不看实现很难猜出
res是否支持.size()或operator[] - 关键接口处建议显式写出类型，比如用
using ResultType = ...;提前定义
auto 不能用于函数参数（C++20 以前）
这个限制常被初学者误试：
void foo(auto x) { } // ❌ C++17 不允许，不是泛型函数
它不是语法糖，而是语言层面未开放。C++20 引入了“简写函数模板”，但本质是语法糖，等价于：
template<typename T> void foo(T x) { } // ✅ 这才是真正的泛型
所以：
- 别指望
auto让普通函数变模板 —— 它只用于变量、函数返回类型、lambda 参数（C++14+） - lambda 中可以用
[=](auto x) { return x + 1; }，因为 lambda 本身是闭包类型，auto参数由编译器生成模板 operator() - 想写泛型函数，老实用
template；想快速写回调，用 lambda +auto参数更自然
最易被忽略的一点：auto 的推导发生在编译期，但它不改变底层语义。写 auto p = new int(42);，p 就是 int*，不是智能指针 —— 该 leak 还是 leak，该 delete 还是得 delete。