利用模板实现动态的继承体系

/* Loki学习之-----动态的继承体系
 *
 * 传说中的动态继承.通过模板实现,在实际生成对象时才真正指定父类.
 * 以下是一个简单演示,只有一个模板参数,在实际应用中,通过多个模板参数的运用,能够产生极其强大的功能.
 * 
 */
#include <iostream>

class Base1
{
public:
    Base1()
    {
        std::cout<<" Base1::Base1() "<<std::endl;
    }
};

class Base2
{
public:
    Base2()
    {
        std::cout<<" Base1::Base2() "<<std::endl;
    }
};

template < class Base > class Derive:public Base//关键点,Base是一个模板参数
{
public:
    Derive()
   {
       std::cout<<" Derive::Derive() "<<std::endl;
    }
};

int main()
{
    Derive<Base1> d1;
    Derive<Base2> d2;
}

// 输出结果 : 
//   Base1::Base1()
//   Derive::Derive()
//   Base1::Base2()
//   Derive::Derive()

/*
 * 可以看到,指定不同的模板参数,实际上导致Derive类的父类发生了变化.(d1:Base1-->d2:Base2)
 * 实际上,借助于模板功能,不仅仅能实现动态继承,还可以动态确定具体类成员变量,比如在class Derive的实现中,写下如下代码:
*/
 template < class Base > class Derive
 {
     Base base_;
 public:
     Derive()
    {
       std::cout<<" Derive::Derive() "<<std::endl;
    }
 }
 在 int main() 中:
 Derive<Base1> d1; 则 base_ 是class Base1的一个实例
 Derive<Base2> d2; 则 base_ 是class Base2的一个实例

/* 显然在创建Derive的实例时,才会确定base成员变量的类型(Base1或者Base2).
 *
 * 在实际的开发中,动态继承和动态确定成员变量类型意义重大.比如,借助于动态继承的灵活性,Loki通过4个模板参数,就实际实现了
 * 大约300个各具特色的智能指针.stl中,通过动态指定成员变量类型Allocator,实现了Vector等容器的内存分配的可配置性,
 * 通过指定不同的Allocator,实际生成的容器对象便有了不同的效率,以及其它一些特性.
 */
  本文是本人学习<<Modern C++ Design>>时的一点感受,写出来与大家交流,欢迎各位指正.
  本人是十成的C++ Fans,希望与大家多多交流经验.
  [email protected]
  2003-5-5

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