整理1: 面向对象的多态性可以严格的分为四类:重载多态,强制多态,包含多态,和参数多态,前面两种统称为专用多态,而后面两种也称为通用多态。
包含多态是研究类族中定义于不同类中的同名成员函数的多态行为,主要是通过虚函数来实现。参数多态与类属(类模板)相关联,类属是一个可以参数化的模板,其中包含的操作所涉及的类型必须用类型参数实例化。这样,由类模板实例化的各类都具有相同的操作,而操作对象的类型却各不相同。
参考: 对C++多态学习的一点感受 (原创:郭萌) http://www.frontfree.net/view/article_619.html
整理2: 一个类属单元可以是程序包或子程序,允许执行的运算不依赖特定数据类型。比方说一个是类属单元的 Swap 函数,它可以接受Integer,Float 等各种数据类型的参数,而无需为不同数据类型的参数各写一个 Swap。使用一个类属单元需要设置它的特定数据类型,这个过程称之为实例化(instantiation),如使用上面所说的 Swap 函数时,要配置它将要处理的数据类型。
参考: 类属单元(Generic) http://all.163.com/it/school/apl/chapter11/index.htm
整理3: 模办是实现类属机制的一种工具
参考 C++之模板(Template)(原创) http://www.frontfree.net/view/article_541_page1.html
整理4: 2004上午软件设计师试题选.
在面向对象技术中,类属是一种 (参数多态) 机制.一个类属类是关于一组类的一个特性抽象,它强调的是这些类的成员特征中与 (具体类型无关) 的那些部分,而用变元来表示与 (具体类型相关) 的那些部分.
本文地址:http://com.8s8s.com/it/it24783.htm