auto只能用于有初始化表达式的变量声明，如auto x = 42；无初始化、函数参数、模板实参、非静态成员变量等场景均不合法。
auto 什么时候能用，什么时候会报错
auto 不是万能的类型占位符，它依赖初始化表达式来推导类型。没初始化就声明 auto x;，编译器直接报错：error: declaration of 'x' with no type。函数返回类型、模板参数、类成员变量（未在构造函数初始化列表中赋值）也不能单独靠 auto 推导。
- 必须带初始化：比如
auto x = 42;→int，auto y = 3.14;→double - 不能用于函数参数：写
void f(auto x)是非法的（C++20 的概念约束是另一回事，不是 auto 本身支持） - 不能作为非静态数据成员直接声明：
struct S { auto m; };编译不过
auto 和 const、引用、指针怎么搭配
auto 推导时默认忽略顶层 const 和引用，但你可以显式加上——这直接影响语义和性能。比如遍历容器时想避免拷贝，就得写 const auto& 而不是裸 auto。
-
const int ci = 42; auto a = ci;→a是int（顶层 const 被丢掉） -
auto& b = ci;→b是const int&（引用保留 const） -
auto* p = &ci;→p是const int*（指针类型被完整推导） - 循环里写
for (auto x : vec)会拷贝元素；改用for (const auto& x : vec)才安全高效
auto 在 lambda 和模板推导中的实际表现
lambda 表达式用 auto 参数（如 [=](auto x) { return x + 1; }）是 C++14 起支持的泛型 lambda，背后其实是编译器生成了函数模板。但它和普通函数模板不同：捕获方式、this 可见性、以及能否参与 SFINAE 都有差异。
- 泛型 lambda 的
auto参数等价于一个未命名的模板参数，每次调用可能实例化不同版本 - 不能直接取它的地址：
auto f = [](auto x) { return x; }; void (*fp)(int) = f;错误——类型不匹配且 lambda 类型唯一 - 配合
std::function使用时，要明确目标签名，否则编译失败：std::function<int> f = [](auto x) { return x; };</int>可行，但auto f = [](auto x) { return x; };后续无法赋给其他std::function
为什么 vector<auto> 会编译失败
vector<auto> 是常见误解。auto 是声明时的类型推导工具，不是类型名，不能出现在模板实参位置。它只存在于变量/参数/返回类型声明的“左侧”，不能当 typename 用。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
std::vector<auto> v = {1, 2, 3};→error: 'auto' not allowed in template arguments - 正确做法：让变量推导，而不是容器模板参数推导：
auto v = std::vector{1, 2, 3};（C++17 类模板参数推导） - 如果真需要类型擦除或运行时多态，得换思路：用
std::any、std::variant或基类指针，而不是硬套 auto
最常被忽略的一点：auto 推导出的类型是精确的，不自动降级或提升。比如 auto x = 5u + 3; 得到的是 unsigned int，不是 int，混合符号运算时容易埋下隐式转换隐患。推导本身很快，但看懂它到底推成了什么，得养成用 IDE 查看类型或加 static_assert(std::is_same_v<decltype expected_type>)</decltype> 验证的习惯。
