12.3.3.13 Try-catch statements

最新推荐文章于 2023-08-10 10:57:50 发布

原创最新推荐文章于 2023-08-10 10:57:50 发布 · 1.1k 阅读

0 ·

CC 4.0 BY-SA版权

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

333 篇文章

订阅专栏

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

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).