ラムダはインライン化の機会が多い

Question

ラムダが状態を保存しなければならない場合、インライン化されない可能性があります。状態が保存されていない場合は、単純なフリー関数のようになり、インライン化される可能性が高くなります。

標準はそれについて何か言いますか？ LLVMの上に行くためのコンパイラを書く過去数年間、私の暇な時間の多くを費やしてきた誰かとして

class Window {public:int value = 5;}; 

class SomeClass: 
{ 
public: 
    Window *w; 

    void DoSomething() 
    { 
     auto error = [&](int n) 
     { 
      std::cout << (w->value * 5); 
      return w->value * n; 
     }; 

     auto error = [](Window *w, int n) 
     { 
      std::cout << (w->value * 5); 
      return w->value * n; 
     }; 

     error(w, 7); 
     error(7); 
     // ... 

     error(w, 10); 
     error(10); 

    } 
} 

Answer 1

、私はまともなコンパイラがこれらの両方をインラインますかなり確信している - そうでない場合は、I誰もコンパイラを作ってくれない人にはバグを起こします。

[...]の要素は、通常、構造体へのポインタ（関数がインライン化されている場合は通常の引数に "unpicked"することができます）に変わる余分な引数（クロージャ引数）になります。

単純な小さな関数がインライン化されない主な理由は、vtableを含む関数ポインタを通じて呼び出されることです。コンパイラーは関数が他の場所で呼び出されていないと判断できないため、非インラインバージョンでは非静的[グローバルレベルで]関数が生成されることもあります。

もちろん、LARGE関数はインライン化されない可能性があります。これは、コンパイラがそれを実行するためのスペースが無駄だと考えているからです。しかしgccは、例えば、ある場所からしか知りません。

コンパイラがラムダを他の関数にインライン展開する方法に違いはないと主張します - ラムダが関数から渡されない限りどこからでも明示的に呼び出すことはできませんstd :: functionなどと宣言されていますが、いずれにしてもインライン化することはできません。

本当に気にしたら、コンパイラの出力を確認してください。