ラムダキャプチャリストの[this]と[＆]は、クラス内で使用されていれば同等ですか？

Question

次の例では、キャプチャリストで[&]というキャプチャを使用するのとは異なり、キャプチャリストで[this]を使用する方法の違いは何ですか？私は両方を試して、同じ出力を生成します。 C++プログラミング言語で

#include <iostream>               

class Test {                 
public:                  
    int x = 2;                 
    void test1(void) { std::cout << "test1" << std::endl; };     

    void test_lambda(void) {             
     auto lambda = [&]() {            
      std::cout << "x: " << x << " y: " << y << " z: " << z << std::endl; 
      this->test1();               
     };                 

     lambda();                
    }                   

protected:                 
    int y = 3;                 

private:                  
    int z = 4;                 
};                   

int main() {                 
    Test t;                 
    t.test_lambda();               
} 

、Stroustropは言う：

Members are always captured by reference. That is, [this] implies that members are accessed through this rather than copied into the lambda. 

これは、彼らが同じことを意味するかもしれないことを示唆しているようです。しかし、それが事実なら、なぜ[これは]必要なのでしょうか？

Answer 1

：

[&]場合に参照により基準と現在のオブジェクトがラムダの本体で使用されるすべての自動変数は、[本]を使用して一方

存在する捕捉捕捉しますポインタはthisのみです。あなたがスコープで自動変数を持っているとき

これは、例えば、異なります：

struct Test { 
    void run() { 
    int y = 2; 

    // all automatic variables are accessible, both local and members 
    auto l1 = [&](){ cout << x << " " << y << endl; }; 
    l1(); 

    // y is not accessible, x is only because it's a member 
    auto l2 = [this]() { cout << this->x << endl; }; 
    l2(); 
    } 

    int x = 1; 
}; 

int main() { 
    Test t; 
    t.run(); 
} 

では、なぜ我々はそれが必要なのでしょうか？

[this]のキャプチャを許可することは、他のポインタのキャプチャを許可することと同じです。

すべての自動変数を常にキャプチャしないのはなぜですか？

• カプセル化：理由のカップルには、があります時には、あなたはラムダが他の値
• 柔軟性に精通している必要はありません：時々、私たちはいくつかの値をコピーする必要があり、参照することによりそれらのいくつかを渡す

注：はコンパイラが唯一トンを通過するので、追加のパフォーマンスコストを導入しない&を使用して、すべての自動変数のキャプチャ彼はラムダの内部で使用する変数です。

Answer 2

&は、参照によって範囲内にあるすべての変数をキャプチャします。

void test_lambda(void) {             
    int dummy = 42;     // capture dummy ?!? 
    auto lambda = [&]() {    // yes         
     std::cout << "x: " << x << " y: " << y << " z: " << z << std::endl; 
     this->test1(); 
     std::cout << dummy;   // ok here              
    };                 
    lambda();                
} 

[this]意志[&]としてローカル変数をキャプチャしません。これを考慮してください。 cppreferenceによれば

Answer 3

メンバーをキャプチャするための唯一の方法は、thisをキャプチャすることにより、次のとおりです。参照することにより、キャプチャすることにより、暗黙的に

値[=](){ member = 42;}によってキャプチャすることにより、暗黙的に明示

• [this](){ member = 42; }
• 後[&](){ member = 42; }

は違法です

• [&member](){ member = 42; } // illegal
• [member](){ std::cout << member; } // illegal。

はその後だけキャプチャします [this]を使用して

Answer 4

...（可能なダングリング参照を避けるために）referenceキャプチャを避け、あなたが明示的かどうかというの間で選択することがあります、キャプチャの制限を表現しようとするあなたに依存しますthisであり、[&]は、囲みスコープのすべてのローカル変数をキャプチャします。thisおよび

struct example { 
    int foo; 

    example() { 
    int bar; 

    [this]() { 
     foo = {}; 
     bar = {}; // error: 'bar' is not captured 
    }(); 

    [&]() { 
     foo = {}; 
     bar = {}; 
    }(); 
    } 
}; 

すべてのローカル変数が破壊されていますようご閉鎖は、メンバ関数のように、囲みスコープの外で呼び出される場合は、[this]を使用する場合があります。

struct example { 
    int value = 42; 

    example() { 
    frobnicate = [this]() { 
     std::cout << value << std::endl; 
    }; 
    } 

    std::function<void()> frobnicate; 
}; 

example x; 
x.frobnicate(); 

あなたの閉鎖を囲むスコープ内で呼び出される場合、ローカル変数がまだ生きているだろうとあなたは、ローカルコードの一部のように、[&]を使用する場合があります。

struct example { 
    int value = 42; 

    example() { 
    int values[] = {1, 2, 3}; 

    std::for_each(std::begin(values), std::end(values), [&](int& v) { 
     std::cout << v * value << std::endl; 
    }); 
    } 
};