析构函数必须对默认初始化的类成员仅可用（公共）或完全有效吗？

Question

请考虑一个结构a具有U类型的字段U 并带有默认初始值设定项。析构函数~u 只声明：

template<typename T>
struct U {
    ~U();
};

struct R;

struct A {
    U<R> u = U<R>{};
};

所有编译器都接受此代码，demo：https://gcc.godbolt.org/z/oqmjtovmo

template<typename T>
struct U {
    ~U() { static_assert( sizeof(T) > 0 ); }
};

error: invalid application of 'sizeof' to an incomplete type 'R'

当然，这一探索不仅具有纯粹的理论意义。如果在这里将U替换为std::unique_ptr，那么就解释了为什么std::unique_ptr 类型的类字段被MSVC接受，而被gcc/clang拒绝用于不完整类r。

Answer 1

[dcl.init.aggr]/8:（强调我的）

类类型的每个元素的析构函数都可能从发生聚合初始化的上下文中调用([class.dtor])。

[basic.def.odr]/8:

至于MSVC接受代码，它似乎是一个bug。