使用 std::variant 作为映射类型的 std::map 复制列表初始化

如何解决使用 std::variant 作为映射类型的 std::map 复制列表初始化

为什么这段代码会编译？

#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 或需要魔法来挑选“正确”的构造函数。