12.3.3.16 Foreach statements
For a foreach statement stmt of the form:
foreach (type identifier in expr) embedded-statement
?The definite assignment state of v at the beginning of expr is the same as
the state of v at the
beginning of stmt.
?The definite assignment state of v on the control flow transfer to
embedded-statement or to the end
point of stmt is the same as the state of v at the end of expr.
For a foreach statement stmt of the form:
foreach (type identifier in expr) embedded-statement
?The definite assignment state of v at the beginning of expr is the same as
the state of v at the
beginning of stmt.
?The definite assignment state of v on the control flow transfer to
embedded-statement or to the end
point of stmt is the same as the state of v at the end of expr.
博客介绍了foreach语句的形式为foreach (type identifier in expr) embedded - statement,并说明了变量v在expr开始时的确定赋值状态与在stmt开始时相同,在控制流转移到embedded - statement或stmt结束点时,v的确定赋值状态与expr结束时相同。

被折叠的 条评论
为什么被折叠?



