Skip to main content

C2304​

必须尽量减少运行时错误​

Category: Required

Decidability: Undecidable

依据​

C语言提供的内置运行时检查十分有限。这样能够生成简洁快速的可执行代码,但把运行时检查的负担放在了程序员身上。为达到理想的稳健性水平(robustness),程序员必须认真考虑要不要在有可能发生运行错误的地方添加动态检查。

表达式求值时,有时可以证明操作数的值排除了发生运行错误的可能性。在这种情况下,只要记录下支持省略动态检查的理由,就不需要进行检查。每条记录都应该包括该理由所依赖的假设。可以在随后修改代码时应用这些信息,以确保依据仍然有效。

登录查看完整文章