c++ - 为什么这不会在 WSL 中的 Ubuntu 上触发堆栈溢出？

Question

#include <iostream>
 
int main()
{
    constexpr size_t array_size{1000000000};
    int stack[array_size];
    std::cout << sizeof(stack);
    return 0;
}

该程序只打印出 4000000000。所以看起来这应该需要将近 4GB 的内存，远远超过我认为 Ubuntu 的堆栈大小的 8MB。我在 WSL 中运行它以防万一。
一个想法是它可能会被优化。所以我像这样更新了程序:

#include <iostream>
 
int main()
{
    constexpr size_t array_size{1000000000};
    int stack[array_size];
    for(size_t i{0}; i<array_size; i++)
        stack[i] = i;

    std::cout << sizeof(stack);
    return 0;
}

运行时间稍长，然后输出 4000000000。
看来这是触发溢出所必需的:

#include <iostream>
 
int main()
{
    constexpr size_t array_size{1000000000};
    int stack[array_size];
    stack[0] = 0;
    for(size_t i{1}; i<array_size; i++)
        stack[i] = stack[i-1] + 1;

    std::cout << sizeof(stack) << "\n";
    std::cout << "Last element: " << stack[array_size - 1] << "\n";
    return 0;
}

Answer 1

该程序(很可能)经过优化，只显示大小，实际上没有分配内存。根据 as-if 允许这样做。规则。
以下是您可以比较 unoptimized 的示例(崩溃)与 optimized (打印 4000000000 )结果。