12.3.3.14 Try-finally statements

王朝other·作者佚名  2006-01-10
窄屏简体版  字體: |||超大  

12.3.3.14 Try-finally statements

For a try statement stmt of the form:

try try-block finally finally-block

Chapter 12 Variables

107

?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 finally-block 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)

either:

o v is definitely assigned at the end-point of try-block

o v is definitely assigned at the end-point of finally-block

If a control flow transfer (such as a goto statement) is made that begins

within try-block, and ends outside

of try-block, then v is also considered definitely assigned on that control

flow transfer if v is definitely

assigned at the end-point of finally-block. (This is not an only if.if v is

definitely assigned for another

reason on this control flow transfer, then it is still considered

definitely assigned.)

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有  導航