printf(str)与fwrite输出字符串是否存在可观测差异及编译器优化问题

你观察到的printf("test2")未被优化、而fprintf(stdout, "test3")被优化为fwrite的现象，是当前GCC、Clang等主流编译器的普遍实现行为，具体原因如下：

核心结论 #

从C11及更新版本的C标准语义来看，只要满足两个前提：

• printf的格式参数是不包含任何格式说明符的静态字符串
• 代码不使用printf的返回值
  那么无结尾换行的printf调用与等价的fwrite调用没有任何语义差异，编译器完全可以做这个优化。目前主流编译器没有实现这个优化，属于遗漏的优化项，而非标准限制。

具体原因说明 #

1. 历史路径依赖
   printf的优化逻辑最早只覆盖了格式串以换行结尾的场景，直接替换为更轻量的puts调用，收益极高。而fprintf转fwrite的优化是后续针对fprintf系列函数单独新增的逻辑，没有同步覆盖到printf的无换行无格式串场景。
2. 收益优先级较低
   实际开发中，不带换行的无格式printf使用占比远低于带换行的场景，且fwrite相比无格式printf的性能提升幅度，远小于puts相比带换行printf的提升幅度，因此编译器开发者没有将该优化纳入高优先级迭代队列。

补充说明 #

如果代码使用printf的返回值，二者确实存在差异：

• C标准规定printf成功时返回写入的字符数，类型为signed int
• fwrite成功时返回成功写入的元素个数，类型为size_t（无符号整数）
  当输出字符串长度超过INT_MAX时，二者返回值会有差异，但只要代码不使用返回值，该差异不会影响程序行为。

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