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

Rud*_*lis 3 c++ constructor initialization member-initialization language-lawyer

我只是制作了一个示例,从我个人的角度来看,该示例不应编译或至少发出警告,但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;
}
Run Code Online (Sandbox Code Playgroud)

以我的观点(但我不是语言律师),foo的两个初始化(就地与初始化列表)是模棱两可的。那么在这种情况下有什么规则?

Lig*_*ica 7

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

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