«1. Обзор
В этой статье мы рассмотрим оператор Diamond в Java и то, как дженерики и API коллекций повлияли на его эволюцию.
2. Необработанные типы
До Java 1.5 API коллекций поддерживал только необработанные типы — не было способа параметризации аргументов типа при создании коллекции: быть добавлены и привести к потенциальным исключениям приведения во время выполнения.
List cars = new ArrayList();
cars.add(new Object());
cars.add("car");
cars.add(new Integer(1));
3. Обобщения
В Java 1.5 были введены обобщения, которые позволили нам параметризовать аргументы типа для классов, в том числе в API коллекций, при объявлении и создании объектов:
~~ ~ На этом этапе мы должны указать параметризованный тип в конструкторе, который может быть несколько нечитаемым:
List<String> cars = new ArrayList<String>();
Причина такого подхода в том, что исходные типы все еще существуют для обратной совместимости, поэтому компилятору необходимо чтобы различать эти необработанные типы и дженерики:
Map<String, List<Map<String, Map<String, Integer>>>> cars
= new HashMap<String, List<Map<String, Map<String, Integer>>>>();
Несмотря на то, что компилятор по-прежнему позволяет нам использовать необработанные типы в конструкторе, он выдаст предупреждающее сообщение:
List<String> generics = new ArrayList<String>();
List<String> raws = new ArrayList();
4. Алмазный оператор ~ ~~ Алмазный оператор, представленный в Java 1.7, добавляет вывод типа и уменьшает количество детализации в присваиваниях — при использовании дженериков:
ArrayList is a raw type. References to generic type ArrayList<E> should be parameterized
Функция вывода типа компилятора Java 1.7 определяет наиболее подходящий конструктор объявление, соответствующее вызову.
Рассмотрим следующий интерфейс и иерархию классов для работы с транспортными средствами и двигателями:
List<String> cars = new ArrayList<>();
Давайте создадим новый экземпляр Car, используя оператор алмаза:
Внутри компилятор знает, что Diesel реализует интерфейс Engine, а затем может определить подходящий конструктор, выведя тип.
public interface Engine { }
public class Diesel implements Engine { }
public interface Vehicle<T extends Engine> { }
public class Car<T extends Engine> implements Vehicle<T> { }
5. Заключение
Car<Diesel> myCar = new Car<>();
Проще говоря, алмазный оператор добавляет компилятору возможность вывода типов и уменьшает многословие в присваиваниях, представленных дженериками.
Некоторые примеры этого руководства можно найти в проекте GitHub, так что не стесняйтесь загружать его и играть с ним.
«
Some examples of this tutorial can be found on the GitHub project, so feel free to download it and play with it.