在C语言中，fputc函数何时会返回不等于其第一个参数的值

核心结论 #

表达式k == c || k == EOF并非恒为真，除你已知的两种场景外，其余符合规范的使用场景下该表达式恒成立，fputc不会主动替换你要写入的字符值。

1. 已知会返回不等值的两种场景 #

• 写入发生错误：此时fputc固定返回EOF，自然不等于输入参数c。
• 输入参数c满足(unsigned char)c != c：fputc会先把输入的c强制转换为unsigned char类型再写入，未出错时返回的是转换后的结果（再转换为int类型）。如果c本身是int类型的负数（且不等于EOF），或者值超过了UCHAR_MAX的范围，转换后的结果和原c值必然不等，就会出现k != c的情况。

2. 你关心的「字符不存在于执行字符集」场景下的结论 #

这种场景下**fputc不会做字符替换**，原因如下：

• 首先，fputc是面向字节的输出函数，它的功能是直接写入字节值，不会做任何语义层面的字符映射、替换操作。你提到的把美元符号替换成本地货币符号的逻辑，属于上层本地化工具（如strfmon）的功能，和fputc无关。
• 你举例的'\u0024'字符常量，如果美元符号不存在于当前的执行字符集，这个字符常量的值本身就是实现定义的，在编译阶段就已经确定了对应的字节值，你传给fputc的c本身就是这个编译后的值，fputc只会原样写入这个字节，返回值也必然和这个值一致。
• 补充文本模式流的特殊情况：文本模式下仅会对行结束符（如换行符）做实现定义的底层存储转换，fputc的返回值仍然是你传入的转换为unsigned char的c，不会出现返回值不等的情况；如果是二进制模式的流，所有字节都会原封不动写入，不存在任何转换。

额外补充 #

如果需要做跨字符集的安全输出，应该使用宽字符输出函数（如fputwc）搭配正确的区域设置，此时才会涉及执行宽字符集到外部文件编码的转换，转换过程中如果遇到无法表示的字符，才可能出现替换/报错的情况，这类情况不属于fputc的处理范畴。

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