C++14中POD类型默认初始化是否特殊？为何示例代码输出0？

问题1：C++14标准中，POD类型默认初始化时是否会得到特殊处理？ #

咱们先理清楚核心概念：C++14里的POD类型，指的是平凡且符合标准布局的类型（比如你代码里的struct A，没有自定义构造函数、成员都是基本类型，完全满足POD的定义）。

关于默认初始化的规则，标准并没有给POD类型特殊的“自动赋值”待遇，得分场景看：

• 如果POD对象是自动存储期的（比如函数里的局部变量A a;），默认初始化不会对它做任何初始化操作，成员变量的值是未定义的；
• 但如果是静态/线程存储期的POD对象（比如全局的A a;或者static A a;），会先被零初始化，这属于标准规定的特殊处理场景。

简单总结：只有静态/全局的POD对象，默认初始化时会被自动填充零值；局部的POD对象默认初始化后，值完全是未定义状态。

问题2：为什么示例代码中输出0？我以为默认初始化应该得到随机值 #

先贴出你给出的代码：

#include <stdio.h>
#include<iostream>
#include<memory>
using namespace std;
struct A { int i; int j; };
int main() {
    A a;
    cout << " i is " << a.i << endl;
    return 0;
}

你说得没错，A a;确实是默认初始化，按照标准，a.i的值属于未定义行为，但为什么会输出0呢？这里要纠正一个常见误区：未定义行为的结果不一定是“随机垃圾值”。

未定义行为意味着编译器可以自由处理这种情况——很多现代编译器在调试模式下，会自动把未初始化的栈变量填充为0或者特定的标记值（比如VS里会用0xcdcdcdcd标记未初始化的栈内存），目的是帮开发者更容易发现未初始化的问题；而如果切换到release模式，编译器会做优化，这时候就可能出现真正的随机垃圾值了。

你引用的cppreference内容也能佐证这点：默认初始化对于非POD类会调用构造函数，但对于POD类型（比如这里的A），没有任何初始化逻辑，所以成员的值完全取决于编译器的处理方式，输出0只是其中一种可能的结果，并非标准规定的必然行为。

内容的提问来源于stack exchange，提问作者code707