21、深入探索面向对象编程中的继承与多态

深入探索面向对象编程中的继承与多态

1. 继承的核心概念与重要性

在面向对象编程里，编写类的关键原因在于封装，而类之间使用继承的核心原因则是灵活性。将封装与继承这两个概念相结合，我们能够创建出既可以使用又无需修改的数据类型，同时还具备创建这些类型修改版本的能力，这也就是最初所说的“开闭原则”。

继承虽然会形成很强的绑定，导致代码紧密耦合，但它也为开发者赋予了强大的能力，当然，这也伴随着更多的责任。接下来，我们将详细探讨类型继承的工作原理，特别是在 Object Pascal 语言中的实现方式。

2. 从现有类型继承

在编程实践中，我们常常需要使用现有类的略微不同版本，可能是自己编写的类，也可能是他人提供的类。比如，我们可能需要添加一个新方法，或者对现有方法进行微调。若只是简单修改原始代码，可能会在不同场景下无法同时使用这两个不同版本的类。而且，如果类是由他人编写（并存在于某个库中），我们可能希望将自己的修改与原始代码分开。

传统的做法是复制原始类型定义，修改代码以支持新特性，并为结果类赋予新名称。然而，这种方法存在诸多问题：复制代码的同时也复制了其中的 bug；若要添加新特性，需要根据复制的代码数量多次添加。此外，这种方式会产生两个完全不同的数据类型，编译器无法帮助我们利用这两个类型之间的相似性。

为了解决这些问题，Object Pascal 允许我们直接从现有类定义新类，这种技术被称为继承（也叫子类化或类型派生），是面向对象编程语言的基本要素之一。要从现有类继承，只需在子类声明的开头指明该类即可。例如，每次创建新窗体时会自动完成这一操作：