12.3.3.5 If statements

最新推荐文章于 2025-08-11 17:00:03 发布

原创最新推荐文章于 2025-08-11 17:00:03 发布 · 815 阅读

0 ·

CC 4.0 BY-SA版权

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

333 篇文章

订阅专栏

博客围绕if语句展开，阐述了变量v在if语句不同部分的确定赋值状态。包括在表达式开始时的状态，表达式结束后不同情况（如确定赋值、特定表达式后确定赋值等）下，变量v在then - stmt、else - stmt及语句终点的赋值状态。

12.3.3.5 If statements
For an if statement stmt of the form:
if (expr) then-stmt else else-stmt
?v has the same definite assignment state at the beginning of expr as at
the beginning of stmt.
?If v is definitely assigned at the end of expr, then it is definitely
assigned on the control flow transfer
to then-stmt and to either else-stmt or to the end-point of stmt if there
is no else clause.
?If v has the state .definitely assigned after true expression. at the end
of expr, then it is definitely
assigned on the control flow transfer to then-stmt, and not definitely
assigned on the control flow
transfer to either else-stmt or to the end-point of stmt if there is no
else clause.
?If v has the state .definitely assigned after false expression. at the
end of expr, then it is definitely
assigned on the control flow transfer to else-stmt, and not definitely
assigned on the control flow
transfer to then-stmt. It is definitely assigned at the end-point of stmt
if and only if it is definitely
assigned at the end-point of then-stmt.
?Otherwise, v is considered not definitely assigned on the control flow
transfer to either the then-stmt
or else-stmt, or to the end-point of stmt if there is no else clause.