不可共性类数据成员的统一初始化导致 gcc 错误

Question

假设我们有这样的代码：

class A {
public:
    A() = default;    
    A(const A&) = delete;
    ~A() = default;
};

class B {
public:    
    B() : a{} { }    
    A a[1];
};

int main() 
{
    B b;
}

此代码在最新的 GCC 9.2、叮当 9.2 和 MSVC 19.22 上编译。

但当我将默认析构函数更改为~A（）{}GCC返回错误使用删除的函数'A:：A（const A

当我编写A的复制构造函数时，GCC会编译，但在运行时从未调用此构造函数。GCC需要复制构造函数做什么？是GCC错误吗？（我在GodBolt.org上尝试了所有GCC版本，同样的错误。）




Answer 1

匿名用户

这是一个海湾合作委员会的错误。

B的默认构造函数使用聚合初始化来初始化不带初始值设定项的。[dcl.init.aggr]/8：

如果列表中的initializer子句比非联合聚合中的元素少，则每个未显式初始化的元素都按如下方式初始化:

>

如果元素有一个默认的成员初始值设定项（[class.mem]），那么该元素将从该初始值设定值设定项初始化。

否则，如果元素不是引用，则从空的初始值设定项列表 （[dcl.init.list]） 复制初始化该元素。

否则，程序格式不正确。

[...]

所以< code>a[0]是从< code>{}复制初始化的，这是复制列表初始化。这可能是GCC开始感到困惑的地方——复制初始化不一定涉及复制构造函数。

[dcl.init.list]/3.4:

T类型的对象或引用的列表初始化定义如下：

> < li>

[...]

否则，如果初始值设定项列表没有元素，并且 T 是具有默认构造函数的类类型，则该对象将进行值初始化。

[...]

因此，直接使用A的默认构造函数。不涉及复制构造函数。也不是琐事。

如果您担心C11和C17之间的差异，N3337[dcl.init.aggr]/7：

如果列表中的初始值设定项子句少于聚合中的成员数，则每个未显式初始化的成员都应从空的初始值设定项列表 （[dcl.init.list]） 初始化。[...]

这里甚至不涉及复制初始化。和N3337 [dcl.init.list]/3.1:

T类型的对象或引用的列表初始化定义如下：

>

如果初始值设定项列表没有元素，并且T是具有默认构造函数的类类型，则对象是值初始化的。

[...]

没有变化。