The content focuses on lock statements in the form of 'lock (expr) embedded - statement'. It details the definite assignment state of variable v at the beginning of expr, which is the same as at the beginning of stmt, and on the control - flow transfer to embedded - statement, which is the same as at the end of expr.
12.3.3.18 Lock statements
For a lock statement stmt of the form:
lock (expr) embedded-statement
?The definite assignment state of v at the beginning of expr is the same as
the state of v at the
beginning of stmt.
?The definite assignment state of v on the control flow transfer to
embedded-statement is the same as
the state of v at the end of expr.
For a lock statement stmt of the form:
lock (expr) embedded-statement
?The definite assignment state of v at the beginning of expr is the same as
the state of v at the
beginning of stmt.
?The definite assignment state of v on the control flow transfer to
embedded-statement is the same as
the state of v at the end of expr.
扫一扫
2138
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
