如何在C++中保存带状态函数指针以实现类闭包延迟执行

先看你给出的TypeScript参考实现，核心是通过闭包捕获外部参数，返回一个可以延迟执行的无参函数：

// TypeScript示例代码
function createDelayedFunc(message: string, count: number) {
  return () => {
    console.log(`Message: ${message}, Count: ${count}`);
  };
}

// 使用
const myFunc = createDelayedFunc("Hello C++", 5);
myFunc(); // 延迟执行输出内容

你的错误代码问题分析 #

你尝试用普通函数指针返回lambda的写法行不通——普通函数指针无法持有lambda捕获的外部变量，lambda一旦捕获了变量，就不再是普通的函数指针类型，这是编译报错的核心原因。

正确的C++实现方案 #

C++没有原生闭包，但可以通过lambda结合std::function或者自动推导返回类型实现相同效果，以下是两种可行方案：

方案一：使用std::function（C++11及以上兼容）

需要包含<functional>头文件，std::function<void()>是通用的函数封装器，可以存储捕获了变量的lambda：

#include <iostream>
#include <functional>
using namespace std;

function<void()> createDelayedFunc(string message, int count) {
    // 值捕获参数，确保lambda持有独立副本，不受原变量生命周期影响
    return [message, count]() {
        cout << "Message: " << message << ", Count: " << count << endl;
    };
}

int main() {
    auto myFunc = createDelayedFunc("Hello C++", 5);
    myFunc(); // 延迟执行，输出Message: Hello C++, Count: 5

    // 可以创建多个独立的闭包实例
    auto anotherFunc = createDelayedFunc("Another test", 10);
    anotherFunc(); // 输出Message: Another test, Count: 10
    return 0;
}

方案二：直接返回auto（C++14及以上）

C++14允许函数返回auto，编译器会自动推导lambda的具体类型，这种方式没有std::function的额外开销，更高效：

#include <iostream>
using namespace std;

auto createDelayedFunc(string message, int count) {
    return [message, count]() {
        cout << "Message: " << message << ", Count: " << count << endl;
    };
}

int main() {
    auto myFunc = createDelayedFunc("Hello C++", 5);
    myFunc();
    return 0;
}

关键注意事项 #

1. 捕获方式选择：
   • 值捕获[message, count]或[=]（捕获所有外部变量的副本）：适合需要保留参数初始值的场景，副本独立于原变量，生命周期和lambda一致。
   • 引用捕获[&message, &count]或[&]（捕获所有外部变量的引用）：如果需要后续修改原变量能影响lambda的执行结果，但必须确保原变量在lambda执行时仍然有效，避免悬空引用（比如不要返回捕获局部变量引用的lambda）。
2. 修改捕获变量：如果需要在lambda内部修改捕获的变量副本，要加上mutable关键字：

   auto createCounter(int initial) {
       return [initial]() mutable {
           cout << initial++ << endl;
       };
   }
   

内容的提问来源于stack exchange，提问作者Nick Ruha