它山之石----私有派生

类别:编程语言 点击:0 评论:0 推荐:

 

它山之石

                       ----私有派生

作者:HolyFire

 

它山之石,可以攻玉。说的是善于利用事物,可以做到自己不能做的事。

 

我曾经在《白马非马----继承》中论及类的关系,其中说了很多公有派生的话题,指出共有派生中,子类与父类的关系为是一个的关系,现在我要说的私有派生却是用一个的关系。改变了一个关键字,会带来本质的变化,这正是世事变化无常的明证。

 

我们先来看看,私有派生到底有什么区别

 

这是一个封装好的类

 

class A{

public:

        int data;

};

 

class B : private A{

};

 

class C : public A{

};

 

void function1( A a )

{

}

 

void main()

{

        B b;

        C c;

 

        b.data = 0;

        function1( b );

 

        c.data = 0;

        function1( c );

}

 

我们编译一下,会发现

        b.data = 0;

        function1( b );

这两句被拒绝了,而

        c.data = 0;

        function1( c );

却没有问题

        b.data = 0;

        c.data = 0;

说明了私有派生与公有派生的第一个区别,私有派生的子类所有基类的成员都将成为私有的,成员函数也不例外,不相信你可以试试看哦。

        function1( b );

        function1( c );

说明了私有派生与公有派生的第二个区别,私有派生的子类与其基类不再为是一个的关系,所以function1( b );不能将参数转化为一个类型A的临时变量。

 

但是私有派生的子类还是可以使用其基类的public和protected的成员,与公有派生不同的是原来基类的接口不再为子类所有,子类拥有的只是其实现。

 

为什么这样说呢,在C++中的问题在于,接口和实现一样都是函数(方法)。这样就令我们有所混淆,但是在私有派生中,这个问题将得到澄清。

 

class A{

public:

        void DoA( void ){}

};

 

class B : private A{

public:

        void DoB( void ){ DoA(); }

};

 

class C : public A{

public:

        void DoC( void ){ DoA(); }

};

 

void main()

{

        B b;

        C c;

 

        b.DoB();

        c.DoC();

        b.DoA();

        c.DoA();

}

        b.DoB();

        c.DoC();

是派生子类的接口

        b.DoA();

        c.DoA();

是子类使用基类的接口,但是b.DoA();编译通不过,因为私有派生不能继承基类的接口,但是他在

void DoB( void ){ DoA(); }

却使用了A::DoA();因为他继承了基类的结构和实现。

好了,类B可以使用类A的实现,但是不能象一个类A一样提供A的接口,也就是说,B是将A拿来用的,B使用一个A,而B不是A。B和A的关系其实在于功能的使用方面,私有派生中子类与父类的关系为用一个的关系。

 

既然思想上知道了私有派生的意义,那么它到底有什么用呢,到底需不需要私有派生呢。

 

这个很容易想到,既然私有派生是用一个的关系,而我们上面说到子类对基类只是有实现方面的需要,也就是子类用基类做什么事,那么我们就知道私有派生适合什么场合了。比如说樵夫用斧子劈柴火,那么樵夫就应该用一个斧子。

 

class Axe{

};

 

class Axman : private Axe{

};

 

等等,有人不禁想到

 

class Axman{

    Axe axe;

};

 

不是也可以描述这个关系吗,对了!樵夫有一个斧子的话,不就可以用一个斧子了吗,这样的代码看起来还更容易理解。用一个的关系的确可以用有一个的关系来替代,使用关联中的组合的确可以替代私有派生的方案。

 

class Axman{

    Axe * axe;

};

 

这样的关系看起来更有弹性,因为樵夫没理由要永远把斧子带在身上,斧子还可以给别的樵夫用呢。

 

很明显,这又是效率和弹性取舍的问题,没有一个完美的方案,只有适合不适合的方案。如果问题很明显,而且不可预知性很少,那么就用继承,反之就用关联。有人要说了,其实继承和关联的效果不是一样吗。

 

class Axe{

};

 

class Axman : private Axe{

};

 

class Axman{

    Axe axe;

};

 

应该没有效率的差异吧。其实实际的问题不是这样的。

 

相信很多人编程的时候都知道空类和空结构是占用资源的

class Empty{

};

至少要占用一个字节,如果有字节对齐还会更多,那么

class Axman{

    Axe axe;

};

中的Axe axe;就会有资源占用,如果编译器支持空基类优化的话,也就是由空类派生而来的子类中基类部分将不占用资源,那么Axe axe;的附加损失会在私有继承中消失。

 

呵呵,我举的这个例子过于特殊,而且涉及到编译器等细节问题,其实我想说的还是那句话,没有一个完美的方案,只有适合不适合的方案。过于拘泥继承和关联的形式并不好,掌握了思想然后恰当的运用它才是主要的。

 

我们经常会用到的一个数据结构就是堆栈了,堆栈是一个先进后出的容器,那么它需要使用一个容器,STL中的vector是一个容器,但stack不是一个vector,他只是需要使用vector可以存储的功能而已。

 

#include <iostream>

#include <vector>

 

using namespace std;

 

class stack : private vector<int>{

public:

        stack( void ){ }

        void Push( int Value ){ push_back( Value ); }

        int Pop( void )

                {

                int value = *rbegin();

                pop_back();

                return value;

                }

        bool Empty( void ){ return empty(); }

};

 

void main( void )

{

        stack s;

        s.Push( 1 );

        s.Push( 7 );

        s.Push( 6 );

        s.Push( 4 );

        s.Push( 5 );

        while( !s.Empty() )

                cout << s.Pop() << endl;

        cin.get();

}

 

结果是:

5

4

6

7

1

 

其中stack使用了vector中的push_back,pop_back,empty,rbegin的功能来实现了自己的Push,Pop,Empty的接口和实现。Stack使用了vector。

 

好了,现在我们知道了什么是私有派生,以及该如何运用它。

 

2001/10/9

丁宁  

本文地址:http://com.8s8s.com/it/it29931.htm