在面向对象技术中,类属是一种(1)机制。一个类属类是关于一组类的一个特性抽象,它强调的是这些类的

Question

在面向对象技术中，类属是一种(1)机制。一个类属类是关于一组类的一个特性抽象，它强调的是这些类的成员特征中与(2)的那些部分，而用变元来表示与(3)的那些部分。

A．包含多态

B．参数多态

C．过载多态

D．强制多态

Answer 1

正确答案：B
解析：在面向对象技术中，对象在收到信息后要予以响应。不同的对象收到同一消息可产生完全不同的结果，这一现象称为多态。多态有多种不同的形式，其中参数多态和包含多态称为通用多态，过载多态和强制多态成为特定多态。参数多态应用比较广泛，被称为最纯的多态。这是因为同一对象、函数或过程能以一致的形式用于不同的类型。包含多态最常见的例子就是子类型化，即一个类型是另一类型的子类型。过载多态是同一变量被用来表示不同的功能，通过上下文以决定一个类所代表的功能。即通过语法对不同语义的对象使用相同的名，编译能够消除这一模糊。强制多态是通过语义操作把一个变元的类型加以变换，以符合一个函数的要求，如果不做这一强制性变换将出现类型错误。类型的变换可在编译时完成，通常是隐式地进行，当然也可以在动态运行时来做。类属类(generic　class)仅描述了适用于一组类型的通用样板，由于其中所处理对象的数据类型尚未确定，因而程序员不可用类属类直接创建对象实例，即一个类属类并不是一种真正的类类型。类属类必须经过实例化后才能成为可创建对象实例的类类型。类属类的实例化是指用某一数据类型替代类属类的类型参数。类属类定义中给出的类型参数称为形式类属参数，类属类实例化时给出的类型参数称为实际类属参数。如果类属类实例化的实际类属参数可以是任何类型，那么这种类属类称为无约束类属类。然而在某些情况下，类属类可能要求实际类属参数必须具有某些特殊的性质，以使得在类属类中可应用某些特殊操作，这种类属类称为受约束类属类。