1,函数重写
如果子类定义了与父类中原型相同的函数会发生什么?
1,在子类中定义与父类中原型相同的函数。
2,函数重写只发生在父类与子类之间。
#include <cstdlib>
#include <iostream>
using namespace std;
class Parent
{
public:
void print()
{
cout<<"i'm parent.."<<endl;
}
};
class Child : public Parent
{
public:
void print()
{
cout<<"i'm child.."<<endl;
}
};
父类中被重写的函数依然会继承给子类。
默认情况下子类中重写的函数将隐藏父类中的函数。
通过作用域分辨符::可以访问到父类中被隐藏的函数。
Parent parent;
Child child;
parent.print();
child.Parent::print();
child.print();
2,当函数重写遇上赋值兼容性原则
你期望下面的程序输出什么?
#include <cstdlib>
#include <iostream>
using namespace std;
class Parent
{
public:
void print()
{
cout<<"i'm parent.."<<endl;
}
};
class Child : public Parent
{
public:
void print()
{
cout<<"i'm child.."<<endl;
}
};
void run()
{
Child child;
Parent* pp = &child;
Parent& rp = child;
child.print();
pp->print();
rp.print();
}
int main()
{
run();
return 0;
}
结果是
i'm child..
i'm parent..
i'm parent..
为什么结果会是这个呢?
1,c++与c相同是静态编译型语言。
2,在编译时,编译器自动根据指针类型判断指向的是一个什么样的对象。
3,所以编译器认为父类指针指向的是父类对象
4,由于程序没有运行,所以不可能知道父类指针指向的具体是父类对象还是子类对象。
5,从程序安全的角度,编译器假设父类指针只指向父类对象,因此编译的结果为调用父类的成员函数。
你可能会说这句话
Parent *pp = &child
明明指向child,为什么会说编译器不知道?
下面我们来看一个例子
void print(Parent *p)
{
p->print();
}
假设我调用了这个函数,那么在编译这个函数的时候,编译器不可能知道指针p指向了什么。对吧
但是编译器也不能报错,所以编译器认为最好的做法就是编译父类的print函数,因为父类和子类都有相同的print函数啊。
3,多态的本质
1,面向对象的新需求
根据实际的对象类型来判断重新函数的调用
如果父类指针指向的是父类对象则调用父类中定义的函数。
如果父类指针指向的是子类对象则调用子类中定义的重写函数。
2,面向对象中的多态
根据实际的对象类型决定函数调用语句的具体调用目标
多态:同样的调用语句有多种 不同的表现形态。
3,c++中多态的支持
c++通过虚函数virtual关键字对多态进行支持。
使用virtual声明的函数被重写后即可展现多态特性。
4,重写与重载
请看下面的例子?它的继承方式有问题吗?
#include <cstdlib>
#include <iostream>
using namespace std;
class Parent
{
public:
virtual void func()
{
cout<<"void func()"<<endl;
}
virtual void func(int i)
{
cout<<"void func(int i)"<<endl }
virtual void func(int i, int j)
{
cout<<"void func(int i, int j)"<<endl;
}
};
class Child : public Parent
{
public:
void func(int i, int j)
{
cout<<"void func(int i, int j)"<<" "<<i + j<<endl;
}
void func(int i, int j, int k)
{
cout<<"void func(int i, int j, int k)"<<" "<<i + j + k<<endl;
}
};
void run(Parent* p)
{
p->func(1, 2);
}
int main(int argc, char *argv[])
{
Parent p;
p.func();
p.func(1);
p.func(1, 2);
Child c;
c.Parent::func();
run(&p);
run(&c);
return EXIT_SUCCESS;
}
函数重载:
必须在同一个类中进行
子类无法重载父类的函数。
重载时在编译期间根据参数类型和个数决定调用函数
函数重写:
必须发生于父类与子类之间。
并且父类与子类中的函数必须有完全相同的原型。
使用virtual声明之后能够产生多态。
多态是在运行期间根据具体对象的类型决定调用函数。
5,虚函数深入理解
1,c++中多态的实现原理
当类中声明虚函数时,编译器会在类中生成一个虚函数表。(最终会进入可执行程序)
虚函数表是一个存储类成员函数指针的数据结构。
虚函数表示有编译器自动生成与维护的。
virtual成员函数会被编译放入虚函数表中。
存在虚函数时,每个对象中都有一个指向虚函数表的指针。
以下面的为例
调用该函数的时候 编译器首先确定fun是否为虚函数?
void run(Parent *p)
{
p->fun();
}
调用该函数的时候 编译器首先确定fun是否为虚函数?
是:编译器在对象VPTR多指向的虚函数表中查找fun(),并调用,查找和调用在运行时候完成。
不是:编译器直接可以确定并找到被调用成员函数。
注意:
通过虚函数表指针VPTR调用重写函数是在程序运行时完成的,因此需要通过寻址操作才能确定真正应该调用的函数,而普通成员函数是在编译时就确定了调用的函数,所以在效率上虚函数要低很多。
所以我们没有必要将所有成员函数都声明为虚函数。
那么对象中的VPTR指针声明时候被初始化?
1,对象在创建的时候由编译器对VPTR指针进行初始化。
2,只有当对象的构造完全结束后VPTR的指向才最终确定。
3,父类对象的VPTR指向父类虚函数表。
4,子类对象的VPTR指向子类虚函数表。
结论: 构造函数中调用虚函数无法实现多态。