列表初始化是隐式转换吗？

Question

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

}

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

8.5.4:

如果构造函数的第一个参数类型为std::initializer_list 或对某些类型e可能是CV限定的std::initializer_list 的引用，并且没有其他参数，或者所有其他参数都具有默认参数，则构造函数就是初始化式列表构造函数

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

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

Answer 1

你的结论是

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

变成

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

不准确，因为第一个语句是copy-list-initialization，而第二个语句是direct-initialization。两者是相同的，只是如果选择显式构造函数，复制列表初始化的格式就不正确（前者不允许缩小转换）。

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