12.3.3.8 Do statements

最新推荐文章于 2022-03-12 21:59:46 发布

masterall

最新推荐文章于 2022-03-12 21:59:46 发布

阅读量882

点赞数

分类专栏： c#/c++

本文链接：https://blog.csdn.net/masterall/article/details/546641

版权

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

333 篇文章 0 订阅

订阅专栏

12.3.3.8 Do statements
For a do statement stmt of the form:
do do-body while (expr);
?v has the same definite assignment state on the control flow transfer from
the beginning of stmt to
do-body as at the beginning of stmt.
?v has the same definite assignment state at the beginning of expr as at
the end point of do-body.
?If v is definitely assigned at the end of expr, then it is definitely
assigned on the control flow transfer
to the end point of stmt.
?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 the end point of stmt.