Question

我只是制作了一个示例，从我个人的角度来看，该示例不应编译或至少发出警告，但Visual Studio 2017不给出任何警告。示例如下：

#include <stdexcept>

struct Foo {
    Foo(int i) { throw std::runtime_error("Oh no:("); }
    Foo(float f) {}
};

struct Bar {
    Bar() {}
};

struct Baz {
    Baz() : foo(5.0f) {}

    Bar bar;
    Foo foo = Foo(3);
    Bar bar2;
};

int main()
{
    Baz baz;
}

从我的观点（但我不是语言律师）来看，foo的两个初始化（就地与初始化列表）是模棱两可的。那么在这种情况下有什么规则？

Answer 1

构造函数中提供的值是明确首选的。

[class.base.init]/10:如果给定的非静态数据成员同时具有默认成员初始化程序和 mem-initializer ，则由 mem-initializer 指定的初始化被执行，并且非静态数据成员的默认成员初始化程序将被忽略。

标准的哪一部分确定就地成员与初始化程序列表的优先级？

1 个答案: