泛型中问号的作用

Posted 2020-09-01

泛型中有个问号什么意思呢，代表某种确定的类型，但是又有不确定性。怎么讲呢，这个世界其实每件事情都是这样的。比如有个接口Ia,实现类有Aone，Atwo，但是呢，在运行的时候有可能是Aone或者Atwo,是哪一个呢，不知道，这是不确定性；但是都是Ia接口的类型，这又是确定性。所以要创建一个泛型类来表示这种情况呢，就可以写作：

public interface Ia {
   void Say();
}

public class Aone implements Ia {

    @Override
    public void Say() {
        System.out.println("this is " +this.getClass());
        
    }

}

public class Atwo implements Ia {

    @Override
    public void Say() {
        System.out.println("this is" + this.getClass());
    }
    public static void main(String[] args){
        Class<? extends Ia> aAClass=Aone.class;//此处如果换做其他非Ia类就会报错的
        try {
            Ia aA=aAClass.newInstance();
            aA.Say();
        } catch (InstantiationException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        } catch (IllegalAccessException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
    }

}

有人说，我这直接用Class不就可以了吗，为啥要用问号呢，的确用Class也可以，但是，用了问号就可以在编译时确定你要的类型的范围，避免在运行时才知道类型不对。

加了问号后，既有了灵活性又有了确定性，就是有变有不变，该变的变，该不变的不变，这就是所谓的"持经达变"，我们老祖宗的中庸之道，就是如此，可以看出软件领域也符合这个道理。