C1605

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

Category: Required

Decidability: Undecidable

Scope: System

说明

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

登录查看完整文章