标准的哪一部分决定了现场成员与初始化器列表的优先级

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:如果给定的非静态数据成员同时具有默认成员初始化器和A mem-initializer ，则执行由 mem-initializer 指定的初始化，并且非静态数据成员的默认成员初始化器被忽略。