为什么不能调用带有 auto& 参数的 const 可变 lambda？

Bar*_*rry 33

这里有两件有趣的事情。

首先，默认情况下是 lambda 的调用运算符（模板）const。如果你提供mutable，那么它不是const。对mutablelambda的影响与普通成员函数尾随的影响完全相反const（它不影响 lambda 捕获等）

所以如果你看这个：

auto const f3 = [](auto&) mutable {};
static_assert(std::is_invocable_v<decltype(f3), int&>); // failed

这是一个const对象，其调用运算符模板（因为它是通用 lambda）是非const. 所以你不能调用它，出于同样的原因，你不能在任何其他上下文中const的对象上调用非成员函数。const请参阅其他答案。

其次，有人指出，尽管如此，这是可行的：

auto const f4 = [](int&) mutable {}; // changed auto& to int&
static_assert(std::is_invocable_v<decltype(f4), int&>); // now ok

这不是编译器错误。也不代表我刚才说的不对。f4 仍然有一个非常量调用运算符。您不能调用它，因为f4它是一个 const 对象。

然而。

lambda 还有另一个有趣的方面没有捕获：它们有一个到函数指针类型的转换函数。也就是说，我们通常认为 lambdaf4看起来像这样：

struct __unique_f4 {
    auto operator()(int&) /* not const */ { }
};

而且，如果这就是整个故事，那const __unique_f4确实是不可调用的int&。但它实际上看起来像这样：

struct __unique_f4 {
    auto operator()(int&) /* not const */ { }

    // conversion function to the appropriate function
    // pointer type
    operator void(*)(int&)() const { /* ... */ }
};

我们有一条规则，当你调用一个对象时，比如f(x)，你不仅要考虑f' 的调用运算符——那些命名的成员operator()——而且你还要考虑f' 的任何代理调用函数——是否有任何函数指针您可以转换f为，然后调用。

在这种情况下，你可以！您可以转换f4为 avoid(*)(int&)并且该函数指针可以用int&.

但这仍然意味着f4' 的调用运算符不是 const，因为您声明它是可变的。它并没有说明您是否可以让mutablelambda 接受引用参数。

@SM 仍然有转换函数运算符，只是它看起来像（无论如何对于`f3`）：`template <typename T> operator void(*)(T&) const`。但是转换函数_templates_不是“代理调用函数”规则的一部分，只是转换函数——你可以在其他上下文中使用它们：`auto const f3 = [](auto&) mutable {}; 无效(*p)(int&) = f3; // 好的` (4认同)

for*_*818 14

出于同样的原因，您会收到一个错误：

struct foo {
    void operator()(){}
};

int main() {
    const foo f;
    f();
}

错误是：

<source>:7:5: error: no matching function for call to object of type 'const foo'
    f();
    ^
<source>:2:10: note: candidate function not viable: 'this' argument has type 'const foo', but method is not marked const
    void operator()(){}
         ^

因为您不能在 const 实例上调用非常量方法。Lambdas 获得了默认的 constness 权利，因此mutable没有operator()is const。使用mutable是operator()一个非常量方法，您不能调用const f3;

@SM 不，`operator()` 绝对不是带有`mutable` lambda 的`const`。eel.is/c++draft/expr.prim.lambda#closure-5.sentence-1 (6认同) @SM mutable 不会使 lambda 成员可变。它使 lambda 成员非常量。 (4认同) @463035818_is_not_a_number 为什么？你的答案是正确的。 (4认同) 如果这是原因，为什么将 `f3` 从 `[](auto&) mutable {}` 更改为 `[](int&) mutable {}` 会使程序有效？ (2认同)