如何在编译期捕获std::variant持有错误类型的问题？

你当前运行时才报错的核心原因是在std::visit的重载列表里加了通用匹配的auto lambda，它会捕获所有未显式处理的类型，把原本编译期就能发现的不匹配问题延后到了运行时。你可以通过以下两种方式实现编译期校验： #

方案1：直接删除兜底的auto分支 #

std::visit本身就要求传入的可调用对象必须能处理std::variant定义的所有可选类型，只要有一个类型没有匹配的重载，编译阶段就会直接报错，根本不会生成可执行文件，天然就能实现你要的校验效果。
修改后的foo函数代码如下：

void foo(element_type elements)
{
    std::visit(overloaded{
            [](string element) { cout << "string\n"; },
            [](element_dict element) { cout << "dict\n";}
            // 删掉原来的auto兜底分支
        }, elements);
}

当你给element_type新增了int类型却没有加对应的处理分支时，编译器会直接报重载匹配失败的错误，从根源上避免运行时异常。 #

方案2：添加带自定义错误提示的静态断言兜底分支 #

如果你觉得默认的重载匹配失败提示不够直观，可以保留兜底分支，配合static_assert输出自定义的错误信息，更方便排查问题：

void foo(element_type elements)
{
    std::visit(overloaded{
            [](string element) { cout << "string\n"; },
            [](element_dict element) { cout << "dict\n";},
            [](auto&& element) {
                // 永远触发的静态断言，会输出自定义提示
                static_assert(sizeof(element) == 0, "element_type新增了未处理的类型，请同步更新foo函数的处理逻辑");
            }
        }, elements);
}

这种方式的编译报错信息非常明确，其他维护者看到提示就知道要同步修改visit的处理逻辑，可读性更高。 #

额外优化建议 #

如果你的element_type本身就不应该包含int类型，那更建议你直接从element_type的定义里删掉int，从类型层面禁止非法值被赋值：

// 直接定义为只允许string和element_dict，从类型层面禁止非法值
using element_type = std::variant<string, element_dict>;

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