C2301

如果程序的输出取决于某实现定义的行为，则必须记录并理解该行为

Category: Required

Decidability: Undecidable

说明

C4304中列出了符合如下描述的实现定义的行为：

• 被认为可能引起不符合预期的程序操作，并且

登录查看完整文章