C++17 新特性解析：Lambda 捕获 this

生成卡通女程序员图片.png

C++17 引入了许多改进和新特性，其中之一是对 lambda 表达式的增强。在这篇文章中，我们将深入探讨 lambda 表达式中的一个特别有用的新特性：通过 *this 捕获当前对象的副本。这个特性不仅提高了代码的安全性，还极大地简化了某些场景下的编程模式。

Lambda 表达式简介

Lambda 表达式是 C++11 中首次引入的一种匿名函数对象，它极大地简化了编程模式，特别是在使用 STL 算法或进行事件驱动编程时。Lambda 表达式的基本语法如下：

[捕获列表](参数列表) -> 返回类型 {
    函数体
};

捕获列表：用于捕获外部变量，使其在 lambda 表达式中可用。
参数列表：与普通函数类似，用于接收参数。
返回类型：可选，用于指定 lambda 的返回类型。
函数体：包含 lambda 的逻辑。

例如，以下是一个简单的 lambda 表达式，用于打印一个整数：

auto print = [](int x) {
    std::cout << x << std::endl;
};
print(42);

Lambda 表达式的强大之处在于它的灵活性和简洁性，它允许我们在需要的地方快速定义一个匿名函数，而无需单独声明一个函数对象。

C++17 中的 *this 捕获

在 C++17 之前，如果你想在 lambda 表达式中使用当前类的成员变量或成员函数，你通常会捕获 this 指针。例如：

class MyClass {
public:
    int value = 10;
    void doSomething() {
        auto lambda = [this]() {
            std::cout << this->value << std::endl;
        };
        lambda();
    }
};

这种方式的问题是，它捕获的是 this 指针，而不是对象本身。这意味着如果外部对象的生命周期结束，而 lambda 表达式仍在使用，就可能访问到无效的内存。这种问题在多线程或异步编程中尤为常见，可能导致难以调试的错误。

为了解决这个问题，C++17 引入了通过 *this 捕获当前对象的副本的能力。这样，lambda 表达式就拥有了当前对象的一个完整副本，从而避免了潜在的悬挂指针问题。

示例代码

class MyClass {
public:
    int value = 10;
    void doSomething() {
        auto lambda = [*this]() {
            std::cout << value << std::endl; // 直接使用 value，不需要 this-> 前缀
        };
        lambda();
    }
};

在这个例子中，*this 在 lambda 表达式中创建了 MyClass 的一个副本，因此即使原始对象被销毁，lambda 表达式中的副本仍然是有效的。这种捕获方式不仅安全，还简化了代码的编写。

使用场景

*this 的捕获非常适合以下几种场景：

3.1 异步操作

在多线程或异步编程中，lambda 表达式可能会在不同的线程中执行。如果捕获的是 this 指针，而原始对象的生命周期结束，可能会导致未定义行为。通过捕获 *this，可以确保 lambda 表达式中使用的对象副本始终有效。

#include <iostream>
#include <thread>
#include <future>

class MyClass {
public:
    int value = 10;
    void doSomething() {
        auto lambda = [*this]() {
            std::this_thread::sleep_for(std::chrono::seconds(1)); // 模拟异步操作
            std::cout << value << std::endl;
        };

        // 启动异步任务
        std::async(std::launch::async, lambda);
    }
};

int main() {
    MyClass obj;
    obj.doSomething();
    return 0; // 对象 obj 的生命周期结束，但 lambda 中的副本仍然有效
}

3.2 避免悬挂指针

当你担心原始对象可能在 lambda 执行时被销毁，使用 *this 捕获可以安全地复制对象，避免访问已销毁的对象。

class MyClass {
public:
    int value = 10;
    void doSomething() {
        auto lambda = [*this]() {
            std::cout << value << std::endl;
        };
        lambda();
    }
};

int main() {
    MyClass obj;
    auto lambda = obj.doSomething();
    // obj 的生命周期结束，但 lambda 中的副本仍然有效
}

3.3 值捕获的简化

直接通过 *this 捕获可以避免列出类中每个需要的成员。如果你的类中有多个成员变量或成员函数需要在 lambda 中使用，捕获 *this 是一种更简洁的方式。

class MyClass {
public:
    int value1 = 10;
    int value2 = 20;
    void doSomething() {
        auto lambda = [*this]() {
            std::cout << value1 + value2 << std::endl;
        };
        lambda();
    }
};