C++可变参数模板推导在MSVC中失败，Clang可正常运行

这确实是MSVC在C模板推导实现上的兼容性问题，不符合C标准的推导规则，但通常被归类为编译器实现差异而非严格意义上的“bug”。

问题场景还原 #

先明确你的代码结构（典型示例）：

#include <iostream>

// 目标函数：以int&作为最终输出参数的void函数
void SimpleValue(int& out) { out = 42; }
void AddTwoValues(int a, int b, int& out) { out = a + b; }

// 模板别名：匹配"Args...参数 + int&输出"的函数签名
template<typename... Args>
using FuncType = void(*)(Args..., int&);

// 模板函数：调用目标函数并打印输出
template<typename... Args>
void Print(FuncType<Args...> func, Args... args) {
    int result;
    func(args..., result);
    std::cout << result << std::endl;
}

int main() {
    Print(SimpleValue);       // Clang可正常推导，MSVC报C2784
    Print(AddTwoValues, 10, 20); // 同上
    return 0;
}

原因分析 #

根据C++标准，编译器应当能够从传入的函数指针反向推导模板别名FuncType<Args...>中的参数包Args...：

• Clang的实现完全遵循标准，能识别SimpleValue的签名void(int&)匹配FuncType<>（Args...为空），AddTwoValues的签名void(int, int, int&)匹配FuncType<int, int>。
• MSVC在处理模板别名的参数包推导时存在局限性，无法自动完成这种反向匹配，导致模板参数推导失败，触发C2784错误。

可行的解决办法 #

1. 显式指定模板参数
   手动告诉编译器Args...的类型，跳过自动推导：

   Print<>(SimpleValue);                      // 显式指定Args...为空
   Print<int, int>(AddTwoValues, 10, 20);     // 显式指定Args...为int, int
   

2. 重载Print函数
   针对不同签名的目标函数直接重载Print，绕过模板别名的推导问题：

   void Print(void(*func)(int&)) {
       int result;
       func(result);
       std::cout << result << std::endl;
   }
   
   void Print(void(*func)(int, int, int&), int a, int b) {
       int result;
       func(a, b, result);
       std::cout << result << std::endl;
   }
   

3. 改用直接推导的可变参数模板
   去掉模板别名，让编译器直接推导函数指针和参数类型：

   template<typename Func, typename... Args>
   void Print(Func func, Args... args) {
       int result;
       func(args..., result);
       std::cout << result << std::endl;
   }
   

补充说明 #

这个问题属于MSVC对C++模板规则的实现滞后，在较新版本的MSVC（如VS2022 17.0+）中可能已经修复，但针对旧版本编译器，上述方法可以有效规避问题。

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