基类会劫持接口

Java的泛型并不支持基本类型因此我们无法将其用作泛型的类型参数。

一个替代的方法是使用基本类型的包装类

import

java.util.stream.IntStream;public

class

将基本类型转换成其对应的包装类.collect(Collectors.toList());System.out.println(li);}

这足以应付大部分的情况。

但如果真的需要追求性能可以使用专门适配基本类型的集合例如org.apache.commons.collections.primitives。

import

HashSet(Arrays.asList(possibles));//

SetByte

SplittableRandom也是用于生成随机数的类SplittableRandom

new

1).collect(StringBuilder::new,StringBuilder::appendCodePoint,StringBuilder::append).toString();}}class

IntegerGenerator

Rand.StringGenerator(7));System.out.println(Arrays.toString(strings));int[]

integers

Rand.IntegerGenerator());System.out.println(Arrays.toString(integers));}

由于自动装箱对数组无效因此需要我们手动重载FillArray.fill()方法或者通过一个生成器来包装输出结果。

实现参数化接口

因为类型擦除这两个变体实际上都表示着原生的Payable。

换言之上述代码中Hourly将同一个接口实现了两次。

类型转换和警告

因为类型擦除我们无法对类型参数使用类型转换或instanceof。

因此有时会需要在边界处进行类型转换

【例子在泛型边界处进行类型转换】

item;}SuppressWarnings(unchecked)public

pop()

storage[--index];}SuppressWarnings(unchecked)StreamT

stream()

ABCDEFGHIJKLMNOPQRST.split();public

static

FixedSizeStack(letters.length);Arrays.stream(letters).forEach(strings::push);System.out.println(strings.pop());strings.stream().map(s

pop()和stram()会产生警告因为编译器无法知道这种类型转换是否安全。

在本例中类型参数T会被擦除成Object。

虽然在泛型的边界处类型转换会自动发生。

但有时我们仍然需要手动进行类型转换此时编译器会发出警告

【例子对泛型进行转型】

{SuppressWarnings(unchecked)public

void

FileInputStream(args[0]));ListInteger

shapes

实际上readObject()不会知道它正在读取什么因此它会返回Object。

现在注释掉SuppressWarnings(unchecked)并且使用参数-Xlint:unchecked进行编译

警告清楚地告诉了我们readObject()会返回一个未经检查的Object。

Java

5还引入了一个转型方法通过Class.cast()可以将对象强制转换成目标类型。

这个方法也适用于泛型

【例子尝试强制转换泛型】

{SuppressWarnings(unchecked)public

void

List.class.cast(in.readObject());

使用cast()进行强制类型转换//

List.class.cast(in.readObject());//

无法编译//

ListInteger.class.cast(in.readObject());//

会引发警告ListInteger

List.class.cast(in.readObject());}

import

因为被擦除的参数无法作为单独的参数列表所以我们还需要为每一个相似的方法提高不同的方法名。

基类会劫持接口

假设我们想要创建一个类这个类实现了Comparable接口这样这个类的不同对象就能进行互相的比较

public

一个好的想法是任何继承了这个类的子类其对象之间应该也能进行比较在这个例子中父类是Pet子类就是Cat。

然而事实并不会如我们所愿

遗憾的是若继承了父类的泛型接口编译器不会再允许我们添加另一个Comparable接口。

在这里我们只能遵循父类的比较方式。

我们还可以在子类中重写compareTo()的行为但这种行为是面向ComparablePet的而不是限定在这个子类中。

自限定类型

在这里类型参数的边界就是类本身SelfBounded有一个类型参数T而参数T的边界却又是SelfBounded。

奇异递归类型

先看一个自限定类型的简化版本。

尽管无法直接继承泛型参数但我们可以继承一个使用了泛型参数的类。

【例子继承泛型类】

CuriouslyRecurringGenericextends

GenericTypeCuriouslyRecurringGeneric

这种方式被称为奇异递归泛型。

其中“奇异递归”是指子类奇怪地出现在了其基类中的现象、

要理解这一点首先需要明确Java泛型的重点在于参数和返回类型因此可以生成将派生类型作为参数和返回值的基类。

派生类型也可作为字段不过此时它们会被擦除为Object。

public

{System.out.println(element.getClass().getSimpleName());}

在这个基类中所有方法的接收或返回值若有都是T。

接下来尝试使用这个类

class

Subtype中的所有方法其接收和返回的都是SubtypeSubtype

st1

需要注意的是Subtype类中所有方法的接收和返回值都已经变成了Subtype。

这就是一个奇异递归泛型基类用子类替换了其参数。

在这里基类用于提供通用的方法模板而子类使用的方法都会具有一个具体的类型即子类自身。

自限定

自限定在这种操作的基础上更进一步它强制地把泛型作为自身的边界参数进行使用

自限定类型

需要注意的是自限定类型会要求类处于继承关系中。

因此像E这种并不处于继承关系中的类无法使用自限定。

class

由此可知编译器对自限定的语法并不做强制要求这需要程序员自己注意或使用工具保证不会使用原生类型。

注意自限定类型只服务于强制继承关系。

若使用自限定这意味着该类使用的类型参数和使用该参数的类属于同一个基类。

对于普通的泛型类而言像上例中的E这样的类型是可以作为泛型参数的。

这种泛型类就没有对继承关系的强制性要求。

public

这种做法的特点是方法f()无法应用于自限定参数规定范围之外的对象。

自限定类型的价值在于它可以生成协变参数类型即方法参数的类型会随着子类而变化。

现在先来看一个协变参数类型的例子这种写法是Java

class

这种做法有着自洽的逻辑子类方法可以返回比其基类方法更加具体的类型但这种写法在Java

interface

因为返回的类型是子类因此可以用基类来承接GenericGetter

g.get();}

与上述这两种形式不同在普通的类中参数的类型无法随子类型而变化。

class

{System.out.println(OrdinarySetter.set(Base));}

}class

{System.out.println(DerivedSetter.set(Derived));}

}public

DerivedSetter();ds.set(derived);//

编译通过但这里发生的不是重写是重载ds.set(base);}

尽管在main()中ds.set(derived)和ds.set(base)都是合法的但发生的并不是重写而是重载。

从输出可以看出在子类DerivedSetter中存在着两个set()方法一个参数是Base另一个的是Derived。

若对DerivedSetter的set()方法使用Override注释就可以看出问题。

当使用自限定类型时子类中来自基类的方法的参数会发生改变因此会出现下面这种情况

interface

SelfBoundingAndCovariantArguments

{void

编译器认为基类无法匹配当前set()的类型尽管上述代码中并没有在Setter中显式地重写set()方法但set()的参数确实已经被重写了。

class

{System.out.println(GenericSetter.set(Base));}

}class

{System.out.println(DerivedGS.set(Derived));}

}public

DerivedGS();dgs.set(derived);//

显然这里发生的还是重载。

若使用的是自限定最后只会有一个接收确切类型参数的方法版本。