C++17 std::visit与动态继承性能对比及变体类型数量依赖疑问

性能是否更优？ #

多数场景下，std::visit配合std::variant的性能和虚函数动态继承相当，甚至在不少场景更优：

• 虚函数依赖运行时虚表指针间接跳转，需要一次内存访问+分支跳转，开销固定，但因为是动态多态，编译器能做的优化非常有限。
• std::visit的典型实现是编译期生成的跳转逻辑：要么是针对少量类型的直接条件分支（类似if-else/switch），要么是针对多类型的跳转表索引（类似数组元素访问）。这类逻辑是编译期确定的，编译器可以做内联、冗余消除等优化，甚至在某些情况下把跳转开销完全消除。
• 除此之外，std::variant是值语义类型，通常不需要堆分配，缓存友好性远高于虚函数常用的堆分配多态对象——这部分内存访问的开销差异，往往比跳转本身的影响更大。

性能是否取决于std::variant的类型数量？ #

根据cppreference的表述，std::visit的时间复杂度和数组元素访问、switch语句相当，这意味着：

• 时间复杂度上和类型数量无关：不管std::variant包含多少种类型，std::visit的开销都是O(1)——少量类型时用条件分支，多类型时用跳转表，两种方式都不会随类型数量线性增长。
• 实际常数开销有细微差异，但可忽略：少量类型的条件分支可能比跳转表少一次内存访问，但这种差异在现代CPU的分支预测能力下几乎可以忽略；多类型时的跳转表和虚函数的虚表跳转开销基本持平。

简单来说，std::variant的类型数量不会成为性能瓶颈，它和虚函数的性能差异主要来自值语义/堆分配的区别，以及编译期优化的空间。

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