含基类成员的结构体调用emplace_back报错？原因解析

先拆解push_back({2,3})的执行流程 #

push_back的参数是一个列表初始化的临时Bar对象，具体步骤如下：

1. 编译器处理{2,3}：因为Bar是聚合类（无用户定义构造/析构/虚函数等），聚合初始化规则要求先初始化基类Foo的成员，再初始化派生类自身成员。所以2会赋值给Foo::foo，3赋值给Bar::bar，生成合法的临时Bar对象。
2. vector的push_back将这个临时对象移动（或拷贝）到容器内存中，此时分配器调用的是Bar的移动/拷贝构造函数，完全符合语法规则。

分析emplace_back(2,3)的报错本质 #

emplace_back的核心是直接在vector的内存空间内构造目标对象，它会把传入的参数直接转发给对象的构造逻辑，等价于执行::new (内存地址) Bar(2,3)。问题出在这一步：

• 在C11到C17标准中，聚合类（比如Bar）不支持多参数的圆括号初始化，只有列表初始化（Bar{2,3}）是合法的。Bar(2,3)这种写法会被编译器判定为无效——Bar没有用户定义的双int参数构造函数，编译器也不会自动生成这类构造函数。
• 报错信息里的“无法将int转换为Foo”，是编译器尝试寻找可行构造方式时的误判：它误以为第一个int是用来构造基类Foo的，但即便Foo能通过单个int构造，第二个int也找不到匹配的构造逻辑，最终导致构造失败。

为什么emplace_back(Foo{2},3)能正常运行？ #

当传递Foo{2}和3作为参数时，emplace_back会执行::new (内存地址) Bar(Foo{2}, 3)，此时编译器能正确解析：

• 第一个参数Foo{2}直接初始化Bar的基类Foo；
• 第二个参数3初始化Bar的成员bar；
  这种构造方式完全符合聚合类“基类优先、成员次之”的初始化规则，因此能正常完成对象构造。

补充：C++20的兼容性变化 #

如果编译器开启C20标准，emplace_back(2,3)可以正常编译——C20的P0960提案允许聚合类使用圆括号进行多参数初始化，此时Bar(2,3)会被等价于Bar{2,3}处理。

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