泛型<T> T

约定不等于承诺〃 2022-09-23 04:54 192阅读 0赞

<T>是一种形式，表示你用的是泛型编程，不受类型的约束。以下来自，[这个][Link 1]

import java.util.*;
     
    class Fruit {     public String toString() {    return "Fruit"; } }
     
    class Apple extends Fruit {    public String toString(){ return "Apple";    } }
     
    class Person {    public String toString(){    return "Person";    } }
     
    class ClassName<T> {//主类，把你文件名改成ClassName.java
          
     
         void show_1(T t){
            System.out.println("show_1  "+ t.toString());
        }
         
        <E> void show_2(E e){
            System.out.println("show_2  "+e.toString());
        }
         
        <T> void show_3(T t){
            System.out.println("show_3  "+t.toString());
        }
         
         
     
        public static void main(String[] args) {
            ClassName<Fruit> o = new ClassName<Fruit>();
            Fruit f = new Fruit();
            Apple a = new Apple();
            Person p = new Person();
            System.out.println("show_1 演示________________________");
            o.show_1( f );
            o.show_1( a );
    //        o.show_1( p );  楼主把这行代码去掉注释看一下，是不能编译通过的。因为在
    //        ClassName<Fruit>中已经限定了全局的T为Fruit，所以不能再加入Person;
            System.out.println("show_2 演示________________________");
            o.show_2( f );
            o.show_2( a );
            o.show_2( p );
            System.out.println("show_3 演示________________________");
            o.show_3( f );
            o.show_3( a );
            o.show_3( p );
             
        }
    }
    <span style="color: #800080;">程序输出：
    show_1 演示________________________
    show_1  Fruit
    show_1  Apple
    show_2 演示________________________
    show_2  Fruit
    show_2  Apple
    show_2  Person
    show_3 演示________________________
    show_3  Fruit
    show_3  Apple
    show_3  Person</span>

而show\_2 和show\_3方法其实是完完全全等效的。意思就是说ClassName<T>中一旦T被指定为Fruit后那么show\_1没有前缀<T> 的话，该方法中只能是show\_1 (Fruit对象)  
  
而你要是有前缀<T>或<E>的话，那么你就是告诉编译器对它说：这是我新指定的一个类型，跟ClassName<T>类对象中的T没有半毛钱的关系。也就是说这个show\_3中的T和show\_2中的E是一个效果，也就是你可以把show\_3同等程度地理解为<E> void show\_3(E e)\{~~~~~\}  
  
从上面我说的看，那就是 这个方法返回值前也加个<T>的话，这个T就代表该方法自己独有的某个类，而不去和类中限定的T产生冲突，你直接换成<E>会更容易理解的。

[Link 1]: http://bbs.csdn.net/topics/390171178