initializer_list构造函数的列表初始化和重载解析失败

Question

以下代码无法使用clang35-std=c++11编译：

#include <iostream>
#include <string>
#include <initializer_list>

class A
{
 public:
  A(int, bool) { std::cout << __PRETTY_FUNCTION__ << std::endl; }
  A(int, double) { std::cout << __PRETTY_FUNCTION__ << std::endl; }
  A(std::initializer_list<int>) { std::cout << __PRETTY_FUNCTION__ << std::endl; }
};

int main()
{
  A a1 = {1, 1.0};
  return 0;
}

有错误

init.cpp:15:14: error: type 'double' cannot be narrowed to 'int' in initializer list [-Wc++11-narrowing]
  A a1 = {1, 1.0};
             ^~~
init.cpp:15:14: note: insert an explicit cast to silence this issue
  A a1 = {1, 1.0};
             ^~~
             static_cast<int>( )

OTOH,它警告缩小并在g++48-std=c++11上编译

init.cpp: In function ‘int main()’:
init.cpp:15:17: warning: narrowing conversion of ‘1.0e+0’ from ‘double’ to ‘int’ inside { } [-Wnarrowing]
   A a1 = {1, 1.0};
                 ^
init.cpp:15:17: warning: narrowing conversion of ‘1.0e+0’ from ‘double’ to ‘int’ inside { } [-Wnarrowing]

A::A(std::initializer_list<int>)

A::A(int, double)

不出所料。

Answer 1

这种行为是有道理的。Scott Meyers在有效的现代C++中有一个几乎与此完全相同的例子（原文强调）：

但是，如果一个或多个构造函数声明std::initializer_list类型的参数，则使用带支撑初始化语法的调用强烈倾向于使用std；:initializer_list的重载。强烈地。如果编译器有任何方法将使用带支撑的初始值设定项的调用解释为接受std::initializer_list的构造函数，编译器将使用这种解释。

使用此类的示例：

class Widget {
public:
    Widget(int, bool);
    Widget(int, double);
    Widget(std::initializer_list<long double>);
};

Widget w1(10, true); // calls first ctor
Widget w2{10, true}; // calls std::initializer_list ctor
Widget w3(10, 5.0); // calls second ctor
Widget w4{10, 5.0}; // calls std::initializer_list ctor

class Widget {
public:
    Widget(int, bool); // as before
    Widget(int, double); // as before
    Widget(std::initializer_list<bool> ); // now bool
};

Widget w{10, 5.0}; // error! requires narrowing conversions

当对非聚合类类型t的对象进行列表初始化(8.5.4)时，重载解析将在两个阶段选择构造函数：

（1.1）-最初，候选函数是T类的初始值设定项列表构造函数(8.5.4)，参数列表由作为单个参数的初始值设定项列表组成。
(1.2)-如果没有找到可行的初始值设定项列表构造函数，则再次执行重载解析，其中候选函数是T类的所有构造函数，而参数列表由初始值设定项列表的元素组成。

但是调用那个特定的构造函数需要缩小范围。在8.5.1中：