不能直接用普通函数指针存对象成员函数，因其隐含this指针而C回调只接受无状态自由函数；可用静态成员函数或全局函数配合void*传参，并严格保证对象生命周期长于回调执行期。
为什么不能直接用普通函数指针存对象成员函数
可重入回调最常踩的坑，是试图把 std::function 或裸函数指针指向类成员函数（比如 &MyClass::onEvent），然后传给 C 风格回调接口（如 qsort、pthread_create、硬件驱动注册函数）。这会编译失败或运行崩溃——因为成员函数隐含 this 指针，而 C 回调只接受无状态的自由函数签名。
真正能用的，只有两种：静态成员函数，或全局/自由函数。但静态成员函数无法访问实例数据，所以必须靠额外传参机制带入上下文。
- C 回调接口通常提供一个
void*类型的用户数据参数（如qsort的第 4 个参数、pthread_create的第 4 个参数、Linux kernel 的struct timer_list的data字段） - 你需要把对象指针转成
void*传进去，在静态回调里再转回来 - 这个转换必须确保对象生命周期长于回调执行期，否则就是悬垂指针
如何安全地把 this 指针传进 C 回调
核心是两步：封装静态跳板函数 + 严格控制对象生存期。下面以定时器回调为例（常见于嵌入式或 Linux 内核模块）：
class TimerHandler {
public:
void start() {
// 假设 timer_setup 接受 static 函数和 void* data
timer_setup(&TimerHandler::static_callback, this, 0);
}
<p>private:
static void static_callback(struct timer_list<em> t) {
// 从 timer 的 data 字段还原 this 指针
TimerHandler</em> self = from_timer(self, t, timer);
self->onTimeout(); // 真正的业务逻辑
}</p><pre class="brush:php;toolbar:false;">void onTimeout() {
// 可重入：不依赖静态变量，只操作成员变量或局部栈变量
}
struct timer_list timer;};
立即学习“C++免费学习笔记（深入）”；
关键点：
-
from_timer是 Linux kernel 提供的宏（类似container_of），用于从嵌入结构体成员反推宿主对象地址；用户态可等价用reinterpret_cast+ 成员偏移（但更推荐用std::launder+offsetof组合） - 对象不能在回调触发前析构——这意味着不能在栈上创建后立即返回，也不能在回调未注销时 delete
- 如果回调可能被多线程并发触发，
onTimeout内部需自行加锁或使用原子操作，可重入 ≠ 线程安全
std::function + std::shared_ptr 能否用于可重入回调
不能直接用于 C 接口回调，但可用于 C++ 层自建事件循环（如 epoll 封装、asio 定时器）。此时可重入性由你控制：
class EventLoop {
using Callback = std::function<void()>;
void post(Callback cb) {
// 把 cb 复制进队列，保证其生命周期到执行完
queue.push(std::move(cb));
}
};
<p>// 使用时：
auto handler = std::make_shared<MyHandler>();
loop.post([handler]() { handler->handle(); });这里 std::shared_ptr 解决了对象生命周期问题，std::function 封装了闭包。但注意：
- 每次
post都产生一次堆分配，高频回调下有性能开销 - 若
MyHandler析构早于回调执行，handler仍有效（因 shared_ptr 持有），但业务逻辑可能失效（比如它内部还依赖其他已销毁资源） - 这种模式本质是“延迟执行”，不是传统意义的 C 风格回调；它规避了
void*转换，但代价是放弃与纯 C 库的兼容性
最容易被忽略的可重入陷阱：静态局部变量和单例
即使你用了 this 指针 + 静态跳板，只要在回调函数里用了以下任一写法，就立刻失去可重入性：
- 在回调内部定义
static int counter;—— 多次调用共享同一份内存 - 调用某个单例的非 const 成员函数（如
Logger::instance().log("msg")），而该单例内部用了静态缓存或互斥量 - 调用
strtok、rand、localtime等非可重入 C 标准库函数（应改用strtok_r、rand_r、localtime_r）
可重入的唯一判断标准：同一函数的多个并发调用，不共享任何可写状态。哪怕只是读一个全局 const char* 都没问题，但一旦写，就必须是 per-call 的栈变量或对象成员变量。
