MSVC中未初始化堆内存为何在1044472字节处表现迥异？

以下C++程序用于检测未初始化堆内存中被清零的字节数量：

#include <cstdio>
#include <string>

static void CountZerosNonZeros(size_t nBytes)
{
    char* mem = new char[nBytes];

    size_t count[2] = {};
    for (size_t i = 0; i < nBytes; i++)
        count[mem[i] == 0]++;

    delete [] mem;

    std::printf("Zeros:     %7zu\n", count[true]);
    std::printf("Non-zeros: %7zu\n", count[false]);
}

int main(int argc, char** argv)
{
    const size_t nBytes = std::stoull(argv[1]);

    CountZerosNonZeros(nBytes);
}

使用Visual Studio 2022 v17.10.4（cl.exe v19.40.33812）编译为带优化的x86-64二进制文件后，观察到以下现象：

• 当nBytes ≤ 1044472时，部分字节未被清零；
• 当nBytes > 1044472时，所有字节均被清零。

该现象无法在在线编译器复现，属于MSVC特性。虽然使用未初始化内存属于未定义行为，但可从MSVC的堆分配实现逻辑解释这一差异：

原因分析 #

MSVC的CRT（C运行时库）堆管理器会根据分配内存的大小选择不同的分配策略：

1. 小内存分配（≤1044472字节）：这类内存来自进程的"小块堆"，堆管理器会复用之前释放过的内存块。这些被复用的内存块保留着之前使用后的残留数据，因此不会被自动清零，表现为部分字节非零。
2. 大内存分配（>1044472字节）：这类内存会直接通过Windows系统API从操作系统申请新的内存页。根据Windows内存管理机制，新分配的内存页会被操作系统清零（出于安全考虑，防止泄露其他进程或之前使用过的内存数据），因此所有字节都会是0。

这个阈值1044472是MSVC CRT堆管理器区分小块堆和大块分配的临界值（具体数值可能随CRT版本略有变化），当分配大小超过该值时，会切换到直接调用系统API的分配方式，从而出现内存是否被清零的差异。

内容的提问来源于stack exchange，提问作者Dr. Gut