C++模板-继承-具现化

转载

今天在学习effective c++中的第49个条款时,遇到一个模板继承的方法,让我大开眼界,感慨万千啊!

具体的代码如下:

class NewHandlerHolder
{
public:
	explicit NewHandlerHolder(new_handler nh)
		: handler(nh) {}
	~NewHandlerHolder()
	{
		set_new_handler(handler);
	}
private:
	new_handler handler;
};

template<typename T>
class NewHandlerSurpport
{
public:
	static new_handler set_new_handler(new_handler) throw();
	static void* operator new (size_t size) throw(bad_alloc);
private:
	static new_handler currentHandler;
};

template<typename T>
new_handler NewHandlerSurpport<T>::set_new_handler(new_handler p) throw()
{
	new_handler oldHander = currentHandler;
	currentHandler  = p;
	return oldHander;
}

template<typename T>
void* NewHandlerSurpport<T>::operator new (size_t size) throw(bad_alloc)
{
	NewHandlerHolder h(std::set_new_handler(currentHandler));
	return ::operator new(size);
}

template<typename T>
new_handler NewHandlerSurpport<T>::currentHandler = 0;

class Test : public NewHandlerSurpport<Test>
{
public:
	int val;
};

怎么样?看了上面的代码,大家是否有些迷惑?首先,类NewHandlerSurpport采用的模板类的定义,其内部却没用到类型T;其次,它的子类在继承时,用了class Test : public NewHandlerSurpport<Test>的方式,将自身作为模板类型参数。怪哉怪哉!一般情况下,大家会不采用模板类来定义NewHandlerSurpport,而且子类直接继承即可,为什么要这样大动干戈,而又好像多此一举呢?

原来,这么做也是有深意的!因为父类中定义的是静态函数和静态变量,这样按照逻辑,每个继承它的子类都应该独享一份静态数据,也就是独享一份父类,这又怎么实现呢?哈哈,正如上面的模式,让基类是模板类,子类继承是采用子类类型作为模板参数,这样在代码编译时不同的继承类就将父类具现化成各自所属的父类,也就是说各自有一份具现化后的父类的拷贝的代码块,各自具有自己所属的静态成员数据和函数,而不会共用一份,有点绕口了!呵呵!相信聪明的呢已经理解了我的意思!这种奇特的方式叫做“怪异的循环模板模式”,在《effective c++》中叫做“do it for me ”,not do it for others!这个名字更贴切些!

发现《effective c++》的内容真是博大精深啊,这也是我看的时间最长的一本书了!而且每次温习都有收获!

C++ 模板 继承

分享到:
评论加载中,请稍后...
回到顶部