Java中的Object、T（泛型）、?区别

我们先来试着理解一下Object类，学习Java的应该都知道Object是所有类的父类，注意：那么这就意味着它的范围非常广！首先记住这点，如果你的参数类型时Object，那么的参数类型将非常广！

《Thinking in Java》中说很多原因促成了泛型的出现，最引人注目的一个原因就是为了创造容器类。这个要怎么来理解呢？我的理解是，可以抛开这个为了创造容器类这个，而是回到泛型的目的是限定某种类型上来。

所以我们现在能小结一下Object和T很重要的两点区别就是：

Object范围非常广，而T从一开始就会限定这个类型（包括它可以限定类型为Object）。
Object由于它是所有类的父类，所以会强制类型转换，而T从一开始在编码时（注意是在写代码时）就限定了某种具体类型，所以它不用强制类型转换。（之所以要强调在写代码时是因为泛型在虚拟机中会被JVM擦除掉它的具体类型信息，这点可参考泛型，在这里不做引申）。

比如在jdk中的List类是个泛型类。现在我们制定它的类型是Object。

  List<Object> list = new ArrayList<Object>();
        int i = 0;
        String s = "s";
        list.add(i);
        list.add(s);

List本身是个泛型类，现在我们指定它接收Object类型的参数，此时就可以放置任意类型的参数进去，而在取出来是就必须得进行强制类型转换成具体的类型。

现在我们如果将List指定接收String类型的参数，那么这个List就只能放置String类型，且取出来时就不用进行强制类型转换。

这点给我们带来的启示是，在编写类似List类的时候，一定要注意是否用泛型。一定要多写几个泛型类，多讨论多理解，不然还是可能会搅在一起。

接着是?，这个可能在用到反射需要获取Class类型时用到，它的解释就是：接收一个不确定的类型，有点和Object一样。我对它一个理解是，如果只用”?”那么它和Object是一样的，但是”?”有比Object稍微“高级”有点的用法，就是它能缩小一个不确定的范围，利用类似”? extends Test”，这就意味着只接收接收Test类的继承类，是不是比Object的范围缩小了？

        //对于类 Object，T可以修饰类，?不能修饰类
     
        class A1 {
        }
     
        class A2<T> {
        }
     
        class A3<?> { //编译器提示代码错误
        }

//对于方法参数  T和Object类型的参数可调用的方法是一样的,<?>必须基于<T>或<Object>来使用，就是一个通配符，指代所有类型
    public <T> T getT(T t) {
        t.getClass();
        return (T)t;
    }
 
    public Object getO(Object o) {
        o.getClass();
        return (Object)o;
    }
 
    public List<?> get(List<?> o) {
        int a = o.size();
        return (List<?>) o;
    }
 
    public void test() {
        BB<?> bb = new BB<>();
    }
 
    class BB<Object>{}

//对于方法返回值<T>和<?>可以更精确的限制类型
    public <T extends String> T getT2(T t) {
        t.getClass();
        return t;
    }
 
    public Object getO2(Object o) {
        return o;
    }
 
    public List<? extends String> get2(List<?> l) {
        int a = l.size();
        return (List<String>) l;
    }

 //方法返回值不能用<T>,可以用<?>
<T>不是一个实际类，它起一个指代作用，代替某个类，就是占位符，说明这里需要指定一个类型。
Object是实际的类，
<?>是一个通配符号，如下表示这个类不指定类型，也可以使用extends和super限制匹配
 
    public A2<T> getT3() { //编译器提示代码错误
        return null;
    }
    
    public A2<Object> getO3() {
        return null;
    }
 
    public A2<?> get3() {
        return null;
    }

     //方法返回值中<T>和<?>都可以用指定父类的方式限定返回值类型
        public <T extends String> T getT4() {
            return null;
        }
     
        public A2<? extends String> get4() {
            return null;
        }
     
        //以上两个方法效果等同这个方法，也就是声明父类作为返回值（这里假设有类继承了String）
        public String getO4() {
            return null;
        }

//方法返回值可以用<?>指定子类类型，不能用<T>;个人觉得意义不大，用super的地方应该用extends也一样
    public <T super String> T getT5() { //编译器提示代码错误
        return null;
    }
 
    public A2<? super String> get5() {
        return null;
    }

总结：

1、Object是所有类的父类，代表所有类；是占位符，表示需要一个类型；通配符，匹配所有类型。

2、相对于Object，泛型通过指定父类可以缩小限制范围，可以限定匹配的类型的父类或子类。

3、泛型可以基于用户指定的类型进行显式或隐式的类型转换，在编译时进行类型转换检查，相对于Object避免了类型转换异常。

4、的好处是定义一个引用变量，可以指向多个对象。

        List<?> list = new ArrayList<>();
        list = new ArrayList<String>();
        list = new ArrayList<Integer>();
 
        List<Object> list2 = new ArrayList<>();
        list2 = new ArrayList<Object>(); √
        list2 = new ArrayList<Integer>(); ×

92IT

Just love IT.

Java中的Object、T（泛型）、?区别