java基础 – 泛型
核心概念:你只需告诉编译器要使用什么类型,剩下的细节交给它来处理。
使用泛型类型机制的最吸引人的地方,就是在使用集合类的地方
创建对象
创建对象时,必须指明要持有的对象的类型,将其置于尖括号内。
元组
元组,它是将一组对象直接打包存储于单一对象中。可以从该对象读取其中的元素,但不允许向其中存储新对象
实现泛型栈
package com.somin.泛型;
public class LinkedStack<T> {
private static class Node<U> {
U item;
Node<U> next;
Node() { item = null; next = null; }
Node(U item, Node<U> next) {
this.item = item;
this.next = next;
}
boolean end() {
return item == null && next == null;
}
}
private Node<T> top = new Node<>(); // 栈顶
public void push(T item) {
top = new Node<>(item, top);
}
public T pop() {
T result = top.item;
if (!top.end()) {
top = top.next;
}
return result;
}
public static void main(String[] args) {
LinkedStack<String> lss = new LinkedStack<>();
for (String s : "Phasers on stun!".split(" ")) {
lss.push(s);
}
String s;
while ((s = lss.pop()) != null) {
System.out.println(s);
}
}
}
泛型擦除
- 在泛型代码内部,无法获取任何有关泛型参数类型的信息。
- 泛型只有在类型参数比某个具体类型(以及其子类)更加“泛化”——代码能跨多个类工作时才有用。
通配符
限定通配符
- <? extends T> ?必须是 T 类型或其子类
- <? super T> 由某个特定类的任何基类来界定的
非限定通配符
- <?>是想用 Java 的泛型来编写这段代码,我在这里并不是要用原生类型,但是在当前这种情况下,泛型参数可以持有任何类型
编译器处理 List<?> 和 List<? extends Object> 是不同的。 令人困惑的是,编译器并非总是关注像 List 和 List<?> 之间的这种差异,因此它们看起来就像是相同的事物。事实上,因为泛型参数擦除到它的第一个边界,因此 List<?> 看起来等价于 List ,而 List 实际上也是 List ——除非这些语句都不为真。List 实际上表示“持有任何 Object 类型的原生 List ”,而 List<?> 表示“具有某种特定类型的非原生 List ,只是我们不知道类型是什么。
问题
- 任何基本类型都不能作为类型参数
- 一个类不能实现同一个泛型接口的两种变体,由于擦除的原因,这两个变体会成为相同的接口。
package generics;
interface Payable<T> {}
class Employee implements Payable<Employee> {}
class Hourly extends Employee implements Payable<Hourly> {}