Page History

...

The conditional operator is syntactically right-associative. For instance a?b:c?d:e?f:g is equivalent to a?b:(c?d:(e?f:g)).

Format:

ConditionalExpression:
ConditionalOrExpression
ConditionalOrExpression ? Expression : ConditionalExpressionThe general form of a Java conditional expression is operand1 ? operand2 : operand3.

• If the value of the first operand (operand1) is true, then the second operand expression (operand2) is chosen
• If the value of the first operand is false, then the third operand expression (operand3) is chosen

The rules that define the resultant type The rules used by a Java compiler to determine the type of the result of a conditional expression are quite complicated and may result in unexpected type conversions. The rules used to determine the result type of a conditional expression are given in the following table, where the first matchmatching rule, starting from the top, is used. In the table, * refers to constant expressions of type int (such as '0' or variables declared final), Operand 2 refers to operand2 in the general form of a Java conditional given above, and Operand 3 refers to operand3:

...

This noncompliant example prints A65 A6565 instead of AA AAA.

• The first print statement prints the value of alpha as A, which is of the char type. The third operand '0', is a constant expression of type int whose value can be represented as a char and hence does not cause any numeric promotion.
• The second statement

...

• prints 65, the integer equivalent of A. This is because of numeric promotion of the

...

• second operand alpha to an int which happens

...

• because the third operand, the constant expression '12345', is an int that cannot be represented as a char.
• The third statement also prints 65. This is because of numeric promotion of the third operand alpha to an int, which happens because the second operand, variable i, is an int.

public class Expr {
  public static void main(String[] args) {
    char alpha = 'A';
    int i = 0;
    System.out.print(true  ? alpha  : 0);
    System.out.print(true  ? alpha  : 12345);
    System.out.print(false ? i : alpha);
  }
}

Compliant Solution

...

public class Expr {
  public static void main(String[] args) {
    char alpha = 'A';
    char i = 0;        //declare as char
    System.out.print(true  ? alpha  : 0);
    System.out.print(false ? i : alpha);
  }
}

Exceptions

EXP00: It is permissible to use operands of different types when the offending type is declared final. Consequently, it turns into a constant expression and numeric promotion does not occur.

public class Expr {
  public static void main(String[] args) {// Cast alpha as an int to explicitly state that the type of the 
    char// alphaconditional = 'A';
    final int i = 0;expression should be int.
    System.out.print(true  ? ((int) alpha)  : 012345);
    System.out.print(false ? i : alpha);
  }
}

Note that while casting 12345 to type char would ensure that both operands in the second nonconforming conditional expression have the same type, it would result in data loss when 12345 is converted to a char. Therefore the conforming example casts alpha to int, the wider of the operand types.

Risk Assessment

If the types of the second and third operands in a conditional expression are not the same then the result of the conditional expression may be unexpected.

...