嵌套类何时完全定义？嵌套类默认构造性异常问题咨询

现象描述 #

在GCC 13.1及最新版Clang中，出现了嵌套类默认构造性判定矛盾的情况：

• 当外层类T中保留static_assert(!std::is_default_constructible_v<A>)语句时，main函数里的同条件断言能编译通过，即编译器判定嵌套类A不可默认构造
• 一旦注释掉外层类里的这个static_assert，main里的断言就会编译失败，此时A会被正确判定为可默认构造

示例代码如下：

#include <type_traits>

struct T final {
    struct A final{
        double a{};
    };
    // 注释掉该static_assert后，main中的static_assert会编译失败
    static_assert(!std::is_default_constructible_v<A>);
    A v{};
};

int main() {
    static_assert(!std::is_default_constructible_v<T::A>);
    return 0;
}

问题分析 #

根据C++标准，嵌套类A在其定义块结束后就属于完全定义类型，其隐式构造函数的可用性应当已经确定。A的成员a带有类内初始化器，且没有用户声明的构造函数，因此编译器会为它合成一个公有的、可用的隐式默认构造函数——理论上std::is_default_constructible_v<A>的结果应该始终为true。

出现矛盾的原因是编译器的实现错误：当处理外层类T内部的static_assert时，编译器过早地对A的默认构造性进行了判定，错误地认为A不可默认构造。而当移除这个内层断言后，编译器在main函数中进行判定时，能正确识别A的隐式默认构造函数，得出符合标准的结果。

这种情况不属于未定义行为，因为标准已经明确了完全定义类型的构造函数判定规则，编译器的错误判定属于实现层面的问题。

结论 #

• 嵌套类A本质上是默认可构造的，外层类中的static_assert能通过是编译器的bug
• 该现象不属于C++标准定义的未定义行为，而是编译器在类内语境下对类型特性判定的错误实现

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