C 标准库角落案例

Question

以下程序是有效的 C 程序吗？

#include <stdio.h>

int main()
{
    fwrite("x", 1, 1, stderr);
    fflush(stderr);
    fgetc(stderr);
    fwrite("y", 1, 1, stderr);
    return 0;
}

请注意，我尝试从 stderr 读取。

当我在 Visual C++ 2008 中编译它并运行它时，我得到以下输出：

xy

这是有道理的。但是，当我将 stderr 重定向到文件 (test.exe 2> foo.txt) 时，我得到一个 “调试断言失败”窗口，显示消息：“流计数不一致。连续读取和写入之间刷新”。在读取和写入之间添加 fflush 确实可以解决问题。 （这发生在调试版本中。在发布版本中，第二次写入会默默失败）。

此行为是否正确，或者这是编译器库错误？我在任何地方都找不到任何描述 C 中读或写何时非法的规则。

Answer 1

C99 在 7.19.5.3 (fopen) 第 6 段中说：

当使用更新模式打开文件时（'+' 作为上面 mode 参数值列表中的第二个或第三个字符），输入和输出都可能在关联的流上执行。但是，如果没有对 fflush 函数的中间调用，输出后面不应直接跟输入，并且在没有对文件定位函数的中间调用的情况下，输入后面不应直接跟输出，除非输入操作遇到文件结尾。

恭喜您在实践中发现了这个极端情况。库的实现是完全正确的，因为您违反了上面引用的shall。

顺便说一下，从 stderr 读取数据并不罕见。当 stdin 和 stdout 被重定向且没有可用终端时，这非常有用。虽然 C99 不保证它是可读的，但我记得在类似 POSIX 的系统上的一些情况实际上已经这样做了。