std::variant重载Lambda的cppreference技巧在MSVC编译失败，求替代方案及编译器选项

这确实是MSVC早期版本对C17模板特性支持不完善导致的问题——你用到的using Ts::operator()...是C17引入的using声明中的参数包展开，而部分旧版MSVC默认模式下对这个特性的支持有缺陷。下面分两种方式帮你解决：

一、调整编译器选项 #

如果你的项目可以调整编译参数，只需要给MSVC添加两个关键选项：

• /std:c++17（或更高版本，比如/std:c++20）：明确启用C++17及以上标准
• /permissive-：启用严格C++标准模式，关闭MSVC的非标准扩展，这样就能正确解析参数包展开的using声明

添加这两个选项后，你原来的cppreference代码应该就能正常编译了。

二、替代实现方案（兼容旧版MSVC） #

如果无法调整编译器选项，或者需要兼容更老的MSVC版本，可以用递归继承的方式手动实现overloaded模板，绕过参数包展开的问题：

// 基础空结构体，作为递归终止条件
struct overloaded_empty {};

// 递归模板：继承第一个类型和剩余类型的overloaded实例
template<class First, class... Rest>
struct overloaded : First, overloaded<Rest...> {
    using First::operator();
    using overloaded<Rest...>::operator();

    // 构造函数转发参数
    overloaded(First f, Rest... rest)
        : First(std::move(f)), overloaded<Rest...>(std::move(rest)...) {}
};

// 单参数特化：避免递归到空结构体
template<class T>
struct overloaded<T> : T {
    using T::operator();
    explicit overloaded(T t) : T(std::move(t)) {}
};

// 推导指引：让编译器自动推导模板参数
template<class... Ts>
overloaded(Ts...) -> overloaded<Ts...>;

这个实现和cppreference版本的功能完全一致，只是用递归展开替代了C++17的参数包展开语法，能在不支持using Ts::operator()...的MSVC版本上正常编译。

额外说明 #

如果你已经升级到MSVC 2019及以上版本，只需要确保开启/std:c++17和/permissive-就可以直接使用cppreference的原版代码——新版本的MSVC对C++17特性的支持已经比较完善了。

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