12.3.3.5 If statements

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

12.3.3.5 If statements

For an if statement stmt of the form:

if (expr) then-stmt else else-stmt

?v has the same definite assignment state at the beginning of expr as at

the beginning of stmt.

?If v is definitely assigned at the end of expr, then it is definitely

assigned on the control flow transfer

to then-stmt and to either else-stmt or to the end-point of stmt if there

is no else clause.

?If v has the state .definitely assigned after true expression. at the end

of expr, then it is definitely

assigned on the control flow transfer to then-stmt, and not definitely

assigned on the control flow

transfer to either else-stmt or to the end-point of stmt if there is no

else clause.

?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 else-stmt, and not definitely

assigned on the control flow

transfer to then-stmt. It is definitely assigned at the end-point of stmt

if and only if it is definitely

assigned at the end-point of then-stmt.

?Otherwise, v is considered not definitely assigned on the control flow

transfer to either the then-stmt

or else-stmt, or to the end-point of stmt if there is no else clause.

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