Тернарный оператор в Java

Тернарный оператор ?: (в спецификации Java он называется условным оператором, conditional operator) — единственный оператор языка с тремя операндами, отсюда и название «тернарный». Он выбирает одно из двух значений в зависимости от условия и часто используется вместо короткого оператора if-else. Главное отличие: тернарный оператор — это выражение, то есть он возвращает значение, которое можно сразу присвоить переменной, передать в метод или вернуть из метода.

Синтаксис тернарного оператора

Общая форма тернарного оператора:

условие ? выражение1 : выражение2

Условие — любое выражение, вычисление которого даёт логическое значение типа boolean (например, сравнение или комбинация логических операторов).

Если условие истинно (true), вычисляется выражение1 и его значение становится результатом всей операции; в противном случае вычисляется выражение2. Важно: вычисляется только одна из двух ветвей — вторая не выполняется вовсе.

Выражение1 и выражение2 должны возвращать значения одинакового или совместимого типа, и этим типом не может быть void.

Пример использования

Классический пример — получение абсолютного значения числа: если i отрицательно, берём -i, иначе само i:

public class TernaryOperationExample1 {
    public static void main(String[] args) {
        int i, k;
        i = -10;
        k = i < 0 ? -i : i; // абсолютное значение переменной i
        System.out.print("Абсолютное значение ");
        System.out.println(i + " равно " + k); // Абсолютное значение -10 равно 10
    }
}

Тот же результат с if-else занял бы четыре строки. Ещё несколько типичных применений — в аргументе метода и в return:

int a = 7, b = 12;
System.out.println(a > b ? "a больше" : "b больше или равно"); // в аргументе метода

int max(int x, int y) {
    return x > y ? x : y; // в операторе return
}

Тернарный оператор или if-else: что выбрать

Тернарный оператор и if-else не взаимозаменяемы полностью — у каждого своя область применения:

Вложенные тернарные операторы

Ветвью тернарного оператора может быть другой тернарный оператор. Оператор правоассоциативен: выражение a ? b : c ? d : e вычисляется как a ? b : (c ? d : e), поэтому цепочка без скобок читается сверху вниз, как if-else if:

public class NestedTernaryExample {
    public static void main(String[] args) {
        int score = 74;
        String grade = score >= 90 ? "отлично"
                     : score >= 70 ? "хорошо"
                     : score >= 50 ? "удовлетворительно"
                     : "неудовлетворительно";
        System.out.println(grade); // хорошо
    }
}

Один уровень вложенности с таким «лесенкой»-форматированием ещё допустим, но более глубокие или расставленные в произвольном порядке вложенные тернарники быстро превращаются в головоломку. Начиная с Java 14 для выбора из нескольких вариантов удобнее switch-выражение, которое, как и тернарный оператор, возвращает значение:

String size = switch (code) {
    case 1 -> "S";
    case 2 -> "M";
    default -> "L";
};

Типичные ловушки

Две особенности тернарного оператора регулярно встречаются в вопросах на собеседованиях.

1. Числовое расширение типов (numeric promotion). Если ветви имеют разные числовые типы, результат приводится к общему типу до выбора ветви:

Object result = true ? 1 : 2.0;
System.out.println(result); // 1.0, а не 1!

Хотя условие истинно и выбрана ветвь 1, типом всего выражения является double (общий тип для int и double), поэтому 1 превращается в 1.0.

2. NullPointerException при автораспаковке. Если одна ветвь имеет тип-обёртку (Integer), а другая — примитив (int), типом выражения становится примитив, и обёртка автоматически распаковывается. Если в ней null — программа падает:

Integer count = null;
boolean flag = true;
int r = flag ? count : 0; // NullPointerException: count распаковывается в int

Стиль и читаемость

Несколько практических рекомендаций:

• Используйте тернарный оператор для коротких выборов одного из двух значений; как только выражение перестаёт помещаться в одну строку и читаться с первого взгляда — переходите на if-else.
• Избегайте побочных эффектов в ветвях (вызовов методов, меняющих состояние): читающий код ожидает от тернарного оператора простого выбора значения.
• Не вкладывайте тернарные операторы глубже одного уровня; для цепочек условий берите if-else if или switch-выражение.
• При сомнениях в приоритете операторов заключайте условие в скобки: (a > b) ? a : b — это ничего не меняет для компилятора, но помогает читателю.

Презентацию с видео можно скачать на Patreon.