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

晨曦之光 发布于 2012/05/08 10:15
阅读 409
收藏 0

虚函数

纯虚函数

基类本身可生成对象

基类本身不能生成对象

基类中必须提供实现

必须在派生类中提供实现

"实体继承"

"接口继承"

纯虚函数

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

有一点有意思:

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

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

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://blog.csdn.net/dbzhang800/article/details/6416076
加载中
返回顶部
顶部