C++ 匿名函数与函数对象的生命周期管理

简介

匿名函数和函数对象是 C++ 中强大的工具，用于将代码封装成可调用的实体。然而，管理匿名函数和函数对象的生命周期非常重要，以避免悬空指针错误。

匿名函数

立即学习“C++免费学习笔记（深入）”；

匿名函数也称为 lambda 表达式，它定义了一个没有名称的函数。它们的语法如下：

[capture list] (parameter list) -> return type { body }

生命周期管理

匿名函数是按值捕获其环境变量的。这意味着它们在创建时的状态将一直可用，直到它们超出范围为止。如果匿名函数捕获了一个指针或引用，则需要注意其所引用对象的寿命。

函数对象

函数对象提供了一种替代匿名函数的方法，以封装可调用的代码块。函数对象是 classes 或 stucts，其中重载了 operator()。它们的语法如下：

struct MyFunctor {
    void operator()() {
        // 可调用代码块
    }
};

生命周期管理

函数对象的实例就像普通对象一样运作。它们在创建时被赋予内存空间，并在超出范围时销毁。如果函数对象捕获一个指针或引用，则需要注意其所引用对象的寿命。

实战案例

考虑以下使用匿名函数来对容器进行排序的示例：

std::vector<int> myVector = {1, 3, 2};
std::sort(myVector.begin(), myVector.end(), [](int a, int b) { return a < b; });

在这个例子中，匿名函数对两个整数进行比较。由于没有捕获环境变量，因此它的生命周期没有问题。

然而，考虑以下使用函数对象来创建事件处理器的示例：

struct MyEventProcessor {
    void operator()(int e) {
        // 处理事件 e
    }
};

void HandleEvent(int e) {
    // 创建 MyEventProcessor 的实例
    MyEventProcessor processor;
    
    // 使用处理器处理事件
    processor(e);
}

在这个例子中，MyEventProcessor 函数对象捕获变量 e 的引用。如果 HandleEvent 函数超时，则 processor 将仍然有效，但 e 可能已经被销毁。为了避免悬空指针错误，必须确保 processor 在 e 仍然有效时被销毁。

其他注意事项

• 避免在函数对象中捕获 this 指针，因为这会创建循环引用，导致内存泄漏。
• 在函数对象中捕获指针或引用时，请使用智能指针或引用计数技术来管理其生命周期。
• 使用 RAII 技术（资源获取即初始化）来确保在作用域退出时正确释放资源。