Java: руководство для начинающих (ЛП)

class TwoGencT, V> { Т obi; V ob2; // передать конструктору ссылку на объект типа Т. TwoGen(Т о1, V о2) { obi = ol; оb2 = о2; } // ... } До появления версии JDK 7 для создания экземпляра класса TwoGen приходилось прибегать к оператору присваивания, аналогичному приведенному ниже.

TwoGen tgOb = new TwoGencinteger, String>(42, "testing"); Здесь аргументы типа (в данном случае — Integer и String) указываются дважды: сначала при объявлении переменной tgOb, а затем при создании экземпляра класса TwoGen с помощью оператора new. Начиная с версии JDK 5, в которой были внедрены обобщения, подобная форма создания объектов обобщенного типа требовалась при написании всех программ на Java, вплоть до появления версии JDK 7. И хотя в этой форме, по существу, нет ничего ошибочного, все же она выглядит несколько многословной. Ведь в операторе new типы аргументов могут быть выведены без особого, труда, и поэтому нет никаких оснований указывать их еще раз. И для этой цели в версии JDK 7 внедрен специальный синтаксический элемент. В версии JDK 7 приведенное выше объявление может быть переписано следующим образом:

TwoGen tgOb = new TwoGen<>(42, "testing"); Как видите, в той части, где создается экземпляр объекта обобщенного типа, просто указываются угловые скобки (< >), обозначающие пустой список аргументов типа. Это так называемый ромбовидный оператор, предписывающий компилятору вывести типы аргументов, требующиеся конструктору в операторе new. Главное преимущество такого синтаксиса выведения типов состоит в том, что он позволяет сделать более краткими те операторы объявления, которые порой выглядят слишком длинными и громоздкими. Это оказывается особенно удобным для объявления обобщенных типов, определяющих границы наследования в иерархии классов Java. Приведенную выше форму объявления экземпляра класса можно обобщить. Для выведения типов служит следующая общая синтаксическая форма объявления обобщенной ссылки и создания экземпляра объекта обобщенного типа:

class-namе<аргументытипа> имяпеременной = new class-name< >(аргументы_конструктора) ; Здесь список аргументов типа в операторе new указывается пустым. В операторах объявления выведение типов может, как правило, применяться и при передаче параметров. Так, если объявить в классе TwoGen следующий метод:

boolean isSame(TwoGen о) { if(obi == о.obi && ob2 == o.ob2) return true; else return false; } то приведенный ниже вызов окажется вполне допустимым в версии JDK 7.