再论C++中接口与实现分离的技术

    我在今年2月份写了篇《C++中接口与实现分离的技术》的文章，用一个很简单的例子说明了在C++中接口与实现分离的好处及实现方法。很荣幸，这篇文章被推荐到了CSDN的首页并被多家网站转载。
    可是当时写那篇文章的时候，没有考虑到类与类之间的继承关系。下面我就来具体的谈谈这个方面。
    还是以上面提到的那篇文章中的例子来说明。
    执行类：
    lxImplement.h文件内容：

#include  " lxTest.h "

class  ClxImplement  
{
public :
    ClxImplement();
     ~ ClxImplement();

     void  DoSomething();

private :
    ClxTest m_lxTest;

     void  lxTest();
};

    lxImplement.cpp文件内容：

#include  " lxImplement.h "

ClxImplement::ClxImplement()
{
}

ClxImplement:: ~ ClxImplement()
{
}

void  ClxImplement::lxTest()
{
    m_lxTest.DoSomething();
}

void  ClxImplement::DoSomething()
{
    lxTest();
}

    接口类：
    lxExp.h文件内容：

//   前置声明
class  ClxImplement;

class  ClxExp  
{
public :
    ClxExp();
     virtual   ~ ClxExp();

  void  DoSomething();

private :
     //   声明一个类ClxImplement的指针，不需要知道类ClxImplement的定义
    ClxImplement  * m_pImpl;
};

  lxExp.cpp文件内容：

//   在这里包含类ClxImplement的定义头文件
#include  " lxImplement.h "

ClxExp::ClxExp()
{
    m_pImpl  =   new  ClxImplement;
}

ClxExp:: ~ ClxExp()
{
     if  (m_pImpl)
        delete m_pImpl;
}

void  ClxExp::DoSomething()
{
    m_pImpl -> DoSomething();
}

    但是，如果类ClxExp是另一个类的子类，而在类ClxExp中要调用基类的方法，那上面的方案就不行了。比如说，类ClxExp的基类是下面的样子：

class  ClxInF
{
public :
    ClxInF();
     virtual   ~ ClxInF();

     bool  InitSet();

     virtual   void  DoSomething();
};

    相应的类ClxExp的声明变成了如下的形式：

class  ClxExp :  public  ClxInF
{
public :
    ClxExp();
     virtual   ~ ClxExp();

     void  DoSomething();

private :
    ClxImplement  * m_pImpl;
};

   现在， 假设我们必须在类ClxExp的DoSomething()方法中根据InitSet()的返回值来确定是否执行操作。最简单的实现方法是把类ClxExp的DoSomething()方法改成下面的样子：

void  ClxExp::DoSomething()
{
     if  (InitSet())
        m_pImpl -> DoSomething();
}

    可是如果这样的话，接口与实现就没有彻底的分离，因为实现细节被暴露到了接口类中。为了避免这种情况发生，我们就必须把对基类ClxInF的方法InitSet()调用放到执行类ClxImplement当中。可是怎么在执行类ClxImplement当中调用接口类ClxExp的基类ClxInF的方法呢？其实很简单，因为类ClxExp是类ClxInF的子类，那么它也就继承了类ClxInF的方法，只要把类ClxExp的this指针传给类ClxImplement，就可以通过这个指针来调用类ClxExp的方法，当然也可以调用类ClxExp从基类ClxInF继承来的方法。下面是修改后的代码：
    lxImplement.h文件内容：

#include  " lxTest.h "
//  包含声明类ClxExp的头文件
#include  " lxExp.h "

class  ClxImplement  
{
public :
     //   构造函数，传入类的ClxExp的指针
    ClxImplement(ClxExp  * plxExp);
     ~ ClxImplement();

     void  DoSomething();

private :
    ClxTest m_lxTest;
     //   定义一个类ClxExp的指针，可以通过该指针调用类ClxExp从基类继承下来的方法
    ClxExp  * m_plxExp;

     void  lxTest();
};

    lxImplement.cpp文件内容：

#include  " lxImplement.h "

ClxImplement::ClxImplement(ClxExp  * plxExp)
{
    m_plxExp  =  plxExp;
}

ClxImplement:: ~ ClxImplement()
{
}

void  ClxImplement::lxTest()
{
    m_lxTest.DoSomething();
}

void  ClxImplement::DoSomething()
{
     if  (m_plxExp -> InitSet())
        lxTest();
}

    对于类ClxExp来说，只要修改一下它的构造函数就行了，其他都不用修改。

ClxExp::ClxExp()
{
    m_pImpl  =   new  ClxImplement( this );
}

    这样，我们就解决了前面所提到的问题。
    当然，也许有人会说，让类ClxImplement也从类ClxInF继承不是更简单吗？那样就可以在类ClxImplement中直接调用类ClxInF的方法，也不用添加什么代码。可是我们知道公有继承是的子类与基类是IS-A的关系。也就是说子类是一种基类，就像说轿车是一种汽车一样。可是，在我们例子中，类ClxImplement只是类ClxExp的一个执行类而已，跟类ClxExp的基类ClxInF没有一点儿关系，更不要说是一种ClxInF了。所以不能让类ClxImplement从类ClxInF继承。