为何无法将`[](auto&&...){}`转换为`std::function<void()>`？

咱们一步步拆解这个问题，先搞清楚为什么会出现这种编译器差异，以及你的代码是否符合标准：

核心原因：泛型Lambda的参数处理差异 #

从错误信息来看，你在g()函数里定义了一个带泛型参数+可变参数的Lambda，签名大概是[](auto&&, ...) { ... }，然后试图把它转换成std::function<void()>。这里的关键是两个编译器对C++标准的实现细节不同：

1. 为什么GCC 7.3报错？ #

GCC 7.3对Lambda的参数匹配检查更严格：

• 如果你的Lambda是(auto&&, ...)：第一个auto&&是必填参数，后面的...是C风格可变参数（不是参数包），这意味着这个Lambda必须至少传入一个参数才能调用。而std::function<void()>要求可调用对象能接受0个参数，所以转换失败——这其实是符合C++标准的行为。
• 如果你的Lambda是(auto&&...)（泛型参数包，允许0个参数）：这属于GCC 7.3的实现缺陷。旧版GCC在处理泛型参数包Lambda向无参std::function转换时，模板推导逻辑有问题，无法识别这个Lambda可以被无参调用。这个bug在GCC 8及以后的版本已经被修复了。

2. 为什么MSVC 14能编译通过？ #

MSVC 14（VS2015）对Lambda的参数检查更宽松：

• 对于(auto&&, ...)的情况，它可能忽略了第一个必填参数的检查，允许无参调用（这属于非标准的宽松行为）。
• 对于(auto&&...)的情况，它的模板推导逻辑正确识别了参数包可以接受0个实参，所以转换成功。

是否需要提交Bug报告？ #

分两种情况看：

• 如果是(auto&&, ...)的Lambda：不需要，GCC的行为是符合标准的，MSVC的通过是非标准兼容，你需要修改代码（比如给Lambda加默认参数，或者包装成无参Lambda）来适配。
• 如果是(auto&&...)的Lambda：也不需要，因为这个问题已经在GCC 8+版本中被修复了。GCC 7.3是2018年的旧版本，属于已停止维护的分支，官方不会再为它修复bug。建议你升级到GCC 8或更高版本，或者临时用一个无参Lambda包装一下：

  // 包装一层无参Lambda来绕过推导问题
  std::function<void()> f = []() { your_generic_lambda(); };
  

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