C 库的非线程安全函数

我们先来看一段代码#include time.h int main() { time_t tNow time(NULL); time_t tEnd tNow 1800; //注意下面两行的区别 struct tm* ptm localtime(tNow); struct tm* ptmEnd localtime(tEnd); char szTmp[50] { 0 }; strftime(szTmp, 50, %H:%M:%S, ptm); //struct tm* ptmEnd localtime(tEnd); char szEnd[50] { 0 }; strftime(szEnd, 50, %H:%M:%S, ptmEnd); printf(%s \n, szTmp); printf(%s \n, szEnd); return 0; }程序执行结果如下所示20:53:48 20:53:48很奇怪是不是tNow和tEnd明明相差 1800 秒。我们调整一下代码第9行的位置#include time.h int main() { time_t tNow time(NULL); time_t tEnd tNow 1800; //注意下面两行的区别 struct tm* ptm localtime(tNow); char szTmp[50] { 0 }; strftime(szTmp, 50, %H:%M:%S, ptm); struct tm* ptmEnd localtime(tEnd); char szEnd[50] { 0 }; strftime(szEnd, 50, %H:%M:%S, ptmEnd); printf(%s \n, szTmp); printf(%s \n, szEnd); return 0; }这次输出结果正确了20:25:44 20:55:44为什么会出现这种情况呢我们来看下localtime函数的签名struct tm* localtime(const time_t* timep);这个函数返回值一个tm结构体指针类型而我们外部并不需要释放这个指针指向的内存因此我们断定这个函数内部一定使用了一个全局变量或函数内部的静态变量。这样的话当再次调用这个函数时有可能前一次调用结果就被后一个结果覆盖了。我们简化一下这种模型int* func(int k) { static int result; result k; return result; }当多个线程甚至单个线程调用这个函数时如两个线程分别调用上述函数//线程1调用 int* p1 func(1); //线程2调用 int* p2 func(2);那么 *p1和 *p2的结果会是什么呢结论是可能是 1 也可能是 2甚至既不是 1 也不是 2。原因我们在前面《为什么整形变量赋值操作不是原子》的小节已经介绍过了。像localtime这类 CRT 提供的具有上述行为的函数我们称为非线程安全函数。因此我们在实际开发中应避免在多线程程序中使用这类函数这类函数还有如strtok甚至连操作系统提供的 socket 函数gethostbyname也不是线程安全的。char* strtok(char* str, const char* delim); struct hostent* gethostbyname(const char* name);为什么会出现这类函数呢是因为最初编写很多 CRT 函数时还没有多线程技术所以很多函数内部实现都使用了函数内部的静态变量和全局变量。随着多线程技术的出现很多函数出现了对应的多线程安全版本如localtime_r、strtok_r。在这些函数内部很多改用了线程局部存储技术来替代原来使用静态变量或者全局变量的做法。