转换为＆＃x2018; a＆＃x2019;从初始化器列表中将使用显式构造函数＆＃x2018; a :: A（int）＆＃x2019;

Question

我正在尝试将旧的C ++ 03代码库迁移到C ++ 11。但是我无法理解在下种情况下警告我的GCC是什么：

% g++ -std=c++03 t.cxx
% g++ -std=c++11 t.cxx
t.cxx: In function ‘int main()’:
t.cxx:8:21: warning: converting to ‘A’ from initializer list would use explicit constructor ‘A::A(int)’
    8 | int main() { B b = {}; }
      |                     ^
t.cxx:8:21: note: in C++11 and above a default constructor can be explicit

struct A {
  explicit A(int i = 42) {}
};
struct B {
  A a;
};
    
int main() {
  B b = {};
  return 0;
}

我在这里要做的只是基本的零初始化。对于C ++ 03来说，这似乎是合法的，但是我无法理解如何在C ++ 11中表达等效物。

---

作为参考，我正在使用：

% g++ --version
g++ (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0

Answer 1

由于下面的原因，给定的程序是 。

C ++ 20

b是汇总。由于您不是明确初始化a， dcl.init.aggr＃5 适用：

1. 对于非工会骨料，不是显式初始化元素的每个元素的初始化，如下所示：

5.2否则，如果元素不是参考，则该元素是从空的初始化器列表中进行了复制（[dcl.init.list]）。

这意味着a是从一个空的初始化器列表中复制初始化。换句话说，就像我们在写作一样：

A a = {}; // not valid see reason below

现在我们进入 dcl.init.list＃3.5 ：

否则，如果初始化器列表没有元素，而t是具有默认构造函数的类类型，则该对象为 value-initialized 。

这意味着该对象的值将初始化。

现在到值初始化：

to-initialize t type t type的对象表示：

• 如果t是（可能是CV qualified）类类型（[class]），则
  • 如果t没有默认构造函数（[class.default.ctor]）或用户提供或删除的默认构造函数，则该对象为 default-initialialized ;

因此，我们进入默认初始化：

如果t是（可能是CV合格的）类类型（[[class]），则考虑构造函数。通过超载分辨率（[over.match]）选择一个初始化器（）。
因此，选择的构造函数被称为“空参数”列表以初始化对象。

最后来自 over.match.ctor.ctor ：

当类型的对象被直接定义时，从相同或派生类类型的表达式（[dcl.Init]）或默认initialized Initialized Ordroad分辨率选择构造函数时。
对于不在拷贝性定位的上下文中，候选函数的直接启动或默认限制是所有要初始化对象类的构造函数。
用于复制定位化（包括在复制定位化的上下文中的默认初始化），候选函数是该类别的所有转换构造函数（[class.conv.ctor]）。
参数列表是初始化器的表达列表或分配表达。

这意味着只有转换CTOR才是候选人。而且由于a :: a（int）是明确的，因此它不是转换的ctor，因此候选人集为空，并且程序（a a a = {};）是不构建的。

---

本质上，失败的原因是a a = {};是错误的。

---

解决此问题的解决方案

，我们可以通过a {}或a {0}作为列表中的初始化器，如下所示：

B b = { A{} };  //ok now 
B c = { A{0} }; //also ok

工作演示。

---

请

注意，另一方面，编写a a {};，因为这是一个直接的启动上下文，因此它是 direct-list-list-initialization 。