Почему объект Const может вызвать функцию неконфессионального члена? [дублировать] ⇐ C++

[Anonymous]

Рассмотрим следующий код: < /p>

Код: Выделить всё

int main() {
auto const fn = [] mutable {};
fn(); // ok, why?
}
< /code>
Согласно последнему стандартному проекту C ++  [expr.prim.lambda.closure] 7.5.6.2/6 < /em> (Mine Anthemis): < /p>

Оператор функции или шаблон оператора - это функция STATIC
или Static Semptate (11. /> Плаватор Lambda-Expression-положения следуют
static. В противном случае, это нестатическая функция члена или шаблон функции
(11.4.3) , которая объявляется const (11.4.3), если и только < /strong>
 если параметры Lambda-Expression-declaration не является < /strong>
, за которым следует мутибельный < /strong> и lambda destarator, не содержит отмены. параметр. 

Поскольку лямбда помечена как изменяющая 

, затем:

• его оператор () должен быть помечен как неконтролируемый.

  Код: Выделить всё

  auto const fn

  означает fn является объектом const, поэтому fn не может вызвать неконфектный оператор () .

Однако оба gcc & clang принимают код выше, см. Незаконная функция члена?

Подробнее здесь: https://stackoverflow.com/questions/796 ... r-function