可重入函数指可在执行中被中断并重新进入而不影响结果的函数，其核心特征是不依赖全局或静态变量、不返回静态数据指针、仅使用参数和局部变量，如int add_numbers(int a, int b)；而get_counter因使用静态变量不可重入，可通过将状态交由调用者管理实现可重入；可重入函数必线程安全，但反之未必，如加锁操作虽保障线程安全却因共享状态而非可重入；设计上应避免全局状态、采用纯函数风格、慎用标准库中的非可重入函数，推荐使用如my_strtok这类状态外置的接口，从而确保函数在多线程、信号处理等场景下安全可靠。
在C++中，实现一个可重入函数并确保线程安全，核心在于避免共享状态的竞态条件，并合理设计函数的行为。可重入函数是指可以在执行过程中被中断，然后在中断点重新进入而不影响结果的函数。它通常也是线程安全的，但两者并不完全等价：可重入是更强的保证。
什么是可重入函数
可重入函数满足以下条件：
这样的函数可以被多个线程或递归调用同时执行而不会产生冲突。
如何编写可重入函数
关键在于隔离状态。看一个简单的例子：
立即学习“C++免费学习笔记（深入）”；
int add_numbers(int a, int b) {
return a + b;
}
这个函数是典型的可重入函数：只依赖输入参数，没有副作用。
再看一个非可重入的例子：
int* get_counter() {
static int counter = 0;
counter++;
return &counter; // 返回静态数据地址
}
这个函数不是可重入的，因为使用了静态变量，且返回其地址。多个调用会互相干扰。
改为可重入版本：
void increment_counter(int* counter) {
(*counter)++;
}
状态由调用者管理，函数本身无内部状态，因此可重入。
线程安全与可重入的关系
线程安全意味着多个线程并发调用该函数不会导致数据损坏。可重入函数一定是线程安全的，但反过来不一定成立。
例如，使用互斥量保护共享资源的函数可能是线程安全的，但不是可重入的：
#include <mutex>
<p>std::mutex mtx;
int global_data = 0;</p><p>void unsafe_add(int value) {
std::lock_guard<std::mutex> lock(mtx);
global_data += value; // 修改全局变量
}</p>这个函数是线程安全的，但由于修改了全局状态，不能在信号处理程序中安全调用，也不是可重入的。
函数设计原则
为了提高可重入性和线程安全性，应遵循以下设计原则：
- 避免使用静态或全局变量：将状态外部化，由调用方传入。
- 使用纯函数风格：输入确定则输出确定，无副作用。
-
小心使用C标准库函数：如
strtok是非可重入的，应改用strtok_r（POSIX）或现代替代方案。 - 避免在可重入函数中加锁：加锁可能引入死锁风险，尤其是在信号处理或递归场景中。
- 资源管理交给调用者：比如缓冲区、上下文对象等，由外部分配和释放。
举个实际例子：实现一个可重入的字符串分割函数：
char* my_strtok(char* str, const char* delim, char** saveptr) {
char* p;
if (str != nullptr) {
*saveptr = str;
}
if (*saveptr == nullptr || **saveptr == '\0') {
return nullptr;
}
p = *saveptr;
while (*(*saveptr) && strchr(delim, **saveptr)) {
(*saveptr)++;
}
p = *saveptr;
while (**saveptr && !strchr(delim, **saveptr)) {
(*saveptr)++;
}
if (**saveptr) {
*(*saveptr)++ = '\0';
}
return p;
}
这个版本类似于strtok_r，把保存位置放在外部指针中，因此是可重入的。
基本上就这些。可重入函数的设计本质是“无状态”或“状态外置”，配合良好的接口设计，就能自然支持多线程环境，也更容易测试和维护。
