博客围绕简单赋值表达式 w = expr - rhs 展开，阐述了变量 v 在 expr - rhs 之前的确定赋值状态与在 expr 之前相同。若 w 与 v 为同一变量，expr 后 v 确定已赋值；否则，expr 后 v 的确定赋值状态与 expr - rhs 后相同。
12.3.3.22 Simple assignment expressions
For an expression expr of the form w = expr-rhs:
?The definite assignment state of v before expr-rhs is the same as the
definite assignment state of v
before expr.
?If w is the same variable as v, then the definite assignment state of v
after expr is definitely assigned.
Otherwise, the definite assignment state of v after expr is the same as the
definite assignment state of
v after expr-rhs.
For an expression expr of the form w = expr-rhs:
?The definite assignment state of v before expr-rhs is the same as the
definite assignment state of v
before expr.
?If w is the same variable as v, then the definite assignment state of v
after expr is definitely assigned.
Otherwise, the definite assignment state of v after expr is the same as the
definite assignment state of
v after expr-rhs.
扫一扫
920
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
