博客介绍了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).
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).
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
