所谓多态即一名字可具有多种语义。在面向对象的语言中,多态引用表示可引用多个类 的实例。由于多态具有可表示对象的多个类的能力,因而,它既与动态类型有关又与静态类 型有关 在C++中,利用多态性概念,使用函数名和参数类别来实现功能重载,即使用不同参数 就可以使之同各个对象相结合,分别实现相应的任务 1.2.3常用术语简释和定义 从面向对象方法学原理出发,对上述的有关术语可以进一步地做如下的简要释义: 信息( information):是对事物的一种表示和描述 软件( software):是描述信息处理的信息。 对象( object):是一个由信息及有关对它进行处理的描述所组成的包 对象可以定义如下: OBJ:: =<ID, MS, DS, MI> 其中ID是对象标识或名称;DS是属性数据;MS是对象受理的操作集合(方法) M是对象处理的消息集 消息( message):是对某种对象处理的说明。消息可以定义为 MSG:: =<MN, ARG> 其中MN是消息名;ARG是变元组 类( class):是对一个或几个相似对象的描述:类可以定义为一个四元组 CLS:: =<ID, INH, DD, OP, ITF> 其中,ID是类的标识或称为名字;INH是类的继承性描述:DD是属性数据:OP 是操作集合,即方法集:ITF是统一的对外接口或协议 继承( inherent)是类的特性,即子类可以继承父类(前辈类)的特性。可用一个偏序 关系定义继承的特性: INH=<C,>=) 其中,C为处于继承链上所有的类,>=表示继承关系 继承是有传递性的,即 IF(C2, >=Cl)&(C3>=C2)THEN C3>=C 在对继承作了以上定义后,还可以对类作重新的定义 类n:=<类n的ID,∪类i本身的数据结构描述,u类i本身的操作实现,U类 本身的对外接口>(i=1,2,,n) 其中类1到类n是属于同一类链的,且,类i继承类H1的特性 元类( metaclass):当某个类的单个实例本身就是一个类时,这个类就称为元类 子类( subclass):是在共享其他类的描述后,再对这个描述做某些修改而构成的类 实例( Instance):是被某个类所描述的对象中的一个具体对象。 对象实例可以定义为一个三元组: OB : =<OID, ODY, CID> 其中,OID是对象名或标识;ODY是对象实例的描述:CID是对象所属类的标识。 方法( method):是关于对象在接受到消息后所采取的一系列操作的描述,是对象对消 息的响应。 方法字典( method dictionary):是消息选择符和方法之间的一个相联集合所谓多态即一名字可具有多种语义。在面向对象的语言中，多态引用表示可引用多个类 的实例。由于多态具有可表示对象的多个类的能力，因而，它既与动态类型有关又与静态类 型有关。 在 C++中，利用多态性概念，使用函数名和参数类别来实现功能重载，即使用不同参数 就可以使之同各个对象相结合，分别实现相应的任务。 1．2．3 常用术语简释和定义 从面向对象方法学原理出发，对上述的有关术语可以进一步地做如下的简要释义： 信息（information）：是对事物的一种表示和描述。 软件（software）：是描述信息处理的信息。 对象（object）：是一个由信息及有关对它进行处理的描述所组成的包。 对象可以定义如下： OBJ：：=<ID，MS，DS，MI> 其中 ID 是对象标识或名称；DS 是属性数据；MS 是对象受理的操作集合（方法）； MI 是对象处理的消息集。 消息（message）：是对某种对象处理的说明。消息可以定义为 MSG：：=<MN，ARG> 其中 MN 是消息名；ARG 是变元组。 类（class）：是对一个或几个相似对象的描述；类可以定义为一个四元组： CLS：：=<ID，INH，DD，OP，ITF> 其中，ID 是类的标识或称为名字；INH 是类的继承性描述；DD 是属性数据；OP 是操作集合，即方法集；ITF 是统一的对外接口或协议。 继承（inherient）是类的特性，即子类可以继承父类（前辈类）的特性。可用一个偏序 关系定义继承的特性： INH=<C,>=) 其中，C 为处于继承链上所有的类，>=表示继承关系 继承是有传递性的，即 IF(C2,>=C1)&(C3>=C2) THEN C3>=C1 在对继承作了以上定义后，还可以对类作重新的定义 类 n：：=<类 n 的 ID，∪类 i 本身的数据结构描述，∪类 i 本身的操作实现，∪类 i 本身的对外接口> （i=1,2,…,n） 其中类 1 到类 n 是属于同一类链的，且，类 i 继承类 i+1 的特性。 元类（metaclass）：当某个类的单个实例本身就是一个类时，这个类就称为元类。 子类（subclass）：是在共享其他类的描述后，再对这个描述做某些修改而构成的类。 实例（instance）：是被某个类所描述的对象中的一个具体对象。 对象实例可以定义为一个三元组： OB：：=<OID，ODY，CID> 其中，OID 是对象名或标识；ODY 是对象实例的描述；CID 是对象所属类的标识。 方法（method）：是关于对象在接受到消息后所采取的一系列操作的描述，是对象对消 息的响应。 方法字典（method dictionary）：是消息选择符和方法之间的一个相联集合