ローカルテンポラリをキャプチャするラムダ関数をキャッチ

Question

私は最近、ほとんどの場合に動作するが、未定義の動作に依存しているコードベースのラムダを発見しました。ここでの例である：

#include <iostream> 
#include <thread> 

std::thread thread; 

void foo(int bar) 
{ 
    thread = std::thread([&]() { std::cout << bar << std::endl; }); 
} 

int main(int argc, char* argv[]) 
{ 
    foo(5); 
    thread.join(); 
} 

ローカルスコープ（バー）の変数を参照することによって捕捉され、後の時点でアクセスされることがある問題。不思議なことに、私たちのコンパイラ（GCC、Clang、MSVC）は、たとえ "警告：ローカル一時オブジェクトのアドレスを返す"として捕まえるのが簡単であっても、デフォルトでこれについて警告していません。上記のコンパイラがこれについて警告する方法はありますか？

Answer 1

一時変数のアドレスを返していません。一時変数の参照渡しは問題ありません。もちろん、スレッドを参照して変数を渡すと、ソース関数が期限切れになり、最初に一時変数が渡された場合に予期しない結果になる可能性があります。

しかし、コンパイラはスレッドの作成とスレッドの順序は気にしません。人々はstd::threadの代わりに独自のスレッドライブラリを使用する可能性があるからです。コンパイラの観点からは、言語構造の妥当性を探し、[&](...){}は有効な構文です。

つまり、コンパイラがこの（実際に有用な）警告をキャッチする方法はありません。残念ながらそれはプログラマの責任です。 argvをstd::stringオブジェクトにコピーし、値渡しすることができます。

Answer 2

これは最近私も気付いた。私は、関数の引数をキャプチャしていたことを実現しました。どこでも。

このような場合、私はこのことについて警告を受けたいと思っていますが、多くの場合、キャプチャには何も問題はないという理由が考えられます。すぐにラムダを実行する限り、あなたは安全です。後で使用するために（ワーカースレッド内を含む）問題が発生する可能性があるので、それを保存するときだけです。

どちらのコンパイラもまだ十分に巧妙ではないか、またはその作者がこれについて警告しないことに決めました。

どのような場合でも、あなたのコードを警告する主流のコンパイラは認識していません。だから、本当に注意する必要があります。