为什么C ++ 11中的统一初始化在虚拟基类中表现得很奇怪？

Question

现在，我正在学习C ++中的继承功能，并希望测试最近学到的虚拟基类的概念。 我尝试了以下简单的代码：

#include <iostream>

using namespace std;

class A
{
private:
    int m_value;
    string m_caller;
public:
    A(int p_value, string p_caller) : m_value{p_value}, m_caller{p_caller}
    {
        cout<<"Instantiating A via "<<m_caller<<endl;
    }
};

class B : virtual public A
{
private:
    int m_value;
public:
    B(int p_value1,int p_value2) : A{p_value1,"B"}, m_value{p_value2}
    {
        cout<<"Instantiating B."<<endl;
    }
};

class C : public B
{
public:
    C(int p_value1,int p_value2) : A{p_value1,"C"}, B(p_value1, p_value2)
    {
        cout<<"Instantiating C."<<endl;
    }
};

int main()
{
    C c1(1,2);
    return 0;
}

请注意C类构造函数中的B(p_value1, p_value2) 。这给了我想要的输出：

Instantiating A via C
Instantiating B.
Instantiating C.

但是，当我将其更改为B{p_value1, p_value2} ，我得到以下输出：

Instantiating A via C
Instantiating A via B
Instantiating B.
Instantiating C.

我试着寻找答案，但我得到的所有答案都引用了一些C ++标准。 作为OOP的初学者，我正在寻找一个更简单的解释这种行为。 非常感谢！

PS我在Windows中使用C :: B编译器g ++ 4.8.1。

Answer 1

这是g ++中的编译器错误。

在C ++ 14（N4140）部分[dcl.init.list]中，列表初始化的定义是（为简洁而编辑）：

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

• 如果T是聚合，则执行聚合初始化
• 否则，如果初始化程序列表没有元素且T是具有默认构造函数的类类型，则对象将进行值初始化。
• 否则，如果T是std :: initializer_list的特化，[...]
• 否则，如果T是类类型，则考虑构造函数。 枚举适用的构造函数，并通过重载解析选择最佳构造函数。 如果转换任何参数需要缩小转换，则程序格式不正确。
• [...]

前3个点不适用： B不是聚合（聚合不能有基类），初始化列表确实有元素， B不是std::initializer_list 。

第四点确实适用，因为根据[over.match.list] /1.2 B{p_value1, p_value2}将B{p_value1, p_value2}与构造函数B(int, int)匹配：

如果找不到可行的初始化列表构造函数，则再次执行重载解析，其中候选函数是类T所有构造函数，参数列表由初始化列表的元素组成。

从最后一句话开始， B(whatever)和B{whatever}应该表现得相同。