12.3.3.26 ?: expressions
For an expression expr of the form expr-cond ? expr-true : expr-false:
?The definite assignment state of v before expr-cond is the same as the
state of v before expr.
?The definite assignment state of v before expr-true is definitely
assigned if and only if the state of v
after expr-cond is definitely assigned or .definitely assigned after true
expression..
?The definite assignment state of v before expr-false is definitely
assigned if and only if the state of v
after expr-cond is definitely assigned or .definitely assigned after false
expression..
For an expression expr of the form expr-cond ? expr-true : expr-false:
?The definite assignment state of v before expr-cond is the same as the
state of v before expr.
?The definite assignment state of v before expr-true is definitely
assigned if and only if the state of v
after expr-cond is definitely assigned or .definitely assigned after true
expression..
?The definite assignment state of v before expr-false is definitely
assigned if and only if the state of v
after expr-cond is definitely assigned or .definitely assigned after false
expression..