c++模版的一些使用方法（二）
c++模版的其他技巧：
1.编号生成器
考虑下面的场景，对于int、char、double、bool、float这5种类型，我们希望对他们进行类型编号1-5，并且确保对于每种类型，它的编号不会改变，即每次调用函数获取该编号时，他都是唯一的且不变的。那么使用通过定义一个模版函数实现。
int g_id=0;//全局id计数
template<class T>
int GetTypeId()
{
static int id = ++ g_id;
return id;
}
int _tmain(int argc, _TCHAR* argv[])
{
cout<<"id of int: "<<GetTypeId<int>()<<endl;
cout<<"id of char: "<<GetTypeId<char>()<<endl;
cout<<"id of double: "<<GetTypeId<double>()<<endl;
cout<<"id of float: "<<GetTypeId<float>()<<endl;
cout<<"id of bool: "<<GetTypeId<bool>()<<endl;
cout<<"id of bool: "<<GetTypeId<bool>()<<endl;
cout<<"id of int: "<<GetTypeId<int>()<<endl;
cout<<"id of int: "<<GetTypeId<int>()<<endl;
cout<<"id of double: "<<GetTypeId<double>()<<endl;
return 0;
}
注意：
static int id = ++g_id只在static类型的初始化时被唯一执行一次哦；
虽然对于不同的变量类型（int、bool等），他们调用的是GetTypeId这个函数，但是由于模版参数的类型不同，因此对于每个类型，在实例化这个模版时，都会生成不同的GetTypeId函数，他们在内存中的地址是不同的，比如
实例化int类型的GetTypeId后，该函数的地址是0x01；实例化bool类型的GetTypeId后，它的函数地址是0x02;同理其他
那么当重复调用GetTypeId<int>()时，访问的就是0x01处的函数，而GetTypeId<bool>()时，访问的是0x02处的函数。
所以他们的static int id也肯定不是一个哦。
2.模拟多态
模版可以用来模拟多态。多态基于继承，而继承是由虚表控制的，这里对虚表不多说了。
使用模版来模拟时，需要一个模版参数，代表它的子类的类型。使用时，定义一个基类类型，使用从该几类派生的一个子类做为参数实例化该模版，则基类在调用时将this指针强转为子类型。
example:
template <class ChildType>
class M
{
public:
ChildType* _this()
{
return (ChildType*) this;
}
void func()
{
_this()->show();
}
void show()
{
cout<<"class M"<<endl;
}
};
class A:public M<A>
{
public:
void show()
{
cout<<"class A"<<endl;
}
};
class B:public M<B>
{
public:
void show()
{
cout<<"class B"<<endl;
}
};
int _tmain(int argc, _TCHAR* argv[])
{
M<B> m1;
m1.func();
M<A> m2;
m2.func();
return 0;
}
3.插入继承链
下图是一个继承树，从x开始，有一个虚函数，virtual void Show()，且每一个子类都以下面的形式重写这个函数：
void Y::Show()
{
//增加一些操作
Z::Show();
}
其中Y表示X1、X2、A1、A2、B1、B2中的任意一个，Z表示Y的父类。
先来个代码看下：
class X
{
public:
virtual void Show()
{
cout<<"X"<<endl;
}
};
class X1:public X
{
public:
virtual void Show()
{
cout<<"X1"<<endl;
X::Show();
}
};
class X2:public X
{
public:
virtual void Show()
{
cout<<"X2"<<endl;
X::Show();
}
};
class A1:public X1
{
public:
virtual void Show()
{
cout<<"A1"<<endl;
X1::Show();
}
};
class A2:public X1
{
public:
virtual void Show()
{
cout<<"A2"<<endl;
X1::Show();
}
};
class B1:public X2
{
public:
virtual void Show()
{
cout<<"B1"<<endl;
X2::Show();
}
};
class B2:public X2
{
public:
virtual void Show()
{
cout<<"B2"<<endl;
X2::Show();
}
};
int _tmain(int argc, _TCHAR* argv[])
{
cout<<"A1的继承关系:"<<endl;
A1 a1;
a1.Show();
cout<<endl<<"A2的继承关系:"<<endl;
A2 a2;
a2.Show();
cout<<endl<<"B1的继承关系:"<<endl;
B1 b1;
b1.Show();
cout<<endl<<"B2的继承关系:"<<endl;
B2 b2;
b2.Show();
return 0;
}
输出：
现在新的需要要求对A1和B1的Show函数中添加一些共同的操作，A2和B2的Show函数中添加一些共同的操作。
方案一：
修改A1、B1、A2、B2的代码...（此种方案太犀利，不讨论了）
方案二：
在继承链中插入模版类
//新加一个模版类，用于增加A1和B1共同需要的新功能
template <class Base>
class AddClass1:public Base
{
public:
virtual void Show()
{
cout<<"A1和B1共同需要的新功能"<<endl;
Base::Show();
}
};
//新加一个模版类，用于增加A2和B2共同需要的新功能
template <class Base>
class AddClass2:public Base
{
public:
virtual void Show()
{
cout<<"A2和B2共同需要的新功能"<<endl;
Base::Show();
}
};
class A1:public AddClass1<X1>//从AddClass1派生，并告诉AddClass1从X1派生
{
public:
virtual void Show()
{
cout<<"A1"<<endl;
AddClass1<X1>::Show();//基类Show
}
};
class A2:public AddClass2<X1>//从AddClass2派生，并告诉AddClass2从X1派生
{
public:
virtual void Show()
{
cout<<"A2"<<endl;
AddClass2<X1>::Show();//基类Show
}
};
class B1:public AddClass1<X2>//从AddClass1派生，并告诉AddClass1从X2派生
{
public:
virtual void Show()
{
cout<<"B1"<<endl;
AddClass1<X2>::Show();//基类Show
}
};
class B2:public AddClass2<X2>//从AddClass2派生，并告诉AddClass2从X2派生
{
public:
virtual void Show()
{
cout<<"B2"<<endl;
AddClass2<X2>::Show();//基类Show
}
};
输出：
插入后的继承树：
颜色表示继承路径