利用模板实现动态的继承体系
/* 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,希望与大家多多交流经验.
2003-5-5