1、纯虚函数(pure virtual function):
声明一个pure virtual
函数的目的是为了让derived classes
只继承函数接口,派生类必须提供实现。
可以为pure virtual
函数提供定义,但使用时需要指明所属类,如:
//.h
class A{
public:
virtual void func1() = 0;
};
class B : public A{
public:
virtual void func1(){A::func1();};
};
//.cpp
void A::func1(){..........}
B b;
b.A::func1(); // 与b.func1()结果相同,相当于提供了缺省实现,但派生类需要主动指定。
2、非纯(普通)虚函数(impure virtual function):
声明非纯(普通)虚函数的目的是,让derived classes
指定接口继承与缺省实现继承。派生类可以生成自己的实现方式,若不提供则使用基类的实现方式,如上例中class B
。
3、非虚函数(non-virtual function):
声明非虚函数的目的是,让derived classes
继承函数接口与一份强制性实现,表明派生类不应该更改该实现。
例:
//.h
class A{
public:
void func1();
};
class B : public A{
public:
void func1();
};
//.cpp
B b;
A* pt1 = &b;
pt1->func1(); //调用A::func1(),不符合预期
B* pt2 = &b;
pt2->func1(); //调用B::func1()
因为非虚函数A::func1()与B::func1()
都为静态绑定,pt1调用的非虚函数永远是A类定义的版本。
若class B没有覆盖func1
,pt2->func1()
调用仍成功(根据作用域查找该函数)。
参考资料:Effective C++ 条款34:区分接口继承和实现继承与条款36:绝不重新定义继承而来的non-virtual函数
总结:
1、纯虚函数可以提供实现,可以被派生类调用。
2、绝对不要重新定义继承而来的non-virtual函数。