第六讲 多态性.ppt

第六讲：多态性 主要内容及要求 主要内容 多态性的基本概念 函数重载与运算符重载 拷贝构造函数 虚函数与动态绑定 多态数据结构 要求 重点掌握函数与运算符的重载以及运行时多态性 了解多态数据结构的使用 1、多态性的基本概念 多态性（polymorphism）由两个希腊词组成：“poly”意为“多”，“morph”是代表形态的后缀。通常，它指一件东西具有很多形态 在程序中，指的是同一符号或名字在不同情况下具有不同解释（如：“/”运算符） 面向对象程序设计中的多态性 方法和函数具有相同的名字，但有不同的行为 同样的消息被不同类型的对象接收时有可能导致完全不同的行为 1、多态性的基本概念（续） 多态性的两种基本形式 编译时多态性：在程序编译阶段即可确定的多态性 由重载机制实现 函数重载 运算符重载 运行时多态性：到程序动态运行时才可确定的多态性 由继承结合虚函数的动态绑定实现 1、多态性的基本概念（续） 几个名词的区别 重载 同一作用域中允许多个函数使用同一函数名 这些函数的形参个数或者对应位置的形参类型不同 在派生类中增加与基类成员函数同名的成员函数，但函数的形参个数或对应类型有所不同，编译程序就认为是增加了一个新的成员函数，并不影响原有继承成员函数 重定义 在语义上重新修改继承成员函数的实现 如果在派生类中定义的成员函数，其函数原型与某个继承成员函数的原型相同，则该成员函数是对继承成员函数的重定义 1、多态性的基本概念（续） 几个名词的区别（续） 重命名 在派生类中不改变继承成员的语义，仅仅为该成员使用一个新名字 主要用于解决名字冲突，以及允许派生类根据新的应用环境选择更合适的术语对成员进行命名 2、函数重载 函数重载的形式：函数名相同而函数原型不同 同一作用域中允许多个函数使用同一函数名 这些函数的形参个数或者对应位置的形参类型不同 [例] ：max函数的重载 使用函数重载的注意事项（1） 不能用返回值类型区别重载函数 编译程序选择相应的重载函数版本时函数返回值类型不起作用 例： int fun(int); double fun(int); 不是重载函数 如果两个函数的名字和形参表完全相同，只有返回值类型不同，则认为后一个函数声明是错误的。 使用函数重载的注意事项（2） 不能用typedef声明的类型别名区别重载函数 typedef只是给已经存在的数据类型提供别名，并没有创建新的数据类型。 例： typedef double MONEY; double calculate(double income); MONEY calculate(MONEY income); 不是重载函数 使用函数重载的注意事项（3） 不能用参数传递方式区别重载函数 如果两个函数的形参个数和对应位置的形参类型并无区别，仅采用了不同的参数传递方式（即按值传递和按引用传递的区别），则它们不是合法的重载函数 例： void fun(int); void fun(int ); 不是重载函数???? 使用函数重载的注意事项（4） 缺省参数不能用于区别重载函数 函数是否包含缺省参数并不影响函数的参数个数及类型 例： void print(int i) { couti; } void print(int i=8) { couti; } 不是重载函数 注意：第二个函数定义在某种意义上相当于定义了两个重载函数：无形参的和带一个形参的 使用函数重载的注意事项（5） 不要重载相互间没有逻辑关联的函数 在C++程序中，main函数不能重载 重载确定（overload resolution） 又称函数匹配（function matching），指的是将某个函数调用与重载函数集合中的特定函数相关联的过程 由编译器自动提取函数调用中实际使用的实参与重载集合中各个函数提供的形参进行比较而实现 匹配可能有三种结果： 编译器找到与实参最为匹配的函数，则生成调用该函数的代码 编译器找不到形参与函数调用的实参相匹配的函数，则提示编译错误（函数无定义） 存在可与实参相匹配的多个函数，但没有一个是最佳选择。则编译器提示有二义性错误 重载确定（续） 实现重载确定的三个步骤： 确定候选函数 候选函数是在该作用域中可见的与被调函数同名的函数 选择可行函数 所谓可行函数，指的是能够用该函数调用中指定的实参进行调用的函数，必须满足两个条件： 函数的形参个数与该调用的实参个数相同 每个形参的类型要么与对应实参的类型相同，要么是对应实参可以隐式转换到的类型 若找不到可行函数，则编译器提示该调用出错（函数无定义） 重载确定（续） 实现重载确定的三个步骤（续）： 确定最佳匹配 根据函数调用中的实参，找出对应形参与之最匹配的可行函数 如果实参与形参的类型相同，则直接匹配