1. 虚函数和纯虚函数:
虚函数:为了使基类指针调用子类的这个函数,指向谁,就调用谁的函数,可以实现多态的效果。
纯虚函数:为了实现一个接口,起到规范作用,继承这个类的必须实现这个函数。
class A
{
public:
virtual void foo()
{
cout<<"A::foo() is called"<<endl;
}
};
class B:public A
{
public:
void foo()
{
cout<<"B::foo() is called"<<endl;
}
};
int main(void)
{
A *a = new B();
a->foo(); // 在这里,a虽然是指向A的指针,但是被调用的函数(foo)却是B的!
return 0;
}
如果调用的函数是虚函数,则谁实例化,就调用谁的。
2. 纯虚函数
1.定义
纯虚函数是在基类中声明的虚函数,它在基类中没有定义,但要求任何派生类都要定义自己的实现方法。在基类中实现纯虚函数的方法是在函数原型后加“=0”。
virtual void funtion1()=0
class GrandFather
{
public:
GrandFather() {}
virtual void fun() = 0
{
cout << "GrandFather call function!" << endl;
}
virtual ~GrandFather()
{
cout << "GrandFather destruction!" << endl;
}
};
2、引入原因
1、为了方便使用多态特性,我们常常需要在基类中定义虚拟函数。
2、在很多情况下,基类本身生成对象是不合情理的。例如,动物作为一个基类可以派生出老虎、孔雀等子类,但动物本身生成对象明显不合常理。
声明了纯虚函数的类是一个抽象类。所以,用户不能创建类的实例,只能创建它的派生类的实例。
纯虚函数最显著的特征是:它们必须在继承类中重新声明函数(不要后面的=0,否则该派生类也不能实例化),而且它们在抽象类中往往没有定义。
3. 抽象类的介绍
(1)抽象类的定义: 称带有纯虚函数的类为抽象类。
(2)抽象类的作用:
抽象类的主要作用是将有关的操作作为结果接口组织在一个继承层次结构中,由它来为派生类提供一个公共的根,派生类将具体实现在其基类中作为接口的操作。所以派生类实际上刻画了一组子类的操作接口的通用语义,这些语义也传给子类,子类可以具体实现这些语义,也可以再将这些语义传给自己的子类。
(3)使用抽象类时注意:
• 抽象类只能作为基类来使用,其纯虚函数的实现由派生类给出。如果派生类中没有重新定义纯虚函数,而只是继承基类的纯虚函数,则这个派生类仍然还是一个抽象类。如果派生类中给出了基类纯虚函数的实现,则该派生类就不再是抽象类了,它是一个可以建立对象的具体的类。
• 抽象类是不能定义对象的。
3. 子类和父类
- 父类指向子类,使用虚函数,可以直接实现多态,可以用父类指向子类或父类。
- 如果父类不是虚函数,则父类指向子类,则实现的是父类函数(普通的成员函数(没有带virtural)会根据指针的类型决定调用哪个函数,而虚函数则会每次都去查虚函数表,根据具体的类对象来决定调用哪个函数)。
- 只要基函数定义了virtual,继承类的该函数也就具有virtual属性。
-
父类指向子类,如果有一个方法是虚函数,一个是普通函数,则普通函数调用父类,虚函数调用子类。 pf->fa();//对于普通成员函数,简单的根据指针类型来决定调用的函数 pf->fb();//对于虚函数,则需要查虚函数表
-
class father{ public: void fa() { cout << "fa" << endl; } virtual void fb() { cout << "fb" << endl; } }; class son :public father{ public: void fa() { cout << "son::fa" << endl; } void fb() { cout << "son::fb" << endl; } }; int main() { father f; son s; father *pf; son *ps; pf = &s;//子类对象赋给父类指针,类的向上转换是安全的,隐式的 pf->fa();//对于普通成员函数,简单的根据指针类型来决定调用的函数 pf->fb();//对于虚函数,则需要查虚函数表 ps = (son*)&f;//向下转换,不安全 ps->fa();//如果是普通的成员函数,则只会机械的根据指针类型去调用相应的函数 ps->fb();//如果是虚函数,则会每次都去查虚函数表,看到底是什么类型的对象,再决定调相应的函数(虽然类的向下转换是不安全的,会报错的) system("pause"); return 0; }
总结:
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、析构函数应当是虚函数,将调用相应对象类型的析构函数,因此,如果指针指向的是子类对象,将调用子类的析构函数,然后自动调用基类的析构函数。