java基础 – 泛型

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);
		}
	}
}

泛型擦除

1. 在泛型代码内部，无法获取任何有关泛型参数类型的信息。
2. 泛型只有在类型参数比某个具体类型（以及其子类）更加“泛化”——代码能跨多个类工作时才有用。

通配符

限定通配符

• <? extends T> ？必须是 T 类型或其子类
• <? super T> 由某个特定类的任何基类来界定的

非限定通配符

• <?>是想用 Java 的泛型来编写这段代码，我在这里并不是要用原生类型，但是在当前这种情况下，泛型参数可以持有任何类型

编译器处理 List<?> 和 List<? extends Object> 是不同的。 令人困惑的是，编译器并非总是关注像 List 和 List<?> 之间的这种差异，因此它们看起来就像是相同的事物。事实上，因为泛型参数擦除到它的第一个边界，因此 List<?> 看起来等价于 List ，而 List 实际上也是 List ——除非这些语句都不为真。List 实际上表示“持有任何 Object 类型的原生 List ”，而 List<?> 表示“具有某种特定类型的非原生 List ，只是我们不知道类型是什么。

问题

1. 任何基本类型都不能作为类型参数
2. 一个类不能实现同一个泛型接口的两种变体，由于擦除的原因，这两个变体会成为相同的接口。

package generics;

interface Payable<T> {}

class Employee implements Payable<Employee> {}

class Hourly extends Employee implements Payable<Hourly> {}