ungetc：推回的字节数

Question

ungetc 仅保证接受一个字节的推回。另一方面，我在 Windows 和 Linux 上测试了它，它似乎可以使用两个字节。

是否有任何平台（例如任何当前的 Unix 系统）实际上只占用一个字节？

Answer 1

C99标准（以及之前的C89标准）明确表示：

保证一个字符的推回。如果 ungetc 函数调用次数过多
同一流上的时间，无需干预读取或文件定位操作
流，操作可能会失败。

因此，为了便于移植，您不应假设有多个推回特征。

话虽如此，在 MacOS X 10.7.2 (Lion) 和 RHEL 5 (Linux, x86/64) 上，我尝试过：

#include <stdio.h>
int main(void)
{
    int i;
    for (i = 0; i < 4096; i++)
    {
        int c = i % 16 + 64;
        if (ungetc(c, stdin) != c)
        {
            fprintf(stderr, "Error at count = %d\n", i);
            return(1);
        }
    }
    printf("No error up to count = %d\n", i-1);
    return(0);
}

在这两个平台上都没有出现错误。相比之下，在 Solaris 10 (SPARC) 上，我在“count = 4”处收到错误，在 Solaris 11.3 上也是如此。更糟糕的是，在 HP-UX 11.00 (PA-RISC)、HP-UX 11.23 (Itanium) 和 HP-UX 11.31 (Itanium) 上，我在“count = 1”处收到错误 - 违背了 2 是安全的理论。同样，AIX 6.0（和 7.2）在“count = 1”处给出错误。

摘要

• Linux：big (4 KiB)
• MacOS X：big (4 KiB)
• Solaris：4
• HP-UX：1
• AIX：1

因此，AIX 和 HP-UX 只允许在没有任何数据的输入文件上推回一个字符继续阅读。这是一个令人厌恶的案例；一旦从文件中读取了一些数据，它们可能会提供更多的推回能力（但在 AIX 上进行的简单测试，在循环之前添加 getchar() 不会改变推回能力）。

2023 年 12 月，上述程序在使用 MSVC 19.15.26730 for x64 的 Windows Server 2016 Standard 上计数 = 1 时失败。这与 rwallace 发现的不同。

Answer 2

支持 2 个推回字符的实现可能会这样做，以便 scanf 可以使用 ungetc 进行推回，而不需要第二个几乎相同的机制。对于应用程序程序员来说，这意味着即使调用 ungetc 两次似乎可行，但它可能并不在所有情况下都可靠 - 例如，如果流上的最后一个操作是 fscanf 并且它必须使用推回，您可能只能使用 ungetc 一个字符。

无论如何，依赖于超过一个字符的 ungetc 推回是不可移植的，所以我强烈建议不要编写需要它的代码......

Answer 3

这里有一些帖子建议为了 scanf 支持 2 个字符是有意义的。

我认为这是不对的： scanf 只需要一个，这确实是限制的原因。最初的实现（早在 70 年代中期）支持 100，并且手册中有一个注释：将来我们可能决定仅支持 1，因为这就是 scanf 所需要的。 参见原始手册的第 3 页（可能不是原始的，但相当老了。）

为了更生动地看到 scanf 仅需要 1 个字符，请考虑 scanf 的 %u 功能的代码。

int c;
while isspace(c=getc()) {} // skip white space
unsigned num = 0;
while isdigit(c)
    num = num*10 + c-'0',
    c = getc();
ungetc(c);

这里只需要对 ungetc() 进行一次调用。 scanf 没有理由需要一个单独的字符：它可以与用户共享。