列表初始化是否为隐式转换

Is list-initialization an implicit conversion?

本文关键字：转换 初始化 是否 列表      更新时间：2023-10-16
#include <iostream>
#include <string>
#include <typeinfo>
#include <typeindex>
#include <map>
#include <vector>
class Base{
public:
    virtual ~Base() {}
};
class Derived: public Base { };
int main(){
    int arr[10];
    Derived d;
    Base *p = &d;
    std::map<std::type_index, std::string> proper_name = {
        {typeid(int), "int"}, {typeid(double), "double"}, {typeid(float), "float"}, {typeid(char), "char"},
        {typeid(Base), "Base"}, {typeid(Derived), "Derived"}, {typeid(std::string), "String"},
        {typeid(int[10]), "Ten int Array"}, {typeid(p), "Base Pointer"}};
}

我试图理解此列表初始化中发生的隐式转换。从 N3337 的13.3.1.7：

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

  1. 最初，候选函数是类 T 的初始值设定项列表构造函数 （8.5.4），参数列表由作为单个参数的初始值设定项列表组成。

  2. 如果未找到可行的初始值设定项列表构造函数，则再次执行重载解析，其中候选函数是类 T 的所有构造函数，参数列表由初始值设定项列表的元素组成。

8.5.4 ：

构造函数

是初始值设定项列表构造函数，如果它的第一个参数是类型 std::initializer_list<E> 或引用某些类型 E 的可能符合 cv 的std::initializer_list<E>，并且没有其他参数，或者所有其他参数都有默认参数

因此，以下 std::map 的构造函数列表指示

map (initializer_list<value_type> il, const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type()) ;

是候选函数，value_type在本例中是pair<const type_index, std::string> 。最后来自13.3.3.1.5：

如果参数类型是 std::initializer_list<X> 或"X数组"135 并且初始值设定项列表的所有元素都可以隐式转换为 X，则隐式转换序列是将列表中的元素转换为 X 所需的最差转换。

因此，只要大括号列表的元素隐式转换为 pair<const type_index, std::string> ，它就是有效的转换。但这些元素本身也是大括号列表。 Pair 不接受初始值设定项列表构造函数，从这里看来，来自大括号初始化列表的复制初始化使用13.3.1.7的第二部分来构造对象。所以以下内容：

pair<const type_index, std::string> p = {typeid(int), "int"}

成为：

pair<const type_index, std::string> p(typeid(int), "int")

但这算不算隐式转换？如何将双参数构造函数的使用视为隐式转换？标准对此有何评论？

你的结论是 

pair<const type_index, std::string> p = {typeid(int), "int"};

成为

pair<const type_index, std::string> p(typeid(int), "int");

不准确，因为第一条语句是复制列表初始化，而第二条语句是直接初始化。这两者是相同的，只是如果选择了explicit构造函数，则复制列表初始化的格式不正确（并且前者不允许缩小转换范围）。

因此，如果所讨论的pair构造函数定义为

template<class U1, class U2>
explicit constexpr pair(U1&& x, U2&& y);

直接初始化仍将成功，但复制列表初始化将失败。引用您引用的[over.match.list]部分的正下方

在复制列表初始化中，如果选择了explicit构造函数，则初始化格式不正确。

除此之外，你所说的其他一切都是正确的。pair构造函数是隐式转换，因为构造函数不是explicit的，并且根据 [over.match.list] 的第二个项目符号考虑重载解析，因为pair没有初始值设定项列表构造函数。

相关文章：