C++17的std::variant如何确定要使用的目标类型？

基础结构 #

你之前的认知是准确的，std::variant 本质就是携带类型索引的类union结构：除了足够容纳所有备选类型、满足对齐要求的存储块外，它还会额外存储一个整数索引，用来标识当前存储的是第几个备选类型。

操作转发的高效实现 #

你提到的两种实现思路都是可行的，并没有你担心的效率问题：

• 递归模板转发方案：这种递归是编译期递归，现代编译器会完全 inline 所有递归调用，最终生成的代码和手写的switch分支没有任何差异，不会产生运行时的递归开销，优势是可以支持任意数量的备选类型，不需要硬编码固定的类型集合。
• 大switch分支方案：不少早期的variant实现确实采用这个方案，你担心的代码膨胀问题也非常有限——每个variant实例只会生成对应其备选类型集合的分支，不会产生冗余代码。

GCC的标准库实现用的是更巧妙的静态虚表派发方案，也就是你观察到的std::__detail::__variant::__gen_vtable_impl的作用：
这个模板会在编译期为当前variant的备选类型集合生成一个静态的函数指针表，表中每个位置的函数指针对应该索引下类型的构造、拷贝、析构、赋值等操作。运行时只需要用当前索引去表中取出对应的函数指针调用即可，整个过程仅需要一次内存访问+一次函数调用，效率极高，也不需要为每个操作单独实现递归或switch逻辑，不会产生重复的代码膨胀。
可以用简化的代码示例理解这个逻辑：

// 以 variant<int, double, std::string> 的拷贝构造为例
using CopyOp = void(*)(void* dst, const void* src);
// 编译期生成的静态虚表
static const CopyOp copy_vtable[] = {
    [](void* dst, const void* src) { new(dst) int(*static_cast<const int*>(src)); },
    [](void* dst, const void* src) { new(dst) double(*static_cast<const double*>(src)); },
    [](void* dst, const void* src) { new(dst) std::string(*static_cast<const std::string*>(src)); },
};
// 运行时的拷贝操作仅需要一行派发
copy_vtable[current_index](storage_buf, other.storage_buf);

__gen_vtable_impl的作用就是自动完成上述虚表的编译期生成逻辑。

多可转换类型的构造规则 #

当传入的参数可以转换为多个备选类型时，C++标准要求这种场景必须触发编译错误，不会做隐式选择：
variant的构造要求必须找到唯一的最佳匹配类型，如果有多个类型都能完成转换且重载优先级没有差异，编译器会直接报歧义错误。
示例：

std::variant<long, int> v1 = 42; // 合法，42是int类型，最佳匹配为第二个备选类型
std::variant<long, float> v2 = 42; // 编译错误，int转long和int转float都是标准转换，优先级相同，存在歧义

如果需要指定构造的目标类型，可以用std::in_place_index<N>或者std::in_place_type<T>显式标记：

std::variant<long, float> v3{std::in_place_index<0>, 42}; // 显式选择构造为long类型

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