分类机制与面向对象程序设计

摘要

cqvip:本文首先将类型继承分别与生物的物种分类、逻辑的单步推理相比较,表明分类不仅是一种系统描述和信息共享机制,还是一种计算机制(单步推理),然后讨论了分类机制在程序设计语言中的表现形式:类型和同式多型(polymorphism),并阐述了面向对象程序设计(OOP)的继承作为同式多型的一种体现,为人们描述和解决问题提供的有力支持。