C语言中函数如何维护内部状态？以strtok()为例

嘿，这个问题问得相当精准！在C语言里，函数要维护自身的内部状态，主要靠几种核心机制，你提到的strtok()就是最典型的例子。下面我给你掰扯清楚：

1. 静态局部变量：strtok()的核心秘密 #

strtok()之所以能在你传入NULL时继续处理之前的字符串，本质就是它内部用了静态指针变量来保存上一次处理到的位置。

给你写个简化版的模拟实现，一看就明白：

char* my_strtok(char* str, const char* delimiters) {
    static char* last_pos = NULL; // 静态变量，跨函数调用保留值
    char* start;

    // 第一次调用传str就从str开始，否则从上次保存的位置继续
    if (str == NULL) {
        str = last_pos;
        if (str == NULL) return NULL; // 没剩余字符了
    }

    // 跳过开头的分隔符
    while (*str != '\0' && strchr(delimiters, *str) != NULL) {
        str++;
    }
    if (*str == '\0') {
        last_pos = NULL;
        return NULL;
    }

    start = str;
    // 找到下一个分隔符的位置
    while (*str != '\0' && strchr(delimiters, *str) == NULL) {
        str++;
    }

    if (*str != '\0') {
        *str = '\0'; // 把分隔符换成结束符，截断当前token
        last_pos = str + 1; // 存好下一次开始的位置
    } else {
        last_pos = NULL; // 处理到字符串末尾了
    }

    return start;
}

这里的last_pos是静态局部变量，它的生命周期是整个程序运行期间，不是函数调用结束就销毁。所以每次调用my_strtok(NULL, del)时，它会读取上一次保存的last_pos，接着处理剩下的字符串。

不过这种方式有个致命缺点：线程不安全。因为静态变量是全局共享的，如果多个线程同时调用strtok()，会互相干扰对方的状态。所以后来C标准又推出了strtok_r()（POSIX标准）和strtok_s()（C11标准），这俩版本需要你自己传入一个指针来保存状态，完美避开了静态变量的线程安全问题。

2. 传入外部状态指针：线程安全的选择 #

刚才提到的strtok_r()就是这种思路。你需要在外部声明一个指针变量，每次调用函数时把它的地址传进去，函数会把当前状态存在这个变量里。比如它的原型是：

char* strtok_r(char* str, const char* delim, char** saveptr);

实际使用示例：

char str[] = "apple,banana,orange,grape";
char* save_ptr;
char* token = strtok_r(str, ",", &save_ptr);
while (token != NULL) {
    printf("当前token：%s\n", token);
    token = strtok_r(NULL, ",", &save_ptr);
}

这种方式把状态的管理权交给了调用者，函数本身没有内部静态状态，所以不仅线程安全，还能同时处理多个字符串——只要给每个任务分配独立的saveptr就行，非常灵活。

3. 全局变量：尽量别用的坑 #

还有一种方式是用全局变量保存状态，但这比静态局部变量还糟糕：全局变量整个程序都能访问，很容易被意外修改，同样线程不安全，代码的可读性和可维护性也极差。除非是极端特殊的场景，否则绝对不推荐用这种方式。

总结一下 #

• 单线程场景、不需要同时处理多个同类任务时，静态局部变量是简单直接的选择（就像strtok()）；
• 要是需要线程安全或者同时处理多个任务，优先用传入外部状态指针的方式（比如strtok_r()/strtok_s()）；
• 全局变量能不用就不用，坑太多。

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