理解可变捕获

时间:2015-07-09 12:26:40

标签: c++ c++11 lambda

如果我理解正确(我的来源是 C ++ Primer 第5版,第5版),mutable可以在lambda内修改捕获的变量。我不明白的两件事:

  1. 这与通过引用捕获有何不同?并且,如果通过引用捕获下面的内容,那么mutable的目的是什么?只是一个语法糖?

  2. mutable是否可以更加有用?

1 个答案:

答案 0 :(得分:5)

mutable允许您修改在lambda范围之外定义的变量,但是您对这些变量所做的任何更改都不会传播到初始变量:

auto f1 = [=] () mutable { n += 4; return n ; } ;
auto f2 = [&] () { n += 4; return n ; } ;

std::cout << f1 () << ' ' ;   // Call to f1, modify n inside f1
std::cout << n << ' ' ;       // But not in main

// 2nd call to f1, the value of n inside f1 is the value stored during the first call, 
// so  8 (the output will be 8 + 4)
std::cout << f1 () << ' ' ;   

std::cout << f2 () << ' ' ;   // Call to f2, modify n inside f2
std::cout << n << std::endl ; // And in main

输出

8 4 12 8 8 

另一个不同之处在于,当您按值使用捕获时,将在计算lambda时捕获该值,而不是在调用它时捕获该值:

int n = 4 ;
auto f1 = [=] () mutable { return n ; } ; // lambda evaluated, value is 4
auto f2 = [&] () { return n ; } ; // lambda evaluated, reference to n
std::cout << f1 () << ' ' ; // Call to f1, captured value is 4
std::cout << f2 () << ' ' ;
n = 8 ;
std::cout << f1 () << ' ' ; // Call to f1, captured value is still 4
std::cout << f2 () << std::endl ; // Reference to n, so updated value printed

输出:

4 4 4 8 

最后一个(巨大的)差异是,一旦目标超出范围,通过引用捕获的变量就不可用:

std::function <int ()> f (bool withref) {
    int n = 4 ;
    if (withref) {
        return [&] () { return n ; } ;
    }
    return [=] () { return n ; } ;
}

auto f1 = f (false) ;
auto f2 = f (true) ;

std::cout << f1 () << ' ' ;
std::cout << f2 () << std::endl ; // Something will go wrong here...

输出:

4 1639254944 

第二种行为未定义。

总结:

  • 使用mutable允许您修改由函数范围内捕获的变量,但由于在评估lambda时变量已被复制到另一个内存位置,只修改变量的本地副本(即使原始变量消失,您也可以访问此副本。)
  • 使用&不会创建原始变量的副本,允许您对其进行修改(原始变量),但允许您在“变形”之后访问此变量。