abstract的真正含义是“阻止产生对象”(针对类)或是“禁止被对象所拥有”(针对方法,类似static)。
一个abstract class是不能产生object的。(P.S. 抽象类可以声明引用,不可实例化;类似在使用多态时,我们可以声明一个接口的引用,实际指向一个实现类对象)
abstract function只有方法声明,没有方法body。
拥有abstract function的class必须声明为abstract class,否则会编译报错(abstract function不能被对象所拥有,那么包含该abstract function的class自然不能产生对象,所以必须是abstract class)。当然,abstract class不一定非要有abstract function,在某些情况下,我们可能只是单纯地想要某个class不能产生对象,这时就可以用abstract class,对这个abstract class的内部我们没有任何要求。
P.S. 编译器对abstract和后面要提到的interface的处理机制都是Java为了强调抽象的设计方法而在语言方面做的强制规定
因为abstract class不能产生object,所以主要用来继承。如果一个ext class继承自abstract class,且该abstract class中有abstract function,那么由继承的知识可知,ext class也会有这个abstract function,如果ext class中不覆写这个abstract function,那么这个ext class也必须声明为abstract。
abstract class作为base class是支持向上转型的,即原来对一般base class的向上转型用法对abstract base class同样适用。