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

}

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

当非聚合类类型 T 的对象被列表初始化（8.5.4）时，重载决策分两个阶段选择构造函数：

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

  2. 如果没有找到可行的初始化列表构造函数，则再次执行重载决议，其中候选函数是类 T 的所有构造函数，参数列表由初始化列表的元素组成。

8.5.4：

一个构造函数是一个初始化列表构造函数，如果它的第一个参数是类型std::initializer_list<E>或引用可能std::initializer_list<E>对某种类型有 cv 限定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")

但这是否被视为隐式转换？如何将使用两个参数的构造函数视为隐式转换？标准对此有何评论？

4

1 回答 1

3

你的结论是

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

变成

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

不准确，因为第一个语句是copy-list-initialization而第二个是直接初始化。两者是相同的，除了如果选择构造函数时复制列表初始化explicit格式不正确（并且在前者中不允许缩小转换）。

所以如果有pair问题的构造函数被定义为

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

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

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

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

于 2016-01-20T23:24:06.447 回答