相关疑难解决方法(0)

#include <iostream>

struct uct
{
    uct() { std::cerr << "default" << std::endl; }

    uct(const uct &) { std::cerr << "copy" << std::endl; }
    uct(      uct&&) { std::cerr << "move" << std::endl; }

    uct(const int  &) { std::cerr << "int" << std::endl; }
    uct(      int &&) { std::cerr << "int" << std::endl; }

    template <typename T>
    uct(T &&) { std::cerr << "template" << std::endl; }
};

int main()
{
    uct u1    ; // default
    uct u2( 5); // int
    uct u3(u1); …

正如问题lambda capture by value mutable 中所见，它不适用于 const &? , 当const T&使用其名称或[=]可变 lambda捕获类型的值时，隐藏类中的字段获取类型const T。可以争论的是，这对于可变 lambda 来说是正确的做法。

但是为什么对非可变 lambda 也这样做呢？在非可变 lambda 表达式中，operator()(...)is 被声明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 …