书接上文：https://www.jianshu.com/p/578b4d3e6cf5
本内容均属原创，转载请注明出处：https://www.jianshu.com/p/3096adcf6c8f
泛型上下限问题：
泛型的上限问题：
测试用例：
public class Test01 {
public static void main(String[] args) throws Exception{
List<F> lsF = new ArrayList<>();
showAll(lsF);
List<S1> lsS1 = new ArrayList<>();
List<S2> lsS2 = new ArrayList<>();
//compile-time error
showAll(lsS1);
showAll(lsS2);
}
public static void showAll(List<F> ls){
}
}
class F {}
class S1 extends F{}
class S2 extends F{}
结论，其实这个结论上文已经提到过了，编译期间List<S1>和List<F>并不是一会事情。一个泛型实例指定了不同的泛型类型，这里不能进行互相转换。如果用?通配符，似乎能解决问题。但是不能描述清楚S1、S2和F的关系。那这里怎么办呢？我们采用泛型的上限解决该问题。? extends F。这里?代表传入的泛型对象的实际泛型类型，查看当前类型是否继承自F，如果继承就可以直接传入。
public static void showAll(List<? extends F>){}
但是注意：
public static void showAll(List<? extends F> ls){
ls.add(new S1());
}
这个代码不能这样写。因为传入的实际类型不确定，导致无法在集合中再添加元素，和我们之前测试的泛型通配符遇到的问题是一致的。有时候我们还会这样写：
class Stack <T extends Number & Serializable>{
}
声明一个Stack类，该类中的泛型声明为必须是Number的子类，而且还需要实现Serializable接口。和我们想象的一样，这里的接口的是可以实现多个的。实现多个用&连接。
泛型下限
如果你还记得泛型方法，应该知道我们写了方法，将一个数组中的元素添加到集合中。我们在上文也提到可以通过下限操作。接下来我们编写一个实例。完成集合到集合拷贝，也就意味着src集合中的类型要完全兼容dest集合中的类型。
public static void main(String[] args) {
Collection<Integer> dest = new ArrayList<>();
Collection<Number> src = new ArrayList<>();
fillIntoColls(dest,src);
}
public static <T> void fillIntoColls(Collection<T> dest ,Collection<? super T> src){
for(T t:dest){
src.add(t);
}
}
这里注意泛型Collection<? super T> src 表示最小是T类型，或者是它的父类。实际传入的T是Integer类型，而这里泛型下限的值是Number。这里面采用的泛型方法和泛型的下限解决的。
6、拓展jdk10增强的局部变量的类型推断
泛型擦除
测试用例：
public class Test01 {
public static void main(String[] args) {
Gen<Integer> g1;
g1 = new Gen<Integer>(12);
Gen<Integer> g2;
Gen<String> g3 = new Gen<>("test generic");
//Type erasure followed by conversion
Gen gen = g1;
Gen<String> g4 = gen;
}
}
//declared a generic type Gen
class Gen<T>{
T t;
public Gen(T t) {
this.t = t;
}
public void getT(){
System.out.println(t.getClass().getName());
}
}
结论：最开始定义的g1包含了泛型类型为Integer类型，然后将g1赋给了一个gen对象，编译器在这里会丢失掉g1本身的Integer的泛型信息。这就擦除，其实我们可以理解为泛型类型由Integer变为了Object。java允许给一个对象赋给一个具体的泛型类型。这里只会包检查警告，但是如果真的通过g4做一些操作，还是会有可能出现异常的。
jdk8增强的泛型类型推断
测试代码：
public class Test01 {
public static void main(String[] args) {
Gen<Integer> g = new Gen<>();//1
Gen<String> g2 = Gen.test01();//2
Gen.test02(123, new Gen<String>());// 3compile-time error
Gen<Integer> g3 = Gen.test02(123, new Gen<>());//4
}
}
//declared a generic type Gen
class Gen<T>{
public static <Z> Gen<Z> test01(){
return null;
}
public static <Z> Gen<Z> test02(Z z,Gen<Z> g){
return null;
}
public T test03(){
return null;
}
}
结论：
1、第一行代码创建对象时指定泛型类型，后续通过菱形语法直接输出。这是jdk1.7就支持的
2、第二行代码调用test01方法，没有指定泛型类型，但是通过调用方法之后可以，显示指定了泛型类型是String类型，推断出test01方法的Z泛型类型是String类型
3、编译报错，因为调用方法是传入的时Z泛型指定的类型是Integer，而传入的Gen对象的泛型类型变为了String类型，所以编译报错。
4、第四行代码么问题，因为调用test02方法时传入的Z类型指定是Integer类型，显式的指定返回的Gen类型也是Integer，可有推断出传入的Gen泛型类型是Integer类型，所以直接使用菱形语法。
注意类型推断不是万能的。比如下面的代码
//在上面的main方法加入以下代码会报错
String str = Gen.test01().test03();
这里并不能推断出test01方法返回的时Gen<String>,所以也无法推断出test03方法返回的时String类型。如果要推断，可以通过以下的方式：
String str = Gen.<String>test01().test03();
拓展jdk10增强的局部变量的类型推断
注意：这里的局部变量的类型推断和泛型无关，主要作为扩展知识。建议使用
Intellij IDEA 2018.1.1以上版本。可以知识jdk10。或者是JShell
测试实例：这里是基于JShell
jshell> /list
1 : var lists = new ArrayList<String>();
2 : lists.add("hello");
3 : lists.forEach(System.out::println);
结论：允许通过使用var类型进行类型的声明。会自动推断出当前var的类型是ArrayList：
jshell> System.out.println(lists.getClass());
class java.util.ArrayList
但是注意,var是一个保留字，而不是关键词，也以为着你可以通过以下编码：
jshell> var var = 10;
var ==> 10
但是这里注意，不能通过var去声明类，接口等。可以作为变量名或者是方法名。
jshell> interface var{}
| 错误:
| 从发行版 10 开始,
| 此处不允许使用 'var', 'var' 是受限制的本地变量类型, 无法用于类型声明
| interface var{}
| ^
jshell> class Var{}
| 已创建 类 Var
jshell> /list
1 : var lists = new ArrayList<String>();
2 : lists.add("hello");
3 : lists.forEach(System.out::println);
4 : System.out.println(lists.getClass());
5 : var var = 10;
6 : class Var{}
7 : class Test{void var(){}}
以上算是对于10 的一些尝鲜吧，其实这只是冰山一角，我们后续继续填坑。嘿嘿，挖坑我们是认真的。
网友评论