多态典型用例之virtual
多态典型用例之virtual
参考：https://www.cnblogs.com/dormant/p/5223215.html
1.虚函数(virtual)
(1)在某基类中声明为 virtual 并在一个或多个派生类中被重新定义的成员函数。实现多态性，通过指向派生类的基类指针或引用，访问派生类中同名覆盖成员函数。
实例：
#include "pch.h"
#include <iostream>
using namespace std;
class A
{
public:
void print()
{
cout<<"class A"<<endl;
}
};
class B:public A
{
public:
void print()
{
cout<<"class B"<<endl;
}
};
int main()
{
A a;
B b;
a.print();
b.print();
return 0;
}
输出结果：
(2)通过class A和class B的print（）这个接口，可看出两个class采用了不同的策略，但这并不是多态性行为（使用的是不同类型的指针），没有用到虚函数的功能。改main函数为如下:
int main()
{
A a;
B b;
A *P1=&a;
A *p2=&b;
p1->print();
p2->print();
return 0;
}
输出结果：
(3)p2明明指向的是class B的对象但却是调用的class A的print（）函数，这不是我们所期望的结果，那么解决这个问题就需要用到虚函数。
class A
{
public:
virtual void print()
{
cout<<"class A"<<endl;
}
};
class B:public A
{
public:
void print()
{
cout<<"class B"<<endl;
}
};
输出结果：
现在，class A的成员函数print（）已经成了虚函数 class B的print（）也成了虚函数了。我们只需在把基类的成员函数设为virtual，其派生类的相应的函数也会自动变为虚函数。（对于在派生类的相应函数前是否需要用virtual关键字修饰，语法上可加可不加，不加的话编译器会自动加上，但为了阅读方便和规范性，建议加上）
总结：指向基类的指针在操作它的多态类对象时，会根据不同的类对象，调用其相应的函数，这个函数就是虚函数。
2.虚析构函数
当一个类有子类时，该类的析构函数必须是虚函数，原因：会有资源释放不完全的情况。
#include "pch.h"
#include <iostream>
using namespace std;
class Base
{
public:
~Base()
{
cout << "~Base()" << endl;
}
};
class Derived :public Base
{
public:
Derived()
{
p = new int(0);
}
~Derived()
{
cout << "~Derived()" << endl;
delete p;
}
private:
int *p;
};
void fun(Base *b)
{
delete b;
}
int main()
{
Base *b = new Derived();
fun(b);
return 0;
}
输出结果：
这里可以看到，对象销毁时只调用了父类的析构函数。如果这时子类的析构函数中有关于内存释放的操作，将会造成内存泄露。所以需要给父类的析构函数加上virtual。
class Base
{
public:
virtual ~Base()
{
cout << "~Base()" << endl;
}
};
输出结果：
3.纯虚函数(抽象函数)
纯虚函数是一种特殊的虚函数，在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。这就是纯虚函数的作用。
纯虚函数就是没有函数体，同时在定义的时候，其函数名后面要加上“= 0”。
class base1
{
public:
virtual void display() const=0;
};
int main()
{
base1 b1;//错误
base2 b2;
derived d;
fun(&b1);
fun(&b2);
fun(&d);
return 0;
}
图：
base1是一个抽象类，不能实例化。
例1：
#include "pch.h"
#include <iostream>
using namespace std;
class base1
{
public:
virtual void display() const=0;
};
class base2 :public base1
{
public:
virtual void display() const;
};
void base2::display() const
{
cout << "base2::display()" << endl;
}
class derived :public base2
{
public:
virtual void display() const;
private:
};
void derived::display() const
{
cout << "derived::display()" << endl;
}
void fun(base1 *ptr)
{
ptr->display();
}
int main()
{
base2 base2;
derived derived;
fun(&base2);
fun(&derived);
return 0;
}
输出结果：
例2：
#include "pch.h"
#include<iostream>
using namespace std;
class Fish
{
public:
virtual void water() = 0;
virtual void eat() = 0;
};
class Shark : public Fish
{
public:
void water();
void eat();
};
void Shark::eat(){cout<<"Shark eat. "<<endl;}
void Shark::water(){cout<<"Shark water. "<<endl;}
void fun(Fish *f)
{
f->eat();
f->water();
}
void main()
{
Shark s;
Fish *f = &s;
fun(f);
}
输出结果：
a.定义纯虚函数时，不能定义纯虚函数的实现部分。即使是函数体为空也不可以，函数体为空就可以执行，只是什么也不做就返回。而纯虚函数不能调用。
（其实可以写纯虚函数的实现部分，编译器也可以通过，但是永远也无法调用。因为其为抽象类，不能产生自己的对象，而且子类中一定会重写纯虚函数，因此该类的虚表内函数一定会被替换掉，所以可以说永远也调用不到纯虚函数本身）
b."=0"表明程序将不定义该函数，函数声明是为派生类保留一个位置。“=0”的本质是将指向函数体的指针定为NULL。
c.在派生类中必须有重新定义的纯虚函数的函数体，这样的派生类才能用来定义对象。（如果不重写进行覆盖，程序会报错）
