Windows平台下同一printf中调用不同errnum的strerror()出现异常的原因及解决方案

问题背景 #

在Windows系统中，当在同一个printf()函数内用不同的errnum两次调用strerror()时，会出现返回结果相同的异常情况，而同样的代码在Linux+GCC环境下运行完全正常。以下是复现该问题的测试代码及输出：

测试代码

#include <stdio.h>
#include <string.h>
#include <errno.h>

int main() {
    printf("---------- print separately [OK] ----------\n");
    printf("strerror(1)=(%s), ptr=(%p)\n", strerror(1), strerror(1));
    printf("strerror(2)=(%s), ptr=(%p)\n", strerror(2), strerror(2));
    printf("---------- print together [BUG] ----------\n");
    printf("strerror(1)=(%s), strerror(2)=(%s)\n", strerror(1), strerror(2));
    printf("ptr_1=(%p), ptr_2=(%p)\n", strerror(1), strerror(2));
    printf("---------- print together, get pointers separately [BUG] ----------\n");
    const char * s1 = strerror(1);
    const char * s2 = strerror(2);
    printf("strerror(1)=(%s), strerror(2)=(%s)\n", s1, s2);
    printf("ptr_1=(%p), ptr_2=(%p)\n", s1, s2);
    printf("---------- --------------------------- ----------\n");
    return 0;
}

Windows环境运行输出

---------- print separately [OK] ----------
strerror(1)=(Operation not permitted), ptr=(000002756DE6BD90)
strerror(2)=(No such file or directory), ptr=(000002756DE6BD90)
---------- print together [BUG] ----------
strerror(1)=(Operation not permitted), strerror(2)=(Operation not permitted)
ptr_1=(000002756DE6BD90), ptr_2=(000002756DE6BD90)
---------- print together, get pointers separately [BUG] ----------
strerror(1)=(No such file or directory), strerror(2)=(No such file or directory)
ptr_1=(000002756DE6BD90), ptr_2=(000002756DE6BD90)
---------- --------------------------- ----------

核心原因分析 #

Windows平台的strerror()实现使用了单个静态全局缓冲区：每次调用该函数时，都会把对应错误码的消息写入这个缓冲区，然后返回指向它的指针。这就导致了几种异常场景：

• 分开调用printf()时，每次strerror()写入缓冲区后，printf()会立即输出内容，后续的strerror()覆盖缓冲区不会影响已经输出的结果，所以表现正常。
• 在同一个printf()中调用两次strerror()时，函数参数的求值顺序通常是从右到左，后执行的strerror()会覆盖缓冲区内容，而两个%s都指向同一个缓冲区，最终显示的是最后一次调用的结果。
• 先获取两个指针再调用printf()时，第二次调用strerror(2)直接覆盖了第一次的内容，两个指针指向的都是被覆盖后的缓冲区，所以显示结果完全相同。

常见疑问解答 #

Q：该行为是否属于BUG？

A：不属于。C标准并没有规定strerror()返回的缓冲区必须是独立的，仅要求它能完成错误码到消息字符串的映射。Windows的实现完全符合标准，只是和Linux平台的实现（通常使用线程局部存储的缓冲区，避免单次调用内的覆盖）行为存在差异而已。

Q：是否存在可替代strerror()且表现与Linux平台一致的更优API？

A：有，推荐使用strerror_s。这是C11标准引入的安全函数，它要求你提供自己的缓冲区来存储错误消息，从根本上避免了静态缓冲区被覆盖的问题。同时，Linux和Windows平台都支持strerror_s，行为一致，代码可移植性更强。

示例用法：

#include <stdio.h>
#include <string.h>
#include <errno.h>

int main() {
    char buf1[1024], buf2[1024];
    strerror_s(buf1, sizeof(buf1), 1);
    strerror_s(buf2, sizeof(buf2), 2);
    printf("strerror_s(1)=(%s), strerror_s(2)=(%s)\n", buf1, buf2);
    return 0;
}

这样无论在哪个平台运行，都能正确输出两个不同的错误消息，不会出现覆盖问题。

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