类内与类外定义默认默认构造函数为何影响类的POD类型判定？

问题重现 #

你遇到的情况是：两个结构体仅因默认构造函数的定义位置不同，一个被判定为POD类型，另一个却不是。代码如下：

#include <iostream>
struct POD {
    POD() = default;
};
struct notPOD {
    notPOD();
};
notPOD::notPOD() = default;
int main() {
    std::cout << std::boolalpha << std::is_pod<POD>() << ' ' << std::is_pod<notPOD>() << '\n';
}

运行结果为 true false，与预期的一致判定不符。

核心原因：C++标准的构造函数判定规则差异 #

问题的关键在于C++标准对两类构造函数的定义：

• 类内直接默认的构造函数：POD() = default; 是在构造函数的第一次声明时就显式默认，根据标准，它不属于用户提供的构造函数，同时满足平凡构造函数的要求（无自定义逻辑、符合平凡类型的其他条件）。这类构造函数等价于编译器自动生成的默认构造函数，不会破坏POD类型的判定。
• 类内声明+类外默认的构造函数：notPOD(); 是构造函数的第一次声明，未显式默认，属于用户声明的构造函数；后续在类外写notPOD::notPOD() = default;时，这个构造函数会被判定为用户提供的构造函数。而POD类型要求类的构造函数必须是平凡且非用户提供的，因此notPOD不符合POD的判定条件。

简单说：类内直接默认的构造函数，本质上和编译器自动生成的一样；而先声明再类外默认的构造函数，会被视为你手动干预过的版本，失去了“平凡”属性，导致结构体无法被判定为POD。

补充说明 #

POD类型的判定需要同时满足标准布局类型和平凡类型两个条件：

• 标准布局类型要求类的成员访问控制、继承关系等符合特定规则（这里两个结构体都满足）。
• 平凡类型要求构造函数、析构函数、赋值运算符等都是平凡的，且不能有用户提供的自定义版本。你的代码正好命中了平凡类型的判定差异点。

内容的提问来源于stack exchange，提问作者Y.T.