std::array 不允许跳过初始化，声明时必默认或零初始化；原始数组仅在函数内未初始化，全局/static 下仍零初始化；读取未初始化值是未定义行为，现代编译器可能激进优化。
用 std::array 时不能跳过初始化
如果你写 std::array<int> arr;</int>，它会默认值初始化（即所有元素为 0），这不是“不被初始化”。C++ 标准不允许 std::array 跳过初始化——它的构造函数总会调用元素的默认构造或零初始化。想绕开？不行。
原始数组声明时不加括号就可能未初始化
在函数作用域内（即栈上）定义原始数组，且不提供初始化器，它就是未初始化的：
void foo() {
int arr[10]; // ✅ 未初始化：arr[0]~arr[9] 值是 indeterminate
}但要注意：
- 全局或
static作用域下，int arr[10];会被零初始化（即全为0），不是未初始化 - 必须是 POD 类型（如
int、double、char或纯 C 风格结构体），否则即使没写初始化器，也会调用默认构造函数 - 读取未初始化值是未定义行为（UB），编译器可能优化掉你以为的逻辑
用 std::vector 配合 reserve 不等于未初始化
std::vector<int> v; v.reserve(10);</int> 只分配内存，不构造对象，但 v.size() 仍是 0，你无法通过 v[0] 访问——那属于越界。真正想“分配未初始化内存+可直接访问”，得用更底层方式：
立即学习“C++免费学习笔记（深入）”；
-
std::vector的resize会值初始化（全设为0） - 若真需要未初始化原始内存，可用
std::allocator：std::allocator<int> alloc; int* p = alloc.allocate(10); // ✅ 分配但不构造 // 使用前需手动 placement-new 构造（如必要） alloc.deallocate(p, 10);
- 更常见的是
new int[10]——但注意：它在 C++14 及以后对内置类型也是值初始化（全0），除非显式用new int[10]{}（带空括号才值初始化），而new int[10]在 C++14 前才是未初始化；现在已不可靠，别依赖
最容易踩的坑：把“未定义值”当成“随机值”来用
有人想用未初始化数组做性能优化（比如后续立刻全量赋值），但现代编译器会基于“未初始化值不可预测”做激进优化。例如：
int arr[3];
if (arr[0] > 0) { /* 这个分支可能被整个删掉 */ }因为 arr[0] 是 indeterminate，编译器可以假设它永远不满足条件。所以：
- 不要指望未初始化数组“刚好存着上次栈上的垃圾值”
- 如果目标是避免初始化开销，应明确使用
std::uninitialized_fill或std::uninitialized_default_construct等工具，在需要时再构造 - 绝大多数场景下，老老实实初始化反而更安全、更易调试
未初始化不是捷径，而是需要精确控制生命周期和内存语义的边界操作。
