为何用printf改写《Effective C》的Hello World程序仍可运行？

你在正常环境下运行替换printf后的程序没有问题，是因为标准输出(stdout)未出现写入错误，此时printf和puts都能成功返回，错误处理逻辑不会触发。书中提到的“无法正常工作”，本质是二者返回值的语义差异会导致错误处理逻辑失效，或在特定错误场景下表现不符合预期，具体分为以下几种情况：

1. 错误判断逻辑的兼容性问题 #

假设书中的修订版代码包含基于puts返回值的错误处理，比如：

#include <stdio.h>
#include <stdlib.h>

int main(void) {
    // puts出错返回EOF（负整数），成功返回非负整数
    if (puts("Hello, world!") == EOF) {
        perror("Output failed");
        exit(EXIT_FAILURE);
    }
    return EXIT_SUCCESS;
}

如果直接替换为printf，这段代码的错误判断逻辑本身是成立的，但如果代码中错误地将返回值判断写成**“非0即成功”的反向逻辑**（比如初学者容易写错的if (!puts(...))），虽然对puts来说，成功返回非0、出错返回EOF（负，!EOF为真）逻辑成立；但如果有人误以为printf成功返回0，写成if (printf(...) == 0)，就会永远触发错误分支，导致程序无法正常执行。

2. 依赖返回值数值的逻辑失效 #

puts会自动在输出末尾添加换行符，因此成功返回的是包含换行符的字符总数（比如"Hello, world!"用puts返回13）；而printf如果没有显式添加\n，返回的是不包含换行符的字符数（即12）。如果原代码中有依赖这个返回值数值的逻辑（比如验证写入字符数是否符合预期），替换成printf后，数值不匹配会触发错误处理分支，表现为程序“无法正常工作”。

3. 程序退出状态异常 #

如果原代码直接将puts的返回值作为main函数的返回值：

#include <stdio.h>

int main(void) {
    return puts("Hello, world!");
}

puts成功返回正整数（如13），这会导致main返回非0值，在操作系统中被视为异常退出状态（通常0表示程序执行成功）；替换成printf后，返回值是12，同样会导致异常退出码——虽然输出内容正常，但程序的退出状态不符合预期。

只有当你模拟标准输出写入错误的场景（比如将输出重定向到已满的磁盘，或关闭stdout后调用输出函数），才能看到程序的错误处理逻辑出现问题，或者返回值不符合预期的情况。

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