首先说下什么是定义带类型参数的泛型例如:java
public static <T, S extends T> void Test<T t,S s> { Systen.out.println(t.getClass().getName()); Systen.out.println(s.getClass().getName()); }
那么如今就说下我发现的问题,首先咱们不定义这么复杂的泛型定义一个简单的:测试
public static <T> void Test<T t> { Systen.out.println(t.getClass().getName()); } public static void main(String[] args){ Test("1");//发现什么了,打印出来的是java.lang.String Test(1);//java.lang.Integer //嗯,彻底没有问题 }
好了,下面再看一个code
public static <T> void Test<T t,T a> { Systen.out.println(t.getClass().getName()); Systen.out.println(a.getClass().getName()); } public static void main(String[] args){ Test("1","1"); Test(1,1); Test("1",1); Test(1,"1"); //你们看看编译能经过吗? //嗯,试了下能够,发现彻底没有问题,只声明了一个泛型T,并且在调用方法的时候,第一个参数已经肯定了泛型的 //类型是String的,那为何后边能够定义Integer类型的那?带着这个疑惑咱们看下面的一个例子 }
另外一个例子继承
public static <T,S extends T> void Test(T t ,S b){ } public static void main(String[] args){ Test("1","1"); Test(1,1); Test("1",1); Test(1,"1"); //你们看看编译能经过吗? //嗯,报错了,Test("1",1);Test(1,"1");这两个有问题,什么问题那,首先咱们定义了一个泛型T,后来有定义 //了一个泛型S ,可是这个S是继承T 的,也就是说这个T是什么类型的,S也就是什么类型的全部第一个参数声明为St//ring的时候,后边的第二个参数默认也就是String类型了,嗯,咱们大概知道怎么回事了,可是真是这么回事吗,再看另//个例子 }
在一个例子:get
public static void main(String[] args) { a("1","1",1,21); a("1","1",1,"21"); a("1","1","1",21);//看这里报错了 } public static <T,S extends T> void a(T t,S s,T a,S d){ System.err.println(t.getClass().getName()); System.err.println(s.getClass().getName()); System.err.println(d.getClass().getName()); } //这是为何那,只是第三个参数和第四个参数的类型不一样,位置变换了一下而已,根据个人理解是这样的,首先编译器 //查看泛型的类型的时候是从左到右检查的,咱先看第一个a,首先第一个参数是String,而泛型定义的时候定义了一个 //两个一组的类型,编译器会依次检查有没有已经声明的类型,好比第一个参数你传的是String ,而你a的参数的第一个 //泛型T 就被定义为String了,以后第二个参数是S,S是继承自T 的,因此他理所应当的也是String,好了,后边第三 //个参数又是一个T,这个T是个泛型和前边的T不是一个,能够本身在定义一个类型,例如Integer,后边的问题来 //了,后边声明了一个S,这个S是什么类型的那?咱们发现这个S无论是用String类型仍是Integer类型都不会有错 //这个就有趣了,不过想一想就会发现,咱们定义了两个泛型T的类型,一个是String,一个是Integer,而S又是集成 //T的,因此S的类型能够随便定义为这两种中的任意一种了
嘿嘿目前只测试了这几种,可能还有其余的问题,暂时还没看那,若是看了的话会继续更新的,在这里作个记录,以方便之后在看
编译器