为何std::is_trivial对含私有默认构造函数的类在GCC与MSVC表现不同？

这个差异源于两个编译器对C++标准中trivial类型判断逻辑的实现分歧，核心点在于是否将构造函数的访问权限纳入trivial的判定条件。

1. C++标准对trivial类型的定义 #

根据C++标准，一个类类型被判定为trivial需要满足：

• 拥有trivial的默认构造函数、拷贝/移动构造函数、拷贝/移动赋值运算符，以及trivial析构函数
• 类中没有虚函数或虚基类
• 所有非静态数据成员和基类都满足trivial要求

其中，trivial默认构造函数的判定仅关注：

• 构造函数是编译器自动生成（如=default）
• 类无虚函数/虚基类
• 所有成员和基类都有trivial默认构造函数

标准**并未将构造函数的访问权限（public/private）**作为trivial判定的依据。

2. 两个编译器的行为差异 #

• GCC的实现：严格遵循标准，仅检查构造函数的生成方式和类结构，忽略访问权限。示例中的类C，其默认构造函数是=default生成的，无虚函数/基类，满足trivial构造函数的要求，因此std::is_trivial_v<C>返回true，静态断言通过。
• MSVC的实现：额外将构造函数的可访问性纳入了判定逻辑。它认为私有默认构造函数导致类无法被外部默认构造，因此错误地判定C不是trivial类型，触发静态断言失败（错误C2607）。

3. 代码示例回顾 #

class C {
private:
    C() = default; // 编译器生成的trivial默认构造函数，但访问权限为private
};

static_assert(std::is_trivial_v<C>); // GCC通过，MSVC失败

本质上，MSVC的行为不符合C++标准，因为trivial类型的定义与构造函数的可访问性无关——一个类型可以是trivial但因构造函数私有而无法被默认构造（此时std::is_default_constructible_v<C>会返回false，但std::is_trivial_v<C>应返回true）。

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