C最低标准要求

Question

来自C标准ISO/IEC 9899:201x 5.1.2.3 P6:

符合要求的实现的最低要求是：

• 对易失性对象的访问严格按照抽象机器的规则进行评估。
• 在程序终止时，写入文件的所有数据应与根据抽象语义执行程序所产生的结果相同。
• 交互设备的输入和输出动态应按照7.21.3的规定进行。这些要求的目的是使无缓冲或行缓冲输出尽快出现，以确保提示消息在程序等待输入之前实际出现。

Answer 1

>

是的，C实现（不仅仅是编译器--标准库、链接和运行时支持，和/或用于实现C的任何其他东西都包括在内），它产生的可观察行为¹与符合抽象机器符合的行为相同。标准中的所有其他要求和段落都不仅仅是额外的。它们定义了抽象机器的行为，因此它们有助于描述可观察的行为必须是什么。

是的，一个没有可观察行为的程序可能被优化为一个仅仅返回的程序。注意，该标准实际上并不包括可观察行为中的退出状态，因此异或eax,eax在技术上是不需要的。然而，这很可能只是标准中的一个不经意的缺陷，而不是意图。

¹程序的行为并不是规范要求的唯一东西。实现还必须记录各种实现定义的行为，例如。因此，这个假设的C实现的行为与某个抽象机器相同，还必须包含所需的文档。