Skip to main content

C1605

采用任意允许采用的求值顺序时,表达式的值和表达式的持续的副作用不得发生改变

Category: Required

Decidability: Undecidable

Scope: System

说明

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

登录查看完整文章