可变参数基类using声明在MSVC中编译失败，求原因与解决方案

嘿，这问题我之前也碰到过，给你详细拆解下：

首先，你遇到的确实是MSVC的已知bug，这个问题从2018年9月就有开发者报告了。GCC和Clang已经完全支持C++17标准里的可变参数using声明（也就是你写的using VisitorBaseFor<Ts>::visit...;这种展开语法），但MSVC在处理这种模板参数包的using展开时一直有兼容性问题，它没法自动识别并展开参数包，所以才会抛出需要手动展开Ts的错误。

兼容MSVC的替代方案 #

要让代码在三大编译器都能跑，可以用递归模板继承的方式手动展开这些using声明，绕开MSVC的这个bug：

// 递归终止的基础模板
template<typename...>
struct VisitorBaseHelper {};

// 递归展开每个基类的visit函数
template<typename T, typename... Ts>
struct VisitorBaseHelper<T, Ts...> : VisitorBaseFor<T>, VisitorBaseHelper<Ts...> {
    using VisitorBaseFor<T>::visit;
    using VisitorBaseHelper<Ts...>::visit;
};

// 替换原VisitorBase，继承这个递归helper
template<typename... Ts>
class VisitorBase : public VisitorBaseHelper<Ts...> {};

这个写法通过递归逐个引入每个基类的visit函数，把它们合并到同一个作用域的重载集里，MSVC就能正确识别了，同时也不影响GCC和Clang的编译。

移除using声明后的歧义问题解析 #

当你删掉using声明后，每个VisitorBaseFor<Ts>基类里的visit都是独立的同名函数——它们不属于同一个重载集，而是分别来自不同基类的同名成员。

哪怕这些visit的参数类型（各个Ts）完全不能互相转换，C++的名字查找规则还是会把所有基类里的同名函数都找出来。这时候调用visit时，编译器会发现多个同名函数存在，虽然其中一个参数是匹配的，但因为这些函数来自不同基类，没有被合并到派生类的重载集里，所以会触发歧义错误。

而using声明的核心作用就是把这些分散在各个基类里的同名函数，统一引入到派生类的作用域中，让它们成为同一个重载集的一部分，这样编译器就能正常根据参数类型匹配对应的函数了。

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