泛型

入门

之前，集合是不管你内容是啥类型的。
不像C语言，char a[10]、int a[45]。丢进去就进去了
集合里，全都看作是 Object
放进去前是char/int/String,取出来后统统变成Obejct

于是泛型出现了，规定好类型。
这里面就没说清楚
后来引入参数化类型，就是规定好类型。

菱形

其实就是
ArrayList <String> str = new ArrayList<>();
后面那个<>可以不用加String

---

Java9新特性：
Java9 甚至允许在创建匿名内部类时使用菱形语法
Foo<?>，那么该匿名内部类的类型 上不封顶
Foo<?extends Number>可以追溯的上限是 Number类

泛型接口、类

class NAME <泛型标识(T)、泛型标识(K)...>
{
  private 泛型标识(T) 变量名
  ...
}

甚至可以这么理解,T就是自变量，实际情况下T如果是String，那么内部有T的地方都变成String,只能是String类。

//定义类A继承 Apple类，Apple类不能跟泛型形参
public class A extends Apple<T>{};

不可以在静态方法（类、变量）中使用泛型
static T info ();

类型通配符

如果想要传入一个集合（比如List）进去，而且好巧不巧里面又有int又有char多种，怎么办?
这样

public void test (List<Object> c)
{
xxx;
}

通配符上限

需要注意的是，List<三角形> 并不是List的子类，不能兼容，彼此独立。

所以需要一个语法来指定，我想用Shape的儿子（或者只要是Shape的子孙都行），

List<? extends Shape>

这样子 <List 三角形>就可以算是< ? extends shape>了，可以儿子赋值给父亲了。

通配符下限

类似的就有下限

<? super son>,在son上面的都是可以的，son类是底线。 ## 对比  协变：只出不进（进去不知道具体是哪个子类）； 逆变：只进不出（反正肯定给父亲没错，要细分再说，不会出错，但是取出来都是Object了） # 泛型方法 static void main(){ } 就都可以 ------ 还可以这样 public static void copy(List dest, List <? extends T> src ){...} public static