C2301

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

Category: Required

Decidability: Undecidable

说明

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

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

登录查看完整文章