ラムダオブジェクトのローカル変数がなぜconstであるのですか？

Question

次のコードはコンパイルされません。 ptのタイプがconst std::packaged_task<void()>>であり、operator()がconstではないためです。ラムダオブジェクトで

auto packagedTask = std::make_shared<std::packaged_task<void()>>([]{}); 
auto future = packagedTask->get_future(); 
auto function = [pt = std::move(packagedTask)]{ (*pt)(); }); 

なぜローカル変数constのとおりです。ここで

auto packagedTask = std::packaged_task<void()>>([]{}); 
auto future = packagedTask.get_future(); 
auto function = [pt = std::move(packagedTask)]{ (*pt)(); }); 

は、回避策ですか？ 回避策にオーバーヘッドなしで最初のコードを動作させたいと思っています。問題を解決するベストプラクティスは何ですか？

Answer 1

ラムダがmutableとマークされていない限り、生成されたlambda::operator()はconstとして修飾されます。 mutableこの動作を防ぐことができますよう、あなたのラムダをマーキング：

auto function = [pt = std::move(packagedTask)]() mutable { (*pt)(); }); 

---

をなぜラムダオブジェクト内のローカル変数はconstですか？ ラムダ式によって生成閉鎖で

ローカル変数はconstではありません。生成されたlambda::operator()はconstとなります。よりよい質問は「なぜラムダのoperator()が暗黙のうちにconstある？

constがmutableより良いデフォルトであるためにです。可変性は、複雑さを紹介します。不変性は、コードについて推論しやすくなります。

constするべきであるかもしれませんラムダは全く新しい機能であったため、委員会はデフォルトでconstとし、オプトインの変更を行うことに決めました。