MSVC /Os与GCC -O2编译std::visit模板代码的ASM差异及优化咨询

我正在研究std::visit的相关示例，编写了如下模板代码：

#include <iostream>
#include <variant>

struct Fluid { };
struct LightItem { };
struct HeavyItem { };
struct FragileItem { };

template<class... Ts> struct overload : Ts... { using Ts::operator()...; };
template<class... Ts> overload(Ts...) -> overload<Ts...>; // line not needed in C++20...

int main() {
    std::variant<Fluid, LightItem, HeavyItem, FragileItem> package(HeavyItem{});

    std::visit(overload{
        [](Fluid& )       { std::cout << "fluid\n"; },
        [](LightItem& )   { std::cout << "light item\n"; },
        [](HeavyItem& )   { std::cout << "heavy item\n"; },
        [](FragileItem& ) { std::cout << "fragile\n"; }
    }, package);
}

分别用GCC和MSVC编译这段代码后，发现MSVC生成的汇编代码量远多于GCC。

差异原因 #

• 编译器优化策略不同：GCC会对编译期可确定活跃类型的std::variant进行深度常量折叠，直接跳过std::visit的通用分支分发逻辑，只保留对应类型分支的输出代码。而MSVC默认优化策略未做如此激进的常量传播，保留了变体类型检查、函数指针表构建等通用分发代码，导致汇编量更大。
• 标准库实现细节差异：GCC的libstdc++针对编译期固定类型的std::variant场景做了专门优化，能识别出活跃类型的确定性；MSVC的STL实现更侧重通用性，未针对该场景添加特殊优化路径。

优化MSVC汇编代码的方法 #

• 启用高等级优化：给MSVC添加编译选项/O2或/Ox，触发更激进的常量传播与死代码消除，可大幅减少冗余的分发代码。
• 升级MSVC版本：较新版本的MSVC（如VS2022 17.5+）对C++20特性及std::visit的优化支持更完善，能更好地处理这类场景。
• 简化代码（可选）：使用C++20标准时，可移除手动编写的overload推导指引，依赖编译器自动推导，代码简洁的同时也有助于编译器优化。

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