面向对象语言中,一切皆对象,哪些对象不能被实例化呢?3种:接口、抽象类、单例。这3种对象,一旦你想new一个实例出来,直接编译报错。
其中接口是最直接的,它连构造函数都没有,很明显我们没法去实例化一个连构造函数都没有的对象。单例的构造函数是私有的,那么你也没法在除了单例之外的地方去实例化它,但它一般会提供一个方法给你,在这个方法里它会调用自己的私有构造函数进行实例化。
比较纠结的是抽象类,因为它是有公共构造函数的,子类默认调用抽象类的构造函数(通过super关键字),但抽象类没法实例化自己。这里先区分父类这个概念,它分抽象的和普通的,普通的是可以实例化的,比如java对象的太祖Object。但抽象类就不同了,它只能依存子类来体现自己,我们假设抽象类可以被实例化,那new出来后究竟是个什么东西呢?它本身是子类的公共特性的代表,那现在究竟代表哪个了子类?混乱了。结合多态的特性,最多只能这样了:
父类 父类实例 = new 子类();
但实际上这个父类实例指向的是子类的实例,在运行时由JVM动态绑定了子类的实例。