第12章 友元和多态

执行该程序后输出以下2行 执行该程序后输出以下 行： x=1000 y=2000 z=3000 x=1000 y=2000 z=3000 将virtual void print() 改为 void print()，输出变为： ，输出变为： x=1000 y=2000 z=3000 x=1000 x=1000 x=1000
1.黄色的 黄色的MakeObj和main是类 的一般友元函数，所以 是类F的一般友元函数 黄色的 和 是类 的一般友元函数， 这两个函数可直接使用F的私有成员 的私有成员； 这两个函数可直接使用 的私有成员； 2.红色的类 是类 的友元 红色的类F2是类 红色的类 是类F的友元 3. main作为类 的友员的原因是类 的构造函数是私有 作为类F的友员的原因是类 作为类 的友员的原因是类F的构造函数是私有 没有main是友元的说明，两行斜体有下划线的行 是友元的说明， 的。没有 是友元的说明 中私有成员” 编译有“不能取F中私有成员 的错误信息。 编译有“不能取 中私有成员”的错误信息。 注意：此处将F的构造函数说明为私有是作为例子 的构造函数说明为私有是作为例子， 注意：此处将 的构造函数说明为私有是作为例子，说 类作为友元这个问题，不希望仿效。 明类作为友元这个问题，不希望仿效。
（3）将一个类作为友元 ）
#include <iostream.h> class F{ int var; F(){var =500;} public: int GetVar(){return var;} friend void MakeObj( ); friend class F2; friend void main( ); }; class F2{ int var2; public: F2(F *x){ var2=x->var;} GetVar2(){return var2;} }; F *GlobalF; void MakeObj( ) { GlobalF = new F; GlobalF->var=1000; }
Hale Waihona Puke 12.2 虚函数根据上一章赋值兼容规则， 根据上一章赋值兼容规则，对象可以作为它 自己的类型或它的基类的对象使用， 自己的类型或它的基类的对象使用，还能通过 基类的地址被操作。取一个对象的地址（ 基类的地址被操作。取一个对象的地址（或指 针或引用），并看作基类的地址， ），并看作基类的地址 针或引用），并看作基类的地址，这被称为向 上映射，因为继承树是以基类为顶点的。 上映射，因为继承树是以基类为顶点的。
一般函数 其它类中的一个成员函数 一个类名（ 一个类名（意味着该类中的所有成员函数都可以直接使 用本类的私有或保护成员) 用本类的私有或保护成员
12.1 友元函数
注意： 注意：
1.
类的友元关系并没有传递性： 是 的友元 的友元， 类的友元关系并没有传递性：X是Y的友元， Y是Z的友元，这不意味着 是Z的友元，友元 的友元， 的友元， 是 的友元 这不意味着X是 的友元 关系是不可继承的。 关系是不可继承的。 友元是为了提高效率而引入的， 友元是为了提高效率而引入的，以破坏封装 性为代价，使用中要谨慎，不可滥用。 性为代价，使用中要谨慎，不可滥用。
(2)一个类成员函数作为友元 一个类成员函数作为友元
#include <iostream.h> class B; 前面说明类B， 前面说明类 ，因为 class A{ 在类A中用到类 中用到类B 在类 中用到类 float x ,y; public: A(float a,float b){x=a; y=b;} float Getx(){return x;} float Gety(){return y;} void Setxy( B &); 执行程序后输出以下 类A的成员函数 的成员函数Setxy， ， 的成员函数 }; 3行： 行 的原型说明， 的原型说明，此处无 25 40 法定义函数体， 法定义函数体，因为 class B{ 55 66 类B还没有定义 还没有定义 float c,d; 55 66 public: B(float a,float b) {c=a;d=b;} 类成员函数A::Setxy 类成员函数 float Getc(){return c;} 被声明为是类B的友元 被声明为是类 的友元 float Getd(){return d;} friend void A::Setxy( B &); }; 的成员函数Setxy的定义， 的定义， 类A的成员函数 的成员函数 的定义 在类B定义后 定义后， 在类 定义后，Setxy可以定义 可以定义 void A::Setxy(B &b) 了。 { x=b.c;y=b.d; }
Teacher类 类
Person类 类
Student类 类
问题：不同的对象查找的信息不一样。 问题：不同的对象查找的信息不一样。
（1）用Person_s, Student_s, Teacher_s代 ） 代 表三个查找成员函数。 表三个查找成员函数。 （2）都用一个名字，比如：Search ）都用一个名字，比如：
#include <iostream.h> class A{ int x; public: A(){x =1000;} virtual void print() {cout <<"x="<<x<<'\t';} }; class B:public A{ int y; public: B() { y=2000;} void print() {cout <<"y="<<y<<'\t';} }; class C:public A{ int z; public: C(){z=3000;} void print() {cout <<"z="<<z<<'\n';} };
每个类有一个信息查询函数： 每个类有一个信息查询函数： Person:给出标识号 得到：姓名 给出标识号 得到： 给出 Student:给出标识号得到：姓名、各科成绩 给出标识号得到 给出标识号得到：姓名、 Teacher:给出标识号得到：姓名、在某段时间 给出标识号得到 给出标识号得到：姓名、 内的教学、 内的教学、科研情况
执行该程序后输出以下2行 执行该程序后输出以下 行： x=1000 y=2000 x=1000 x=1000
多态的体现 ： 编译时多态：编译时能确定用哪个重载函数。 函数的重载 - 编译时多态：编译时能确定用哪个重载函数。 int abs(int i) float abs(float x) {return (i>0)?i:-i;} {return (x>0.0)?x:-x;} abs(-10); abs(10.0) 运行时的多态：编译使无法确定，只有在运行时才能确定。 虚函数 - 运行时的多态：编译使无法确定，只有在运行时才能确定。 定义：成员函数前加上virtual，就成为了虚函数 。 虚函数具有继承性 ， 定义 ： 成员函数前加上 ， 就成为了虚函数。虚函数具有继承性， 派生类中都具有该性质。 派生类中都具有该性质。因此在派生类中重新定义该函数功能时前面可加也 可不加virtual。（但在派生类中函数的形参（包括个数、类型）不能变，函 可不加 。 但在派生类中函数的形参（包括个数、类型）不能变， 数返回值类型不能变，否则，在派生类中该函数就没有虚的特性了） 数返回值类型不能变，否则，在派生类中该函数就没有虚的特性了） 目的：实现一个名字（接口） 目的：实现一个名字（接口），不同实现 。
12.2 虚函数
#include <iostream.h> class A{ int x; public: A(){x =1000;} void print() {cout <<"x="<<x<<'\t';} }; class B:public A{ int y; public: B() { y=2000;} void print() {cout <<"y="<<y<<'\t';} }; class C:public A{ int z; public: C(){z=3000;} void print() {cout <<"z="<<z<<'\n';} }; void main( ) { A a, *pa; B b; C c; a.print(); b.print(); c.print(); pa=new A; pa->print(); delete pa; pa=new B; pa->print(); delete pa; pa=new C; pa->print(); delete pa; } z=3000 x=1000
void main( ) { A a1(25,40); B b1(55,66); cout<<a1.Getx()<<' '<< a1.Gety()<<endl; cout<<b1.Getc()<<' '<< b1.Getd()<<endl; a1.Setxy(b1); cout <<a1.Getx()<<' '<< a1.Gety()<<endl; }
void main( ) { A a, *pa; B b; C c; a.print(); b.print(); c.print(); pa=new A; pa->print(); delete pa; pa=new B; pa->print(); delete pa; pa=new C; pa->print(); delete pa; }