ラムダの値キャプチャ、参照キャプチャ、mutable

キャプチャのまとめ

値によるキャプチャ

int n = 5;
auto f = [n]() { return n * 2; };
n = 10;
std::cout << f();   // 10 (captured n was 5)

参照によるキャプチャ

int counter = 0;
auto inc = [&counter]() { ++counter; };
inc(); inc();
std::cout << counter;   // 2

デフォルトキャプチャ: =

int a = 1, b = 2, c = 3;
auto f = [=]() { return a + c; };   // captures a and c (not b)

デフォルトキャプチャ: &

int n = 0;
auto bad = [&]() { return n; };
return bad;        // n dies, lambda dangles

モードの組み合わせ

int a = 1, b = 2;
auto f = [=, &b]() {     // a by value, b by reference
    return a + b;
};

可変ラムダ

int n = 5;
auto inc = [n]() mutable {
    ++n;
    return n;
};
inc(); inc();
std::cout << n;   // 5 (outer unchanged)

初期化キャプチャ（C++14）

auto ptr = std::make_unique<int>(42);
auto f = [p = std::move(ptr)]() {
    return *p;
};
// ptr is now empty; p owns the int inside the lambda

thisのキャプチャ

*thisのキャプチャ（C++17）

落とし穴: 参照によるキャプチャと非同期処理

// BUG
int local = 42;
std::async([&local]() { use(local); });   // local dies, lambda dangles

クイックチェック

まとめ