虚方法听起来玄乎其玄,所以通过它的定义来解释和学习是很困难的一件事情...所以,我们通过一个实例来进行学习
在C和C++中我们完全可以在没有创建变量的情况下为有关数据分配内存,也就是直接创建一个指针,并使它指向一个内存块
就是这样(new 相当于malloc 的进化版本,delete相当于free ,注意内存泄露问题)
在写程序时会遇到这样的问题,我们有一个pet类作为父类,分别创建继承于他的cat和dog,并且覆写父类的play构造方法,会发现他还是调用父类的play方法
原因:
->C++的创始人希望用cpp生成的代码和c一样快
->所以程序在编译的时候,编译器会检查所有的代码,在如何对数据进行处理和对该类型进行何种处理之间寻找一个最佳点
->cat和dog都是pet类型指针,编译器在运行时就会认为这两个指针调用的play()方法都是pet::play()方法,因为这是执行的最快结果
//错误的源头就是我们使用了new在程序运行时才为之分配dog和cat类型的指针这些在他们运行时分配的指针和他们在编译是的类型是不一样的,为了让编译器知道他应该在运行时的类型而有选择的调用正确方法,我们必须把这些方法声明称虚方法
声明一个虚方法的形式很简单
另外,虚方法是继承的,如果在某个父类里面声明某个方法为虚方法,那么他的子类就不能再把这个方法声明为虚方法了
声明虚方法除了会使程序慢一点没有任何坏处
ps:析构器都是虚方法,因为他们如果不是虚方法的话,运行时编译器会调用基类里面定义的版本,从而导致内存泄露
#include<iostream>
#include<string>
class Pet
{
public:
Pet(std::string theName)
{
name=theName;
}
void play()
{
std::cout<<"正在玩儿!!!"<<std::endl;
}
protected:
std::string name;
};
class Cat : public Pet
{
public:
Cat(std::string theName) : Pet(theName)
{
}
void play()
{
std::cout<<"正在抓毛线球!!!"<<std::endl;
}
};
class Dog : public Pet
{
public:
Dog(std::string theName):Pet(theName)
{
}
void play()
{
std::cout<<"正在奔跑!!!"<<std::endl;
}
};
int main()
{
Pet *cat=new Cat("小懒猫");
Pet *dog=new Dog("小懒狗");
cat->play();
dog->play();
return 0;
}
把基类中的 void play() 改成 virtual void play()
或者
Pet *cat=new Cat("小懒猫");改为 Cat *cat=new Cat("小懒猫")
Pet *dog=new Dog("小懒狗");改为 Dog *dog=new Dog("小懒狗")