C++如何定义一个不被初始化的原始数组-C++-PHP中文网

std::array 不允许跳过初始化，声明时必默认或零初始化；原始数组仅在函数内未初始化，全局/static 下仍零初始化；读取未初始化值是未定义行为，现代编译器可能激进优化。

c++如何定义一个不被初始化的原始数组

如果你写 std::array<int> arr;</int>，它会默认值初始化（即所有元素为 0），这不是“不被初始化”。C++ 标准不允许 std::array 跳过初始化——它的构造函数总会调用元素的默认构造或零初始化。想绕开？不行。

在函数作用域内（即栈上）定义原始数组，且不提供初始化器，它就是未初始化的：

void foo() {
    int arr[10]; // ✅ 未初始化：arr[0]~arr[9] 值是 indeterminate
}

但要注意：

std::vector<int> v; v.reserve(10);</int> 只分配内存，不构造对象，但 v.size() 仍是 0，你无法通过 v[0] 访问——那属于越界。真正想“分配未初始化内存+可直接访问”，得用更底层方式：

C++

"空空如也"

下载

若真需要未初始化原始内存，可用 std::allocator：

std::allocator<int> alloc;
int* p = alloc.allocate(10); // ✅ 分配但不构造
// 使用前需手动 placement-new 构造（如必要）
alloc.deallocate(p, 10);</int>

更常见的是 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 等工具，在需要时再构造
绝大多数场景下，老老实实初始化反而更安全、更易调试

未初始化不是捷径，而是需要精确控制生命周期和内存语义的边界操作。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！

C++如何定义一个不被初始化的原始数组