Философия Java3

Эккель Брюс

Ограничения

Ограничения, уже упоминавшиеся ранее в этой главе, сужают круг параметров типов, используемых при параметризации. Хотя это позволяет предъявлять требования к типам, к которым применяется ваш параметризованный код, у ограничений имеется и другой, потенциально более важный эффект: возможность вызова методов, определенных в ограничивающих типах.

Поскольку стирание уничтожает информацию о типе, при отсутствии ограничений для параметров типов могут вызываться только методы Object.

Но, если ограничить параметр подмножеством типов, вы сможете вызвать методы из этого подмножества. Для установления ограничений в Java используется ключевое слово extends. Важно понимать, что в контексте параметризации extends имеет совершенно иной смысл, нежели в обычной ситуации. Следующий пример демонстрирует основы установления ограничений:

//: generics/BasicBounds.java

interface HasColor { java. awt. Col or getColorO; }

class Colored<T extends HasColor> { T item:

Colored(T item) { this.item = item; }

T getltemO { return item; }

// Ограничение позволяет вызвать метод:

java. awt. Col or colore) { return item.getColorO; }

}

class Dimension { public int x, y. z; }

// Не работает -- сначала класс, потом интерфейсы: // class ColoredDimensiол<Т extends HasColor & Dimension> {

// Несколько ограничений-

class ColoredDimension<T extends Dimension & HasColor> { T item:

ColoredDimension(T item) { this.item = item, }

T getltemO { return item, }

java. awt. Col or colorO { return item getColorO; }

int getXO { return item.x; }

int getYO { return item.у, }

int getZO { return item z; }

}

interface Weight { int weightO; }

// Как и при наследовании, конкретный класс может быть только один, // а интерфейсов может быть несколько: class Solid<T extends Dimension & HasColor & Weight> { T item;

Solid(T item) { this.item = item. }

T get ItemО { return item; }

java.awt Color col orО { return item.getColor; }

int getXO { return item x; }

int getYO { return item у; }

int getZO { return item.z; }

int weightO { return item, weight О; }

}

class Bounded

extends Dimension implements HasColor. Weight {

public java.awt.Col or getColorO { return null; } public int weightO { return 0; }

}

public class BasicBounds {

public static void main(String[] args) { Solid<Bounded> solid =

new Solid<Bounded>(new BoundedO); solid.colorO; solid.getYO. solid.weightO;

}

} ///

Вероятно, вы заметили, что пример BasicBounds.java содержат некоторую избыточность, которая может быть устранена посредством наследования. С каждым уровнем наследования добавляются новые ограничения:

II: generics/InheritBounds.java

class HoldItem<T> { T item;

HoldItem(T item) { this.item = item; } T getltemO { return item; }

}

class Colored2<T extends HasColor> extends HoldItem<T> {

Colored2(T item) { super(item). }

java awt Color col or

О { return item.getColorO; }

}

class ColoredDimension2<T extends Dimension & HasColor> extends Colored2<T> {

ColoredDimension2(T item) { super(item); } int getXO { return item x; } int getYO { return item.y, } int getZO { return item z; }

}

class Solid2<T extends Dimension & HasColor & Weight> extends ColoredDimension2<T> {

Solid2(T item) { super(item); } int weight О { return item.weightO; }

}

public class InheritBounds {

public static void main(String[] args) { Solid2<Bounded> solid2 =

new Solid2<Bounded>(new BoundedO); solid2 colorO: solid2 getYO; solid2 weightO,

}

} ///.-

Holdltem просто хранит объект; это поведение наследуется классом Colored2, который также требует, чтобы его параметр реализовывал HasColor. ColoredDi-mension2 и Solid2 продолжают расширение иерархии и добавляют на каждом уровне новые ограничения. Теперь методы наследуются, и их не нужно повторять в каждом классе.

Пример с большим количеством уровней:

//: generics/EpicBattlе.java // Demonstrating bounds in Java generics, import java util.*;

interface Superpower {} interface XRayVision extends Superpower { void seeThroughWallsO;

}

interface SuperHearing extends Superpower { void hearSubtleNoisesO;

}

interface SuperSmell extends Superpower { void trackBySmellO;

}

class SuperHero<POWER extends SuperPower> { POWER power;

SuperHero(POWER power) { this.power = power; } POWER getPower0 { return power; }

}

class SuperSleuth<POWER extends XRayVision>

extends SuperHero<POWER> {

SuperSleuth(POWER power) { super(power); } void see { power. seeThroughWallsO: }

}

class CanineHero<POWER extends SuperHearing & SuperSmell> extends SuperHero<POWER> {

CanineHero(POWER power) { super(power); } void hearO { power.hearSubtleNoisesO; } void smell О { power.trackBySmell0; }

}

class SuperHearSmell implements SuperHearing, SuperSmell { public void hearSubtleNoisesO {} public void trackBySmell0 {}

}

class DogBoy extends CanineHero<SuperHearSmell> { DogBoyO { super(new SuperHearSmell0); }

}

public class EpicBattle {

// Ограничения в параметризованных методах: static <POWER extends SuperHearing> void useSuperHearing(SuperHero<POWER> hero) { hero, get Power hearSubtleNoisesO:

}

static <POWER extends SuperHearing & SuperSmell> void superFind(SuperHero<POWER> hero) {

hero, get Power 0 .hearSubtleNoisesO; hero.getPower .trackBySmel 10;