12.3.3.1 General rules for statements_kdb 789033 d02 general unii test procedures new ru-优快云博客

博客围绕C#语言中函数成员变量的确定赋值规则展开。介绍了变量在函数成员体开始、不可达语句开始时的赋值情况，还说明了在其他语句开始及块、if等语句结束点，变量的确定赋值状态由指向该位置的所有控制流转移情况决定。

12.3.3.1 General rules for statements
?v is not definitely assigned at the beginning of a function member body.
?v is definitely assigned at the beginning of any unreachable statement.
C# LANGUAGE SPECIFICATION
104
?The definite assignment state of v at the beginning of any other statement
is determined by checking
the definite assignment state of v on all control flow transfers that
target the beginning of that
statement. If (and only if) v is definitely assigned on all such control
flow transfers, then v is
definitely assigned at the beginning of the statement. The set of possible
control flow transfers is
determined in the same way as for checking statement reachability (?5.1).
?The definite assignment state of v at the end point of a block, checked,
unchecked, if, while,
do, for, foreach, lock, using, or switch statement is determined by
checking the definite
assignment state of v on all control flow transfers that target the end
point of that statement. If v is
definitely assigned on all such control flow transfers, then v is
definitely assigned at the end point of
the statement. Otherwise, v is not definitely assigned at the end point of
the statement. The set of
possible control flow transfers is determined in the same way as for
checking statement reachability