[expr.cond] (original) (raw)

7 Expressions [expr]

7.6 Compound expressions [expr.compound]

7.6.16 Conditional operator [expr.cond]

Conditional expressions group right-to-left.

The first expression is contextually converted to bool ([conv]).

It is evaluated and if it is true, the result of the conditional expression is the value of the second expression, otherwise that of the third expression.

Only one of the second and third expressions is evaluated.

The first expression is sequenced before the second or third expression ([intro.execution]).

If either the second or the third operand has type void, one of the following shall hold:

Otherwise, if the second and third operand are glvalue bit-fields of the same value category and of types cv1 T and cv2 T, respectively, the operands are considered to be of type cv Tfor the remainder of this subclause, where cv is the union of cv1 and cv2.

Otherwise, if the second and third operand have different types and either has (possibly cv-qualified) class type, or if both are glvalues of the same value category and the same type except for cv-qualification, an attempt is made to form an implicit conversion sequence from each of those operands to the type of the other.

[Note 2:

Properties such as access, whether an operand is a bit-field, or whether a conversion function is deleted are ignored for that determination.

— _end note_]

Attempts are made to form an implicit conversion sequence from an operand expression E1 of type T1to a target type related to the type T2of the operand expression E2 as follows:

Using this process, it is determined whether an implicit conversion sequence can be formed from the second operand to the target type determined for the third operand, and vice versa, with the following outcome:

If the second and third operands are glvalues of the same value category and have the same type, the result is of that type and value category and it is a bit-field if the second or the third operand is a bit-field, or if both are bit-fields.

Otherwise, the result is a prvalue.

If the second and third operands do not have the same type, and either has (possibly cv-qualified) class type, overload resolution is used to determine the conversions (if any) to be applied to the operands ([over.match.oper], [over.built]).

If the overload resolution fails, the program is ill-formed.

Otherwise, the conversions thus determined are applied, and the converted operands are used in place of the original operands for the remainder of this subclause.

After those conversions, one of the following shall hold: