C++ Lambdas:"可变"和"按引用捕获"之间的区别

Question

在C++中,你可以像这样声明lambdas:

int x = 5;
auto a = [=]() mutable { ++x; std::cout << x << '\n'; };
auto b = [&]()         { ++x; std::cout << x << '\n'; };

两个都让我修改x,那有什么区别？

Answer 1

怎么了

第一个只修改自己的副本,x并x保持外部不变.第二个将修改外部x.

尝试每个后添加一个print语句:

a();
std::cout << x << "----\n";
b();
std::cout << x << '\n';

预计这将打印:

6
5
----
6
6

为什么

考虑lambda可能会有所帮助

[...]表达式提供了创建简单函数对象的简洁方法

^{(参见标准的[expr.prim.lambda])}

他们有

[...]公共内联函数调用操作符[...]

它被声明为const成员函数,但仅限于

[...]当且仅当lambda表达式的parameter-declaration-clause未被跟随时mutable

你可以想到

    int x = 5;
    auto a = [=]() mutable { ++x; std::cout << x << '\n'; };

==>

    int x = 5;

    class __lambda_a {
        int x;
    public:
        __lambda_a () : x($lookup-one-outer$::x) {}
        inline void operator() { ++x; std::cout << x << '\n'; }     
    } a;

和

    auto b = [&]()         { ++x; std::cout << x << '\n'; };

==>

    int x = 5;

    class __lambda_b {
        int &x;
    public:
        __lambda_b() : x($lookup-one-outer$::x) {}
        inline void operator() const { ++x; std::cout << x << '\n'; }         
        //                     ^^^^^
    } b;

问:但如果它是一个const功能,为什么我还能改变x？

答:你只是在改变外面x.lambda自己x是一个引用,操作++x不会修改引用,而是修改引用的值.

这是有效的,因为在C++中,指针/引用的常量不会改变通过它看到的指针/引用的常量.