如何在Visual Studio 2017中支持可变参数模板类型

我来帮你搞定这个编译问题！你遇到的这些错误本质上是VS2017对C++模板中依赖名称的处理要求更严格导致的，尤其是和折叠表达式结合的时候。

错误根源分析 #

• 警告C4346：这是核心问题——编译器没法确定Ts::()是一个类型/成员还是普通变量，按照C++标准，模板中的依赖名称必须用typename前缀来明确标识它是类型相关的成员。
• 后面的C2143、C2059等语法错误，都是因为这个警告没处理导致的连锁反应，编译器解析代码时被卡住，才抛出了这些看似混乱的语法错误。

具体修改方案 #

以你提到的owner::overload模板为例，假设原来的代码中有类似这样的折叠using声明：

template<typename... Ts>
struct overload : Ts... {
    using Ts::operator()...; // 这里就是触发错误的代码
};

你只需要给依赖名称加上typename前缀，就能解决所有问题：

template<typename... Ts>
struct overload : Ts... {
    using typename Ts::operator()...; // 显式标注typename，告诉编译器这是类型成员
};

通用解决步骤 #

1. 遍历模板代码中所有形如X::Y的表达式，只要X是模板参数（比如这里的Ts），且Y是类型或成员函数，就给它加上typename前缀。
2. 特别注意折叠表达式（...）中的依赖名称，VS2017不会自动推导这些位置的类型，必须显式声明。

这样修改后，VS2017就能正确解析模板代码，那些错误和警告都会消失啦！

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