VS2019.27可变参数模板多次作为函数指针参数编译错误排查

首先直接回答你的问题：这是旧版本MSVC的编译器bug，你的代码本身符合C++标准，但MSVC 2019 16.27及更早版本在处理多个引用同一可变参数模板包Ts...的函数指针参数时，模板推导逻辑存在缺陷，导致无法匹配重载。另外你代码中对lambda使用*是多余的——非捕获lambda可以隐式转换为对应函数指针，MSVC对这种冗余解引用处理出现了歧义错误。

下面给出更优雅、符合标准且能兼容旧MSVC的写法：

优化后的代码 #

我们可以利用C++17的折叠表达式，把多个Start重载合并为一个模板函数，同时修复lambda的写法：

#include <iostream>
#include <type_traits> // 用于静态断言

using std::ostream;
using uint = unsigned int;

template <typename... Ts, typename... Fns>
uint Start(const char* String, Fns... fns, Ts&&... args) {
    // 静态断言：确保所有传入的函数都能被给定的参数调用
    static_assert((std::is_invocable_v<Fns, Ts...> && ...), 
                  "All functions must be callable with the provided arguments");
    
    std::cout << String << ' ' << __FUNCTION__ << '\n';
    
    // 用折叠表达式遍历所有函数，处理空指针并调用
    (void)((fns ? (fns(std::forward<Ts>(args)...), true) : true), ...);
    
    return sizeof...(fns); // 返回传入的函数数量
}

// 原函数定义保持不变
void Fn1 (double x) {
    std::cout << __FUNCTION__ << ' ' << 1*x << '\n';
}
void Fn2 (double x) {
    std::cout << __FUNCTION__ << ' ' << 2*x << '\n';
}
void Fn3 (double x) {
    std::cout << __FUNCTION__ << ' ' << 3*x << '\n';
}

void Gn1 (double x, int y) {
    std::cout << __FUNCTION__ << ' ' << 1*x << ' ' << 1*y << '\n';
}
void Gn2 (double x, int y) {
    std::cout << __FUNCTION__ << ' ' << 2*x << ' ' << 2*y << '\n';
}
void Gn3 (double x, int y) {
    std::cout << __FUNCTION__ << ' ' << 3*x << ' ' << 3*y << '\n';
}

int main() {
    std::cout << __FUNCTION__ << '\n';
    std::cout << Start<double>("Test 1" , Fn1, 12.34) << " returned\n";
    std::cout << Start<double>("Test 2" , Fn1, Fn2, 12.34) << " returned\n";
    std::cout << Start<double>("Test 3a", Fn1, Fn2, Fn3, 12.34) << " returned\n";
    std::cout << Start<double, int>("Test 3b", Gn1, Gn2, Gn3, 12.34, 42) << " returned\n";
    std::cout << Start<double, int>("Test 3c", 
        [] (double x, int y) -> void {
            std::cout << __FUNCTION__ << ' ' << 1*x << ' ' << 1*y << '\n';
        }, 
        [] (double x, int y) -> void {
            std::cout << __FUNCTION__ << ' ' << 2*x << ' ' << 2*y << '\n';
        }, 
        [] (double x, int y) -> void {
            std::cout << __FUNCTION__ << ' ' << 3*x << ' ' << 3*y << '\n';
        }, 
        3.14159, 42) << " returned\n";
    return 0;
}

关键改进点 #

1. 移除冗余的lambda解引用：非捕获lambda可以隐式转换为对应签名的函数指针，不需要用*解引用，这解决了MSVC的歧义错误。
2. 合并重载为单模板函数：用Fns...参数包接受任意数量的可调用对象（函数指针、lambda等），避免了重复编写多个重载的冗余代码。
3. 静态断言保证类型安全：通过std::is_invocable_v在编译期检查所有传入的函数是否能被给定参数调用，提前发现错误。
4. 折叠表达式简化调用逻辑：用C++17的折叠表达式简洁地遍历并调用所有函数，同时处理函数指针为空的情况。

兼容旧版MSVC的原理 #

原代码中多个void (*fn)(Ts...)的写法，旧MSVC无法正确推导Ts...是同一个模板包；而优化后的写法将函数参数和调用参数分开为两个独立的参数包，MSVC的推导逻辑能正确处理这种结构，从而绕过了编译器bug。

如果你需要兼容C14及更早版本（不支持折叠表达式），可以用递归模板或者初始化列表来实现类似的遍历逻辑，但C17的写法无疑是最简洁优雅的。

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