Статические обобщенные методы — Java: Дженерики

Дженериками могут быть не только классы и интерфейсы, но и статические методы. Как минимум один обобщенный статический метод нам уже известен:

// Реальный тип List<Integer>
var numbers = List.of(1, 2, 3, 4, 5, 6, 7, 8, 9, 10);

В отличие от обычных методов, статические методы не связаны с объектами классов, поэтому обобщенные статические методы существуют сами по себе, независимо от того, является ли класс дженериком или нет. При этом параметр типа у статических методов не указывается, так как он автоматически выводится на основе передаваемых данных. Из-за этого вызов обобщенных статических методов выглядит как вызов обычного метода. Разница же может проявляться тогда, когда вывод типа срабатывает не так, как нам бы того хотелось. В таком случае тип указывается в угловых скобках перед вызовом метода.

// Реальный тип List<Object>
var numbers = List.<Object>of(1, 2, 3, 4, 5, 6, 7, 8, 9, 10);

Подробнее о том, в каких случаях это нужно и как работает, мы поговорим в курсах, посвященных ООП.

Рассмотрим внутреннее устройство дженериков на примере статического метода identity(), который принимает на вход значение любого типа и возвращает его же наружу.

var value = App.identify("hexlet");
System.out.println(value); // hexlet

Его определение:

public class App {
    public static <T> T identify(T value) {
        return value;
    }
}

В определении метода произошло два изменения:

• Конкретные типы заменились на имя параметр типа
• После слова static добавился параметр типа в угловых скобках

Реальный пример

Добавим статический метод аналогичный List.of(), в дженерик для пар, созданный в прошлом уроке. Начнем с примера использования.

// Возвращает SimplePair
var pair = Pair.of("hexlet", 100);
pair.getLeft(); // hexlet
pair.getRight(); // 100

Pair в нашем случае является интерфейсом поэтому и статический метод мы добавим в него. Интерфейсы это позволяют. С другой стороны, внутри метода мы работаем с конкретной парой, поэтому сама пара будет строиться на основе класса SimplePair.

public interface Pair<L, R> {

    static <L, R> SimplePair<L, R> of(L left, R right) {
        var pair = new SimplePair<L, R>();
        pair.setLeft(left);
        pair.setRight(right);
        return pair;
    }

    public L getLeft();
    public R getRight();

    public void setLeft(L left);
    public void setRight(R right);
}

Определение может показаться запутанным, но со временем вы привыкните и сможете легко анализировать и писать такой код. Что здесь происходит:

• Добавлены параметры типа <L, R>. Несмотря на то, что эти параметры совпадают по именам с параметрами типа в определении интерфейса Pair<L, R>, между ними нет никакой связи. Мы могли бы назвать их по-другому, например <T1, T2>
• В качестве возвращаемого значения указан дженерик SimplePair<L, R>, в который передаются параметры типа <L, R>.
• В теле создается объект из дженерика SimplePair, с передачей параметров типа метода of(). Этот код выглядит как передача параметров метода, во внутренний вызов метода.

---

Остались вопросы? Задайте их в разделе «Обсуждение»

Вам ответят команда поддержки Хекслета или другие студенты

Об обучении на Хекслете

• Статья «Как учиться и справляться с негативными мыслями»
• Статья «Ловушки обучения»
• Статья «Сложные простые задачи по программированию»
• Вебинар «Как самостоятельно учиться»