为什么C++ lambda重载匹配行为与预期不符？

核心差异：operator()返回类型声明方式 #

自定义仿函数和泛型lambda的核心区别在于二者operator()的返回类型声明逻辑不同：

• 自定义的Lambda结构体显式声明了operator()的返回类型为void，返回类型不需要依赖函数体推导。
• 泛型lambda的operator()没有显式指定返回类型，编译器必须实例化函数体才能推导返回类型（隐式使用auto作为返回占位符）。

std::is_invocable_v的检查逻辑差异 #

std::is_invocable_v的语义是检查可调用对象传入指定参数时的调用表达式是否良构，不同的返回类型声明会导致检查逻辑出现差异：

• 对于显式指定返回类型的自定义仿函数，is_invocable_v仅需要验证参数签名是否匹配，不会实例化函数体。因此is_invocable_v<Lambda, int&>和is_invocable_v<Lambda, int const&>都会返回true，两个参数的签名都可以和operator()(auto& n)匹配。
• 对于无显式返回类型的泛型lambda，is_invocable_v必须实例化函数体推导返回类型，才能确定调用表达式是否良构。当检查is_invocable_v<泛型lambda类型, int const&>时，实例化的函数体中n = 1对const引用赋值的操作非法，导致该约束检查的行为在不同编译器实现中出现不一致。

重载决议的结果 #

• 传入自定义仿函数时，两个f重载的约束都满足。由于调用f的对象a是非const类型，非const成员函数的重载优先级高于const成员函数，因此会选中非const版本的f。该版本中传入lambda的n是int&类型，赋值操作合法，编译通过。
• 传入无显式返回类型的泛型lambda时，GCC的重载决议逻辑会错误匹配到const版本的f重载。该重载中n是int const&类型，传入lambda后对const引用赋值触发编译错误。

修复方案 #

只需给泛型lambda加上显式的返回类型声明，即可让其行为和自定义仿函数完全一致，编译通过：

a.f([](auto& n) -> void { n = 1; });

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