const Lambda对象调用非const operator()的编译疑问及原因探究

示例代码 #

const auto lambda = [] () mutable {};
using Lambda = decltype(lambda);

static_assert(!std::is_function_v<Lambda>);
static_assert(std::is_class_v<Lambda>);
void (Lambda::*ptr)() = &Lambda::operator();  // operator() 并非const成员函数

// 调用非const成员函数:
lambda();                                     // 意外：此语句可通过编译
// lambda.operator()();                       // 错误：转换丢失限定符

技术问题 #

1. 为何lambda();语句能够编译通过？
2. 若在lambda的[]中添加=（即定义为[=] () mutable {}），该语句无法编译，造成这种差异的原因是什么？

关键前置知识点 #

以下两个成员函数指针类型是完全等价的：

class C;
using CC = const C;
static_assert(std::is_same_v<void (C::*)(), void (CC::*)()>);

问题1的解答 #

直接调用lambda()时，编译器会触发隐式转换逻辑：将const Lambda类型的对象转换为对应的函数指针。对于无捕获的lambda，C++标准允许这种隐式转换——转换后的函数指针会直接调用lambda的operator()成员函数，这个过程会绕过对象的const限定。

而直接调用lambda.operator()时，是直接调用成员函数的语法，此时lambda是const对象，无法调用非const的operator()，因此编译报错。

问题2的解答 #

当lambda添加=（按值捕获）后，它就成为了有捕获的lambda。C++标准明确规定：有捕获的lambda不允许隐式转换为函数指针——因为捕获的变量需要依赖lambda对象的状态存储，普通函数指针无法携带这些额外状态。

此时lambda()的调用无法触发隐式转换为函数指针的逻辑，编译器会尝试直接调用operator()成员函数，但lambda是const对象，而mutable修饰的lambda的operator()是非const成员函数，const对象调用非const成员函数违反语法规则，因此编译失败。

内容的提问来源于stack exchange，提问作者Dr. Gut