Skip to main content

C2301

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

Category: Required

Decidability: Undecidable

说明

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

  • 被认为可能引起不符合预期的程序操作,并且
登录查看完整文章