首先说下什么是定义带类型参数的泛型例如:
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
//嗯,完全没有问题
}
好了,下面再看一个
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类型了,嗯,我们大概知道怎么回事了,但是真是这么回事吗,再看另//个例子
}
在一个例子:
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的类型可以随便定义为这两种中的任意一种了
嘿嘿目前只测试了这几种,可能还有其他的问题,暂时还没看那,如果看了的话会继续更新的,在这里做个记录,以方便以后在看