リファレンス

Question

#include <iostream> 

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

int main() { 
    foo(1); foo(2); foo(3); // output is correct: 1, 2, 3 
} 

チェック静的ラムダは参照によりKをキャプチャする方法機能FOO、。これはうまくいくと思われ、intではなく、より複雑なデータ型でも同じことが起こっています。

これは予想されますか？ kのアドレスは、fooのすべての呼び出しで同じになるという保証はありますか？UBですか？

事前のおかげで、と申し訳ありません、これは以前に（私は成功せずに同様の質問を探してみてくださいでした）

Answer 1

に答えた場合には、未定義の動作です。

関数呼び出し式とそのパラメータの初期化について、標準C++ 11の5.2.2/4段落当たり：ときに関数パラメータの寿命が終了

[...] が定義されている場合は、が返されます。各パラメータの初期化と破棄は、呼び出し関数 のコンテキスト内で発生します。 [...]

したがって、ラムダは、関数呼び出しが返されるとすぐにぶら下がる参照を格納します。

この場合、インプリメンテーションでは、関数呼び出しごとに同じアドレスに関数パラメータを作成するのは無償です（おそらく）。

しかし、この動作は標準によって必須ではありません - したがって、あなたはそれに頼るべきではありません（この場合、あなたのコードは3.8/7のために正当なものになります）。

Answer 2

あなたの例でおそらく "働いている"という理由は、呼び出しスタックが常に同じ方法で並んでいるからです。代わりにこれを試して、まだ "期待される"出力が得られるかどうか確認してください。

#include <iostream> 

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

void baz(int k) { 
    std::cout << "baz: "; 
    foo(k); 
} 

int main() { 
    foo(1); baz(2); foo(3); 
}