问题描述
为什么这段代码会编译？
#include <string>
#include <variant>
#include <map>
void foo(std::map<int,std::variant<int,std::string>> map)
{}
int main()
{
foo({{1,"1"},{2,2}});
}
我们有 {{1,2}} 的东西，std::map 应该用它来初始化。它可能与接受 std::map 和列表初始化的 std::initializer_list 构造函数有关。但我想知道 {{1,2}} 这个东西是怎么编译的？它有什么类型？在这种情况下，重载解析是如何工作的？
解决方法
首先，在您给出的示例中，没有重载解析。好吧，并不是说在重载中有任何选择。要么一个函数匹配，要么不匹配；在谈到“超载解决方案”时，没有拣货订单或模板或任何通常意味着的复杂性。
编译器尝试将 {{1,"1"},{2,2}}“映射”到 std::map<int,std::variant<int,std::string>> 的构造函数上，该构造函数将与 std::map 的 std::initializer_list<std::pair<const int,std::string>> 构造函数（编号 5 here ，概括地说：地图元素的列表），但前提是该列表中的每个元素都可以从嵌套部分构造。
这里，需要使用 {1,"1"} 的聚合初始化（意味着您可以从花括号的 init 语句 {2,2} 构造一个 std::pair<const int,std::string>，其中 std::pair 是一个 std::pair<T,U>，而 {t,u} 是一个 t）。
第二个参数更复杂，是一个 T。
在这里，编译器可能使用演绎指南（尽管我认为这是一个实现细节）从其可能的替代类型之一构造 u 对象。
可以在 here 中找到初始化的完整概述，尽管需要将几个部分放在一起才能完成上述故事。请注意，这是我对流程的理解，可能是在实际实施或标准中存在不同的细节，我认为这些细节在这里无关紧要，甚至可能妨碍理解正在发生的事情。
,您的代码基本上可以归结为：
std::map<int,std::string>> map = {{1,2}};
这里我们在对象的右侧有一个带括号的初始化列表。这确实查看了左侧并找到了合适的构造函数。
它找到的是一个初始化列表。
所以上面的内容可以归结为：
std::initializer_list<:pair int std::variant std::string>>> il = {{1,2}}; 花括号初始化语法没有类型，但可用于初始化类型，包括初始化列表。
这里，它把内部的 {} 当作 std::pair<const int,std::string>，所以这归结为：
std::pair<const int,std::string>> one = {1,"1"};
std::pair<const int,std::string>> two = {2,2};
工作。这反过来归结为
std::variant<int,std::string> v1 = "1";
std::variant<int,std::string> v2 = 2;
工作，这最后归结为 std::variant 的构造函数做一些 SFINAE 或需要魔法来挑选“正确”的构造函数。