Skip to main content

C1605

采用不同的求值顺序时(只要允许采用该顺序),表达式的值和表达式的持续的副作用不得发生改变

Category: Required

Decidability: Undecidable

Scope: System

说明

在任何两个顺序点之间或在任意完整表达式内:

登录查看完整文章