12.3.3.13 Try-catch statements

masterall

于 2005-12-09 20:40:00 发布

阅读量1k

点赞数

CC 4.0 BY-SA版权

分类专栏： c#/c++

本文链接：https://blog.youkuaiyun.com/masterall/article/details/548237

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

333 篇文章

订阅专栏

博客介绍了try-catch语句中变量的确定赋值状态。对于特定形式的try-catch语句，try块开始时变量v的赋值状态与语句开始时相同，每个catch块开始时v的赋值状态也如此。语句结束点v被确定赋值的条件是try块和所有catch块结束点v都被确定赋值。

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

12.3.3.13 Try-catch statements
For a statement stmt of the form:
try try-block
catch(.) catch-block-1
.
catch(.) catch-block-n
. The definite assignment state of v at the beginning of try-block is the
same as the definite
assignment state of v at the beginning of stmt.
. The definite assignment state of v at the beginning of catch-block-i (for
any i) is the same as the
definite assignment state of v at the beginning of stmt.
. The definite assignment state of v at the end-point of stmt is definitely
assigned if (and only if) v is
definitely assigned at the end-point of try-block and every catch-block-i
(for every i from 1 to n).