为什么在lambda的捕获列表中调用复制构造函数

Question

#include <iostream>
#include <vector>
#include <functional>

using namespace std;

struct B {
    B() {
        std::cout<<"B"<<std::endl;
    }
    
    B(B&& b2) {
        std::cout << "B&& from object moved" << b2.moved_ << std::endl;
        b2.moved_ = true;
    }
    
    B(const B&) {
        std::cout<<"const B&"<<std::endl;
    }
    
    // ~B(){
    //     std::cout<<"~B"<<std::endl;
    // }
    
    int bb=10;
    bool moved_=false;
};

struct FF {
    FF(std::function<void()> ff):ff_(std::move(ff)){}
    std::function<void()> ff_;
};

int main()
{
    std::vector<int> a{1,2,3};
    std::vector<FF> b{};
    B bb;
    std::transform(a.cbegin(), a.cend(), std::back_inserter(b), [x = std::move(bb)](auto const i) {
        
        return FF([xx = std::move(x), i]() {
            std::cout<<"FF"<<i<<std::endl;
        });
    });
    
    for(auto const& j:b) {
      j.ff_();
    }
    return 0;
}

从代码中可以看出，我的容器b是一个FF的向量，它接受一个函数对象作为参数。我想确认一下lambda如何捕获参数。

我的问题是为什么在捕获列表中使用xx=std::move(x)时会调用const&构造函数？

我认为不应该有额外的构造函数。

- MengMeng

Answer 1

这是因为 lambda 不可变，并且包含无法移动的 const B x。

简单修复。

[x = std::move(bb)](auto const i) mutable {

- 273K

Answer 2

由于您的外部lambda没有标记为可变，因此在`std::move(x)`中捕获的`x`是`const`，即返回类型是`B const&&`，而不是`B&&`。然而，您的移动构造函数无法接受`B const&&`，因此会使用复制构造函数代替。

将`mutable`添加到外部lambda可以解决这个问题：

std::transform(a.cbegin(),a.cend(),std::back_inserter(b),
    [x = std::move(bb)](auto const i) mutable { // mutable added here
        return FF([xx = std::move(x),i](){
             std::cout<<"FF"<<i<<std::endl;
        });
    });

- fabian