Question

给一个指针指定一个对象，动态连接使我们找到了类型指定的函数功能：每个对象都会以一个描述符开始，这个描述符包含了指针，指向对象的可用函数指针表。尤其是，一个描述符包含一个指向构造器的指针，这个构造器用来初始化对象所关联的内存区域，另外这个指针还指向一个析构器，析构器会在删除对象之前回收对象所拥有的资源。

我们称所有的对象所共享的描述符为一个类。而对象是类的实例，对于对象指定类型的功能被称作对象的方法，而消息被这些功能函数所调用。对于一个对象，我们使用选择器功能去定位和调用动态连接的方法。

通过选择器和动态连接使得相同函数名对于不同的类而产生不同的结果。这样的函数被称为是多态的。

多态功能是非常有用的。他们提供了一种概念上的抽象： differ() 可比较任何两个对象 - 我们不需要铭记 differ() 针对具体的情形是否可用。一个很容易并非常方便的调试工具就是多态函数 store() ，可在一个文件描述符上显示任何对象。