带Body的纯虚函数与不带Body的虚函数?(C++学习)

虚函数

纯虚函数

基类本身可生成对象

基类本身不能生成对象

基类中必须提供实现

必须在派生类中提供实现

"实体继承"

"接口继承"

纯虚函数

• 带纯虚函数的类叫虚基类(也叫抽象类)，这种基类不能直接生成对象，而只有被继承，才能使用。

有一点有意思：

• 纯虚函数也可以提供实现

首先想到的：如果纯虚函数有了实现，是不是说明了这个基类可以直接生成对象了？

class A{public:    virtual void fun()=0;};void A::fun(){    printf("A::fun/n");};int main(){    A * a = new A;    a->fun();    delete a;    return 0;}

事实证明不行。g++与cl分别给出错误信息如下：

error: cannot allocate an object of abstract type 'A'   because the following virtual functions are pure within 'A':        virtual void A::fun()

 

error C2259: 'A' : cannot instantiate abstract class        due to following members:        'void A::fun(void)' : is abstract         see declaration of 'A::fun'

想想也是哈，如果这样的话，和虚函数就没有任何区别了。

然后闪现的是：是不是派生类可以不用为它提供实现了呢？

class B: public A{};int main(){    A * a = new B;    a->fun();    delete a;    return 0;}

恩，出现和上面一样的编译错误。那么这个东西是怎么用的呢？

 

class B: public A{public:    void fun()    {        A::fun();        printf("B::fun/n");    }};

原来需要这样被调用。

为纯虚函数添加定义体应该没什么必要，似乎对纯析构函数，某些时候有用？

ISO C++ 12.4 (7):A destructor can be declared virtual (10.3) or pure virtual (10.4); if any objects of that class or any derived class are created in the program, the destructor shall be defined. If a class has a base class with a virtual destructor, its destructor (whether user or implicitly declared) is virtual. 

 

ISO C++ 10.4 (2):A pure virtual function need be defined only if explicitly called with the qualified id syntax (5.1). 

虚函数

纯虚函数可以有函数体，那么虚函数是不是可以没有函数体呢？

而且今天在newsmth看到一个网友问：为什么没有函数体不出错？

class A{public:    virtual void fun();};class B{public:    virtual void fun();};class C: public A, public B{public:    void fun()    {        printf("C::fun/n");    }};int main(){    return 0;}

我也不知道具体原因，只是感觉上：程序中根本就没使用它，应该不会出错。

甚至还在想，反正C的对象不需要使用A和B中的虚函数，这时创建C的对象应该也没问题吧？

int main(int argc, char* argv[]){    C c;    c.fun();    return 0;}

编译器直接告诉结果了：

cckOIw8K.o:virtual.cpp:(.text$_ZN1AC2Ev[A::A()]+0x8): undefined reference to `vtable for A'cckOIw8K.o:virtual.cpp:(.text$_ZN1BC2Ev[B::B()]+0x8): undefined reference to `vtable for B'collect2: ld returned 1 exit status

 

virtual.obj : error LNK2001: unresolved external symbol "public: virtual void __thiscall A::fun(void)" (?fun@A@@UAEXXZ)virtual.obj : error LNK2001: unresolved external symbol "public: virtual void __thiscall B::fun(void)" (?fun@B@@UAEXXZ)virtual.exe : fatal error LNK1120: 2 unresolved externals

好奇怪啊？为何纯虚函数就不需要，虚函数非要有定义呢(我们又不需要使用这个虚函数)。

看来需要学习一点C++对象的内存模型了

参考

• http://stackoverflow.com/questions/1306778/c-virtual-pure-virtual-explained

• http://stackoverflow.com/questions/5481941/c-pure-virtual-function-have-body

• http://www.codeguru.com/forum/showthread.php?t=356281

• http://www.parashift.com/c++-faq-lite/virtual-functions.html

• http://www.artima.com/cppsource/pure_virtual.html