Dlaczego konstruktor ruchu nie jest wywoływany podczas poruszania się w lambda?

Question

Próbuję skompilować następujący kod:

#include <utility> 

struct C2 { 
     C2() = default; 
     C2(C2 const&) = delete; 
     C2(C2&&) = default; 
}; 

int main() { 
     C2 p2; 
     ([p2_1{ std::move(p2) }]() { 
       auto p2_2 = std::move(p2_1); // <--- 
     })(); 
     return 0; 
} 

Jednak to nie skompilować i daje błąd, że przypisanie do p2_2 dzwoni usuniętą funkcję, a mianowicie konstruktor kopiujący. Zauważ, że przejście na p2_1 jest w porządku. Dlaczego nie korzysta się z konstruktora ruchu?

Answer 1

Połów jest taki, że operator() anonimowego typu klasy domyślnie reprezentuje lambda const. Oznacza to, że nie można przenieść z p2_1, ponieważ this z lambda to const& w funkcji. Co trzeba zrobić, to użyć mutable słowa kluczowego jak

int main() { 
     C2 p2; 
     ([p2_1{ std::move(p2) }]() mutable { 
       auto p2_2 = std::move(p2_1); // <--- 
     })(); 
     return 0; 
} 

co sprawia, że ​​funkcja non const, co z kolei oznacza, że ​​można zmutować jego członków. Pozwala to przenieść p2_1 zamiast próbować go skopiować.