为何编译器不允许将可变参数lambda转换为函数指针？

先看测试代码：

auto lambda = [] (void *, const char *) {};
auto variadicLambda = [] (void *, const char *, auto ...) {};

auto ptrLambda = +[] (void *, const char *) {};
auto ptrVariadicLambda = +[] (void *, const char *, auto ...) {};

在GCC 12.2和Clang 15.0.0中编译时，会出现如下错误：

:7:30: error: invalid argument type '(lambda at :7:31)' to unary expression auto ptrVariadicLambda = +[] (void *, const char *, auto ...) {}; ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

核心原因 #

• 无捕获的普通Lambda可以隐式转换为函数指针，是因为它的调用操作符operator()是非模板、无重载的具体函数，编译器能直接获取该函数的地址作为函数指针。
• 带auto...的Lambda本质是生成了一个模板化的调用操作符：auto...属于编译期模板参数包，Lambda的operator()会变成一个函数模板，而非具体的函数实例。函数指针必须指向确定的、已编译的函数实体，模板本身无法直接转换为函数指针——编译器无法确定要实例化出哪一种参数组合的函数版本，因此拒绝执行转换。

补充说明 #

如果需要实现类似可变参数的函数指针，可改用C风格的可变参数（即...，依赖stdarg.h的运行时参数处理），但这和auto...的编译期模板参数包是完全不同的特性：前者是运行时可变参数，后者是编译时确定参数类型的可变参数模板。

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