C++初始化含string与嵌套map的variant向量报无匹配构造函数错误

编译失败的核心是花括号初始化列表没有自带类型信息，编译器无法自动推导传入的嵌套花括号对应std::variant的哪个备选类型：

• 传入的"Cat"这类值是const char*类型，虽然可以隐式转换为std::string，但在std::variant的重载构造匹配场景下，加上后续无类型的嵌套花括号，会导致编译器构造函数匹配逻辑混乱。
• 最后一项的{{"More",std::vector<std::string>{"Alig","Tiger","Lion"}}}是纯初始化列表，std::variant无法直接识别它要构造的是第二个备选类型std::unordered_map<std::string, std::vector<std::string>>，尝试匹配所有备选类型的构造函数全部失败，就会抛出"no instance of constructor"的错误。

给传入std::variant的元素明确指定类型，不要让编译器做无依据的类型推导，最简洁易读的写法是先给复杂类型起别名，初始化时显式构造对应类型的元素即可：

#include <vector>
#include <variant>
#include <string>
#include <unordered_map>

// 先给复杂类型起别名，简化书写
using NestedMap = std::unordered_map<std::string, std::vector<std::string>>;
using EntryType = std::variant<std::string, NestedMap>;

int main() {
    std::vector<EntryType> Map{
        std::string{"Cat"},
        std::string{"Dog"},
        std::string{"Snake"},
        std::string{"Horse"},
        NestedMap{{"More", std::vector<std::string>{"Alig","Tiger","Lion"}}}
    };
    // 后续正常使用Map即可
    return 0;
}

如果不想单独起别名，也可以在初始化对应元素时用std::in_place_type显式指定std::variant要构造的备选类型，不过这种写法嵌套层级多的时候可读性很差，不推荐使用。

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