为何无法使用initializer_list调用带std::variant参数的函数

你遇到的报错本质是无类型的花括号初始化列表（braced-init-list）无法参与模板实参推导，具体匹配逻辑如下：

• foo2的参数是明确的map_type类型，编译器看到{ {"key", "val"} }时，会直接按照map_type的列表初始化规则匹配，因此两个foo2调用都可以正常运行。
• 而foo的参数是std::variant类型，你提到的第4个构造函数是模板构造函数，签名大致为template<class T> variant(T&& val)，需要从传入的参数推导T的类型。但{ {"key", "val"} }本身没有固定类型，编译器既无法确定它应该匹配std::string还是map_type，也没法完成模板参数推导，因此找不到符合要求的构造函数，触发报错。

如果要让foo调用正常运行，可以用两种方式明确指定类型，避开模板推导的问题：

• 显式构造map_type对象再传入：

foo(map_type{ {"key", "val"} });

• 使用std::in_place_type标签明确指定variant要初始化的备选类型：

foo(std::in_place_type<map_type>, { {"key", "val"} });

• 权威接口参考可以查看cppreference的std::variant相关板块，包含所有接口定义和边界场景示例
• 系统学习可以参考《C标准库（第2版）》、C Primer补充的C++17特性章节中关于variant的内容
• 实战类内容可以查找主流C++技术社区发布的std::variant最佳实践、性能对比类文章

内容的提问来源于stack exchange，提问作者mouse_00