C++在VS2010中使用lambda参数捕获嵌套了lambda错误？

Question

我正在使用Visual Studio 2010,它显然在lambdas上有一些错误的行为,并且有这个嵌套的lambda,其中内部lambda返回包裹为std :: function的第二个lambda(参见MSDN上的"高阶Lambda函数")):

int x = 0;
auto lambda = [&]( int n ) 
{ 
    return std::function<void()>( 
        [&] // Note capture
        { 
            x = n; 
        } 
    ); 
};

lambda( -10 )(); // Call outer and inner lambdas

assert( -10 == x ); // Fails!

这编译但在断言失败.具体来说,内部lambda中的n是未初始化的(0xCCCCCCCC),但x被成功修改为其值.如果我将内部lambda的capture子句更改为"[&,n]",则断言按预期传递.这是VS2010的一个错误还是我不明白lambda捕获是如何工作的？

Answer 1

它不是bug,因为n在lambdas return语句之后超出范围,因此通过引用捕获在您使用它时失效.

int x = 0;
auto lambda = [&]( int n ) 
{ 
    return std::function<void()>( // n is local to "lambda" and is destroyed after return statement, thus when you call the std::function, the reference capture of n is invalid.
        [&]
        { 
            x = n; // Undefined behaviour
        } 
    ); 
};

auto tmp = lambda(-10); 
// n is no longer valid
tmp(); // calling tmp which uses reference of n which is alrdy destroyed.

assert( -10 == x ); // Fails!