握住派生类指针是指拥有一个派生类指针的成员,暂且不谈这样做干什么,先来看一下如何这样做
// sample1.cpp
#include <cstdlib>
#include <iostream>
#include <string>
using namespace std;
class derived;
class base
{
public:
base()
{
p = static_cast<derived*>(this);
}
~base(){}
derived *p;
};
class derived: public base
{
public:
derived(){ }
void sayhi(){
cout << "hi" << endl;
cram.resize(1);
}
string cram;
};
int main(int argc, char *argv[])
{
derived d;
d.p->sayhi();
system("PAUSE");
return EXIT_SUCCESS;
}
关于为什么要用string cram后面用到说明,首先上面的代码不能编译,错误发生在
p = static_cast<derived*>(this); // error invalid static_cast from type `base* const' to type `derived*'
这是因为static_cast在base*和derived*之间作转换时,必须知道这两个类的内存间隔距离(offset),确切的说是要知道derived的定义,而在base的构造函数中,derived的定义显然无法得知。既然文雅的static_cast无法解决问题,那来野蛮一点的吧。把上面的base构造函数改为:
base()
{
p = (derived*)(this);
}
这次程序编译通过了,运行也没问题,屏幕上显示因为调用sayhi而出现的hi。为啥哪个sayhi函数要调用一下无聊的cram.resize呢,是为了检测base中得到的p的确是一个有效derived*指针,一定要在sayhi中让this指针派上用场。防止这样的情况发生:
假如sayhi这样定义
void derived::sayhi()
{
cout << "hi" << endl;
}
...
derived * p = 0;
p->sayhi(); // ok,一切正常,因为sayhi中根本没有用到this指针,所以p为0或其他任何值都无所谓了
回过头来讨论上面那个C语法的强制转换,把编译这一关强行闯过去了。可如果情况稍微发生一点变化,运行就会出错,假如把derived改成这样:
class derived: public string, public base
{
public:
derived(){ }
void sayhi()
{
cout<<"hi"<<endl;
cram.resize(1);
}
string cram;
};
程序运行到sayhi就会报错(cram是为了检验出这个错误的),只是加了一个基类,戏剧性的是把public string 和public base调换一下次序程序又正常了,以此可以猜到C++是怎么安排对象在内存中的布局了,最上层最前面的基类安排在最终对象的最前端,如果base不放在最前端,那么base的this指针就不能强制转换为derived*。
既然这个方法不行,还有另外一个方法,可以花点力气改造一下base的构造函数,在构造base的时候把derived指针传入:
//sample2.cpp
#include <cstdlib>
#include <iostream>
#include <string>
using namespace std;
class derived;
class base
{
public:
base(derived *par):p(par){ }
~base(){}
derived * p;
};
class derived : public base
{
public:
derived() : base(this) //这里把derived指针传给了base
...{
}
void sayhi() {
cout << "hi"<<endl;
cram.resize(1);
}
string cram;
};
int main(int argc, char *argv[])
{
derived d;
d.p->sayhi();
system("PAUSE");
return EXIT_SUCCESS;
}
虽然上面的代码可以工作,而且不存在潜在问题,然而这个办法仍然不太满意,假如有n多个base的派生类,难道要写n多种base的构造函数吗?而且写派生类的程序员一定要记得调用一下基类的构造函数,这样不仅增加了代码量,而且增加了出错的可能性。难道没有更好的办法实现这个技术吗?答案是有的,使用模版。
使用模版是为了让原先的static_cast能够工作,这样base::p就不会一不小心指在一个错误的地方了。
// sample3.cpp
#include<cstdlib>
#include<iostream>
#include<string>
using namespace std;
template<typename T> class base
{
public:
base() {
p = static_cast<T*>(this);
}
~base(){}
T *p;
};
class derived : public base<derived>
{
public:
derived(){ }
void sayhi(){
cout <<"hi <<endl;
cram.resize(2);
}
string cram;
};
int main(int argc, char *argv[])
{
derived d;
d.p->sayhi();
system("PAUSE");
return EXIT_SUCCESS;
}
连原来的class derived;前置声明也省了,这下把base放在继承次序的任何位置都没有问题了!class derived : public string, public base<derived>
与sample1不同的是,这一次编译器先处理的是derived,当遇到base<derived>的时候,再去产生一个base<derived>类的实体(instantiation),然后再编译这个实体,而这个时候编译器已经恰好可以算出derived和base<derived>之间的offset,因为它知道base<derived>在derived中所处的位置,于是static_cast可以正确工作了。而且代码量保持最小,派生类也不需要为了实现这个功能而“提供额外帮助”。
至此可以说比较完美得实现了基类握住派生类指针的功能,但这样做有什么用途呢?容易想到的用途是接口和实现的分离然后灵活装配。
假如我们要实现描绘三角形(triangle),圆形(circle),方形(rectangle),而且用户需要在这三种形状内部里面嵌入一个任意这三种形状的一种,也就是3*3,9种形状,我们这样称呼它们: triangle-triangle,circle-circle,rectangle-rectangle,triangle-circle......简便起见,使用首字母缩写为tt,cc,rr,tc,tr,cr,ct,rt,rc(约定在前面的字母所代表的形状画在外围,后面的代表相对应的“内围”)。
如何设计这个类型体系呢?假如使用传统C++模式,定义九个这样的class让他们都继承shape这样的基类,然后使用虚函数多态,肯定可以实现这些功能,但是这样做势必造成类里面的实现代码有大量重复部分。于是我们把画整个形状分解为两步,画外围,和画内围。画外围定义三种实现类,画内围定义三种实现类,我们的最终类去分别继承其中两个就获得了一个用户所要的新形状,目的就是为了避免重复代码。
以实现rc为例,先构建类型框架:
class outside_rectangle_impl //实现描绘外围图形部分
{
public:
void draw_outside_impl()
{ }
};
class inside_circle_impl // 实现描绘内维图形部分
{
public:
void draw_inside_impl()
{ }
};
class rc: public outside_rectangle_impl,
public inside_circle_impl
{
public:
void draw(){
draw_outside_impl();
draw_inside_imp();
}
private:
long left, top;
long right, bottom;
};
问题来了,要实现draw_outside_impl,draw_inside_impl,必须知道形状的相关属性(顶点坐标位置),然而相关属性在派生类中, 这个时候,让基类握住派生类指针技术就可以派上用场了。完整代码如下:
//sample4.cpp
#include <cstdlib>
#include <iostream>
#include <string>
using namespace std;
template<typename T> class shape_impl
{
public:
shape_impl(): p(static_cast<T*>(this))
{ }
void draw(){
p->draw_inside_impl();
p->draw_outside_impl();
}
private:
T * p;
};
template<typename T> class outside_rectangle_impl
{
public:
outside_rectangle_impl():p(static_cast<T*>(this))
{ }
void draw_outside_impl(){
cout << draw_outside_impl with left
<<p->left << top
<<p->top<< right"
<<p->right<< bottom"
<<p->bottom<<endl;
}
private:
T * p;
};
template<typename T>class inside_circle_impl
{
public:
inside_circle_impl():p(static_cast<T*>(this))
{ }
void draw_inside_impl(){
cout <<"draw_inside_impl with left
<<p->left<< top
<<p->top<< right"
<<p->right<< bottom
<<p->bottom<<endl;
}
private:
T * p;
};
class rc: public shape_impl<rc>,
public outside_rectangle_impl<rc>,
public inside_circle_impl<rc>
{
friend class outside_rectangle_impl<rc>;
friend class inside_circle_impl<rc>;
public:
rc(){
left=top=100;
right =bottom = 200;
}
void draw()//重写这个函数,如果要实现自定义的描绘
{
shape_impl<rc>::draw();
}
private:
long left, top;
long right, bottom;
};
int main(int argc, char *argv[])
{
rc obj;
obj.draw();
system("PAUSE");
return EXIT_SUCCESS;
}