目录:
定义-子类型化是什么意思？
子类型化是编程语言理论中的一个概念，其中子类型（即数据类型）与基于可替代性概念的超类型相关，如果为该超类型编写的程序元素（例如，函数和子例程）仍能运行，子类型。 子类型是面向对象编程中的基本概念，可以替代超类型，有时甚至比超类型具有更严格的规范。
技术百科解释了子类型化
子类型化是一种用于替换和代码重用的方法，可用于面向对象的编程语言中，以防止不必要的大量相似代码的复制，并提高代码的可读性并防止错误。 子类型基本上可以替代可以满足后者所有规范以及某些规范的超类型。 因此，如果B是A的子类型，那么B总是可以用来代替A，并且A保证的任何属性也必须由B保证。
允许子类型加强甚至添加不在父类型上的属性，这意味着它允许扩展父类型。 因此，与其在每次需要新的东西时都创建一个新的超类型，然后再从另一个超类型复制属性和条件，不如创建一个子类型，该子类型用其他属性或特征扩展了该超类型，而无需更改该超类型。 然后，在这种情况下，可证明给父类型的所有内容也将证明给子类型，甚至更多。 如果仅通过使用和查询超类型方法和字段将子类型与超类型完全相同地对待，则结果将与超类型的对象一致。
