auto变量必须初始化，因为其本质是编译器根据初始化表达式推导类型的占位符；未初始化则无法确定类型、分配内存，导致编译报错。
必须提供初始值。不初始化的 auto 变量在编译时直接报错，没有例外。
为什么编译器不允许未初始化的 auto
因为 auto 不是真实类型，只是编译器推导类型的占位符。它不携带任何类型信息，完全依赖初始化表达式来确定最终类型。没有初始值，编译器就无从下手——既不知道该分配多大内存，也无法判断是否符合类型约束。
常见错误现象：
-
auto x;→ 编译失败，提示类似error: declaration of 'x' has no initializer -
auto y{};（空花括号）→ 在 C++11/14 中仍不合法；C++17 起部分场景允许，但仅限于可默认构造的类型，且语义是“值初始化”，不是“无初始化”
auto 和 auto& 的初始化要求一致吗
一致。引用声明本身就要绑定对象，auto& 更不能跳过初始化。
-
int i = 42; auto& r = i;✅ 正确，r是int& -
auto& s;❌ 错误，未初始化引用，编译不过 -
const int ci = 100; auto& cr = ci;✅ 推导为const int&，顶层 const 保留
容易被忽略的隐式初始化陷阱
有些写法看似没初始化，实则隐含了初始化逻辑，但依然要警惕边界情况：
-
auto p = new int(5);✅ 合法，p类型是int*，new表达式就是初始化值 -
auto q = nullptr;✅ 合法，C++11 起nullptr是字面量，类型为std::nullptr_t，可推导 -
auto f = []() { return 42; };✅ 合法，lambda 表达式有唯一类型，f是该闭包类型 -
auto v = std::vector<int>{1,2,3};</int>✅ 合法，列表初始化也是初始化
真正危险的是把声明和赋值拆开写，比如：auto x; x = 42; —— 第一行就挂掉，不会等到第二行。
最常被忽略的一点：模板函数返回类型、decltype 表达式、甚至 sizeof 都不能用于 auto 初始化。推导只认**明确的、可求值的初始化表达式**，不接受类型运算或编译期元操作结果本身。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
