为什么这个initializer\u list构造函数是一个可行的重载？

Question

#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;
}

（这个问题是这个问题的后续问题。）

上述程序使用clang35-std=c 11编译失败

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>( )

而g48-std=c11选择一个产生警告来诊断不正确的狭窄

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（std:：initializer\u list

从<代码>13.3.2[超过.匹配.可行]

其次，对于F是一个可行的函数，每个参数都应该存在一个隐式转换序列，该序列将该参数转换为F的相应参数。

从4[conv]

表达式e可以隐式转换为类型T，当且仅当声明T=e；对于一些发明的临时变量t，格式良好。

从8.5.1[dcl.init.aggr]

如果初始化子句是表达式，并且需要缩小转换来转换表达式，则程序格式错误。

使用8.5.1和4，因为以下内容格式不正确

std::initializer_list<int> e = {1, 1.0};

{1,1.0}不能隐式转换为std:：initializer_list

引用13.3.2，这难道不应该暗示A:：A（std:：initializer_）列表吗




Answer 1

我相信你分析中的问题是声明

int t = 1.0;

确实格式良好——显然存在从double到int的隐式转换。[over.ics.list]/4还描述了它：

否则，如果参数类型为std::initializer_list

初始值设定项列表中的每个元素都可以隐式转换为int，因此构造函数是可行的，并且是可选择的。然而，只有选择了它，整个过程才会出现错误，[dcl.init.list]/（3.6）：

枚举了适用的构造函数，并通过重载解析（13.3，13.3.1.7）选择最佳构造函数。如果需要缩小转换（见下文）来转换任何参数，则程序格式错误。

如您所见，要调用的构造函数是在执行缩小检查之前确定的。换句话说，初始值设定项列表构造函数的可行性并不取决于任何参数的缩小<因此，代码的格式应该是错误的。

获得所需行为的一种方法是在SFINAE中使用构造函数模板

template <typename T, typename=std::enable_if_t<std::is_same<int, T>{}>>
A(std::initializer_list<T>) { std::cout << __PRETTY_FUNCTION__ << std::endl; }

演示。