为什么不可变 lambda 中的字段在捕获 const 值或 const 引用时使用“const”？

问：

如问题 lambda capture by value mutable does not work with const &？，当使用其名称或在可变 lambda 中捕获类型的值时，隐藏类中的字段会获取 type 。可以说，对于可变 lambda 来说，这是正确的做法。const T&[=]const T

但是，为什么对不可变的 lambda 也要这样做呢？在不可变的 lambda 中，声明了 ，因此它无论如何都无法修改捕获的值。operator()(...)const

当我们移动 lambda 时，就会发生这种情况的不良后果，例如，将其包装在 .std::function

请参阅以下两个示例：

#include <cstdio>
#include <functional>

std::function<void()> f1, f2;

struct Test {
    Test() {puts("Construct");}
    Test(const Test& o) {puts("Copy");}
    Test(Test&& o) {puts("Move");}
    ~Test() {puts("Destruct");}
};

void set_f1(const Test& v) {
    f1 = [v] () {}; // field type in lambda object will be "const Test"
}

void set_f2(const Test& v) {
    f2 = [v = v] () {}; // field type in lambda object will be "Test"
}

int main() {
    Test t;
    puts("set_f1:");
    set_f1(t);
    puts("set_f2:");
    set_f2(t);
    puts("done");
}

我们得到以下编译器生成的 lambda 类：

class set_f1_lambda {
    const Test v;
public:
    void operator()() const {}
};

class set_f2_lambda {
    Test v;
public:
    void operator()() const {}
};

程序打印以下内容（使用 gcc 或 clang）：

Construct
set_f1:
Copy
Copy
Copy
Destruct
Destruct
set_f2:
Copy
Move
Move
Destruct
Destruct
done
Destruct
Destruct
Destruct

在第一个示例中，该值被复制不少于三次。vset_f1

在第二个示例中，唯一的副本是在捕获值时（如预期的那样）。使用两个移动的事实是 libstdc++ 中的一个实现细节。当按值将函子传递给内部函数时，第一个移动发生在内部（为什么这个函数签名不使用引用传递？第二个移动发生在移动构造最终堆分配的函子时。set_f2operator=std::function

但是，如果字段是字段，则 lambda 函子对象的 move 构造函数不能对字段使用 moveconstructor（因为此类构造函数在窃取其内容后无法“清除”常量变量）。这就是为什么必须对此类字段使用复制构造函数的原因。const

所以对我来说，它似乎只对捕获不可变的 lambda 中的值产生负面影响。我是否错过了一些重要的东西，或者它只是以这种方式标准化以使标准更简单？const