虚函数
在某基类中声明为 virtual 并在一个或多个派生类中被重新定义的成员函数，格式为：
virtual 函数返回类型 函数名(参数表);实现多态性，通过指向派生类的基类指针或引用，访问派生类中同名覆盖成员函数。简单地说，那些被 virtual 关键字修饰的成员函数，就是虚函数。虚函数的作用，用专业术语来解释就是实现多态性（Polymorphism），多态性是将接口与实现进行分离。
以下代码展示了虚函数的使用方法以及派生类和基类之间的特殊关系：
#include <iostream>
#include <string>
using namespace std;
const int Number = 4;
class Asd
{
private:
string fullName;
long acctNum;
public:
Asd(const string &s = "Nullbody", long an = -1);
virtual void Showinfo() const;
virtual void asdasdasd(){cout << "Asd::asdasdasd()" <<endl;}
virtual ~Asd(){}
};
class AsdPlus : public Asd
{
private:
int age;
public:
AsdPlus(const string &s = "Nullbody", long an = -1, int bn = 0);
virtual void Showinfo() const;
//virtual void asdasdasd();
//virtual ~AsdPlus();
};
Asd::Asd(const string &s, long an)
{
fullName = s;
acctNum = an;
}
void Asd::Showinfo() const
{
cout << "Clinet:" << fullName <<endl;
cout << "Account Number:" << acctNum <<endl;
}
AsdPlus::AsdPlus(const string &s, long an, int bn) : Asd(s, an)
{
age = bn;
}
void AsdPlus::Showinfo() const
{
//cout << "Clinet:" << fullName <<endl;
//cout << "Account Number:" << acctNum <<endl;
Asd::Showinfo();
cout << "Clinet's age:" << age <<endl;
}
int main()
{
Asd *client[Number];
string temp;
long tempnum;
char kind;
AsdPlus a("asd", 001, 23);
a.asdasdasd();
for(int i = 0; i < Number; ++i)
{
cout << "Enter client's name: ";
getline(cin, temp);
cout << "Enter client's account number: ";
cin >> tempnum;
cout << "Enter 1 for Asd Account or " << "2 for AsdPlus Account: ";
while(cin >> kind && (kind != '1' && kind != '2'))
cout << "Enter either 1 or 2: ";
if(kind == '1')
client[i] = new Asd(temp, tempnum);
else
{
int age;
cout << "Enter client's age: ";
cin >> age;
client[i] = new AsdPlus(temp, tempnum, age);
}
cout <<endl;
while(cin.get() != '\n')
continue;
}
for(int i = 0; i < Number; ++i)
{
client[i]->Showinfo();
cout <<endl;
}
for(int i = 0; i < Number; ++i)
{
delete client[i];
}
return 0;
}
先说明一下程序本身，该程序主要是想展现基类指针指向派生类对象时所表现的特性。在 main 函数前段构造了一个对象 AsdPlus a("asd", 001, 23)，而派生类中没有相应的函数 asdasdasd()，所以 a.asdasdasd() 会调用基类中的相应方法。上述派生类 AsdPlus 比基类 Asd 多了一个 age 数据成员。在 main 函数中先声明了一个基类的指针数组。但在后面的程序中，根据相应的选择，使指针数组中的指针指向不同的类对象。最后使用 client[i]->Showinfo() 将它们的信息输出。如果没有 virtual 关键字，程序会根据引用类型或指针类型选择方法。virtual 关键字的作用是告诉程序要根据引用或指针指向的对象的类型来选方法。在本例中的体现是派生类 AsdPlus 基类 Asd 使用同名函数 Showinfo() 所展示的不同结果。
纯虚函数
纯虚函数是在基类中声明的虚函数，它在基类中没有定义，但要求任何派生类都要定义自己的实现方法。在基类中实现纯虚函数的方法是在函数原型后加 "=0" ，即：virtual void funtion1() = 0;
引入原因
(1) 为了方便使用多态特性，常常需要在基类中定义虚函数。
(2) 在很多情况下，基类本身生成对象是不合情理的。例如，动物作为一个基类可以派生出老虎、孔雀等子类，但动物本身生成对象明显不合常理。
为了解决上述问题，引入了纯虚函数的概念，将函数定义为纯虚函数（方法：virtual ReturnType Function() = 0;），则编译器要求在派生类中必须予以重写以实现多态性。同时含有纯虚拟函数的类称为抽象类，它不能生成对象。这样就很好地解决了上述两个问题。声明了纯虚函数的类是一个抽象类。所以，用户不能创建类的实例，只能创建它的派生类的实例。
纯虚函数最显著的特征是：它们必须在继承类中重新声明函数（不要后面的＝0，否则该派生类也不能实例化），而且它们在抽象类中往往没有定义。定义纯虚函数的目的在于，使派生类仅仅只是继承函数的接口。
纯虚函数的意义，让所有的类对象（主要是派生类对象）都可以执行纯虚函数的操作，但类无法为纯虚函数提供一个合理的缺省实现。所以类纯虚函数的声明就是在告诉子类的设计者，"你必须提供一个纯虚函数的实现，但我不知道你会怎样实现它"。
程序例子
#include <iostream>
using namespace std;
class Shape
{
public:
Shape(){}
~Shape(){}
virtual float getArea();
virtual float getPerim() = 0;
};
float Shape::getArea()
{
cout << "Shape" <<endl;
}
class Circle:public Shape
{
public:
Circle(float radius):itsRadius(radius){}
~Circle(){}
virtual void Print();
float getArea(){return 3.14 * itsRadius * itsRadius;}
float getPerim(){return 6.28 * itsRadius;}
private:
float itsRadius;
};
void Circle::Print()
{
cout << "asd" <<endl;
}
class Rectangle:public Shape
{
public:
Rectangle(float len, float width):itsLength(len),itsWidth(width){}
~Rectangle(){}
virtual float getArea(){return itsLength * itsWidth;}
float getPerim(){return 2 * itsLength * itsWidth;}
virtual float GetLength(){return itsLength;}
virtual float GetWidth(){return itsWidth;}
private:
float itsWidth;
float itsLength;
};
int main()
{
Shape *sp;
//Circle Asd(5);
sp = new Circle(5);
cout << "The area of the Cirlce is:" <<sp->getArea() <<endl;
cout << "The perimeter of the Circle is:" << sp->getPerim() <<endl;
delete sp;
sp = new Rectangle(4,6);
cout << "The area of the Rectangle is:" << sp->getArea() <<endl;
cout << "The perimeter of the Rectangle is:" << sp->getPerim() <<endl;
delete sp;
return 0;
}
如果忘了将一个虚函数声明为纯虚函数，又没有对其定义（例如第 10 行代码）， 导致编译报错时报错如下（使用的是 CodeBlocks）：undefined reference to 'Shape::getPerim()' 。因为没有定义虚函数，所以无法生成虚函数表。
虚函数指针在定义了虚函数的类所实例化的对象内存中的第一个位置，也就是在实例化过程中生成了虚函数指针。这个错误提示在 stackflow 中最常见的解答就是类中声明了虚函数，却没有定义。在基类中，若有虚函数，则必须要对其定义。但在 main 函数中，如果有父类或者子类的实例对象，就需要有父类的虚函数的实现。
抽象类
抽象类是一种特殊的类，它是为了抽象和设计的目的为建立的，它处于继承层次结构的较上层。
(1) 抽象类的定义：称带有纯虚函数的类为抽象类。
(2) 抽象类的作用：抽象类的主要作用是将有关的操作作为结果接口组织在一个继承层次结构中，由它来为派生类提供一个公共的根，派生类将具体实现在其基类中作为接口的操作。所以派生类实际上刻画了一组子类的操作接口的通用语义，这些语义也传给子类，子类可以具体实现这些语义，也可以再将这些语义传给自己的子类。
(3) 使用抽象类时注意：抽象类只能作为基类来使用，其纯虚函数的实现由派生类给出。如果派生类中没有重新定义纯虚函数，而只是继承基类的纯虚函数，则这个派生类仍然还是一个抽象类。如果派生类中给出了基类纯虚函数的实现，则该派生类就不再是抽象类了，它是一个可以建立对象的具体的类。
参考：https://blog.csdn.net/hackbuteer1/article/details/7558868
总结：
(1) 纯虚函数声明如下： virtual void funtion1() = 0; 纯虚函数一定没有定义，纯虚函数用来规范派生类的行为，即接口。包含纯虚函数的类是抽象类，抽象类不能定义实例，但可以声明指向实现该抽象类的具体类的指针或引用。
(2) 虚函数声明如下：virtual ReturnType FunctionName(Parameter)；虚函数必须实现，如果不实现，编译器将报错，错误提示为：error LNK****: unresolved external symbol "public: virtual void __thiscall ClassName::virtualFunctionName(void)"
(3) 对于虚函数来说，父类和子类都有各自的版本。由多态方式调用的时候动态绑定。
(4) 实现了纯虚函数的子类，该纯虚函数在子类中就变成了虚函数，子类的子类即孙子类可以覆盖该虚函数，由多态方式调用的时候动态绑定。
(5) 虚函数是 C++ 中用于实现多态（polymorphism）的机制。
(6) 在有动态分配堆上内存的时候，析构函数必须是虚函数，但没有必要是纯虚的。
(7) 友元不是成员函数，只有成员函数才可以是虚拟的，因此友元不能是虚拟函数。但可以通过让友元函数调用虚拟成员函数来解决友元的虚拟问题。
(8) 析构函数应当是虚函数，将调用相应对象类型的析构函数，因此，如果指针指向的是子类对象，将调用子类的析构函数，然后自动调用基类的析构函数。
有纯虚函数的类是抽象类，不能生成对象，只能派生。它派生的类的纯虚函数没有被改写，那么，它的派生类还是个抽象类。定义纯虚函数就是为了让基类不可实例化，因为实例化这样的抽象数据结构本身并没有意义。或者给出实现也没有意义，实际上我个人认为纯虚函数的引入，是出于两个目的：
(1) 为了安全，因为避免任何需要明确，但是因为不小心而导致的未知的结果，提醒子类去做应做的实现。
(2) 为了效率，不是程序执行的效率，而是为了编码的效率。
扫一扫
1911
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
