12.3.3.25 ! expressions

最新推荐文章于 2021-01-18 22:28:07 发布

原创最新推荐文章于 2021-01-18 22:28:07 发布 · 836 阅读

0 ·

CC 4.0 BY-SA版权

c#/c++ 专栏收录该内容

333 篇文章

订阅专栏

博客围绕!表达式展开，阐述了对于! expr形式的表达式，expr - operand前变量v的确定赋值状态与expr前相同，同时详细说明了expr后变量v的确定赋值状态根据expr - operand后v的不同状态而有所不同。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

12.3.3.25 ! expressions
For an expression expr of the form ! expr-operand:
?The definite assignment state of v before expr-operand is the same as the
definite assignment state
of v before expr.
?The definite assignment state of v after expr is determined by:
o If the state of v after expr-operand is definitely assigned, then the
state of v after expr is
definitely assigned.
o If the state of v after expr-operand is not definitely assigned, then the
state of v after expr is
not definitely assigned.
o If the state of v after expr-operand is .definitely assigned after false
expression., then the
state of v after expr is .definitely assigned after true expression..
o If the state of v after expr-operand is .definitely assigned after true
expression., then the
state of v after expr is .definitely assigned after false expression..