MSVC 19.28 访问含类成员指针的std::variant时std::visit编译报错，GCC可正常编译

注意：报错提示的“全局命名空间不是类或命名空间名”是完全的错位提示，你的代码里没有任何对全局命名空间的错误引用，这个报错完全是编译器内部类型查找逻辑出错时抛出的无意义信息。

• 这个报错是MSVC 19.28（对应VS2019 16.9版本）的已知编译器缺陷，不属于代码逻辑错误：
  • 该版本编译器在处理模板上下文中的、依赖模板参数的成员指针类型时，对std::visit内部的模板特征检测逻辑存在bug：当传给std::visit的可调用对象是多层嵌套的generic lambda，且lambda内部需要判断的成员指针类型依赖外层类模板的模板参数时，编译器会错误地触发全局命名空间的查找逻辑，最终导致std::visit的模板推导失败，抛出一系列无意义的错误栈。
  • GCC按C++标准的两阶段查找规则实现模板解析，会把依赖模板参数的成员指针类型留到实例化阶段做名称解析，不会提前触发错误的检测路径，因此相同代码可以正常编译。
  • 之前测试std::visit官方示例能正常编译，是因为示例里variant存储的都是int、字符串这类非依赖类型，没有走到这个bug的触发路径上。

• 方案1：升级MSVC编译器。这个类型推导的bug在VS2019 16.10之后的版本（MSVC 19.30及以上）已经被修复，直接升级编译工具链即可正常编译现有代码，不需要改动业务逻辑。
• 方案2：如果必须使用MSVC 19.28版本编译，可以通过调整代码结构绕过编译器缺陷：
  • 提前在类模板作用域内给成员指针类型定义显式别名，让编译器明确识别该类型：

    // 在CommandLineOptionsParser类的作用域内添加类型别名
    using BoolMemberPtr = bool Opts::*;
    

    然后把generic lambda内部的类型判断逻辑替换成：

    std::visit([](auto&& a) {
      using T = std::decay_t<decltype(a)>;
      if constexpr (std::is_same_v<T, BoolMemberPtr>) {
        std::cout << "bool" << std::endl;
      }
    }, prop);
    

  • 也可以把传递给std::visit的嵌套generic lambda替换成独立的、显式特化的访问者结构体，避免多层嵌套lambda的依赖类型解析路径触发bug：

    struct OptionValueVisitor {
      void operator()(bool Opts::* member_ptr) const {
        std::cout << "bool" << std::endl;
      }
    };
    // 调用时直接传入访问者实例
    std::visit(OptionValueVisitor{}, prop);
    

• 额外说明：不要尝试在调用std::visit时强制给prop加左值引用、或者调整捕获列表的顺序，这些改动都绕不开这个版本MSVC的类型解析bug。

内容的提问来源于stack exchange，提问作者Stéphane Janel