上面那个帖子的实现手法不太好, 当client使用的时候, 还是需要
BreadSlicer< Policy3_is<CustomPolicy>, Policy2_is<CustomPolicy2> > bc;
复杂的嵌套模板语法, 如果能够去掉PolicyN_is, 例如可以这样
BreadSlicer<> bc2; //全部默认policies
如果定制其中的policy2, 这样
BreadSlicer< CustomPolicy2 > bc;
如果需要定制2, 3, 这样
BreadSlicer< CustomPolicy2, CustomPolicy3 > bc;
与顺序无关, 先写3, 再写2也可以
BreadSlicer< CustomPolicy3, CustomPolicy2 > bc;
那就更加简单了.
幸运的是, 这也是可以实现的, 而且与前面的帖子相比, 这个新的实现还直白简单, 使用起来由于直接使用Policy class作为参数,
而无需通过PolicyN_is这样的包裹, 使用起来也更加优雅.
还是看看代码:
1. 同上, 定义一个if语句.
template <bool, class T, class U>
struct if_
{
typedef typename T type;
};
template<class T, class U>
struct if_<false, T, U>
{
typedef typename U type;
};
2. 定义一个wrapper, 使得 type_wrapper<T>::type 有效(为T). 因为直接使用 T::type 可能遇到T根本没有type这个typedef内嵌类型.
template<class T>
struct type_wrapper
{
typedef T type;
};
struct DefaultPolicyArgs {
static const int value = 0; //特殊meta-data, 为0表示默认参数
};
3. 然后使用一个 type_selector meta-function, N表示第几个默认参数(注意我的默认Policy参数DefaultPolicyArgs里面有一个meta data, 为0. 如果是用户定义的Policy, 那么它也应该定义一个meta data,. 这个数字主要是用于告诉selector它是想覆盖第几个默认的policy参数.
最后的DefaultType是当扫描一遍, 发现没有任何对应N位置的自定义Policy参数, 那么就取这个为默认值, 结束递归.(下面的4个DefaultPolicyArgs的特化版本就是干这个的)
与前面的一个版本相比, 我不再使用void, 而是使用DefaultPolicyArgs来填充, 这样在大部分情况下匹配速度要快. (指编译速度)
template<
int N,
class T1,
class T2,
class T3,
class T4,
class DefaultType>
struct type_selector
{
typedef typename if_ <
(T1::value == N),
type_wrapper<T1>,
type_selector<N, T2, T3, T4, DefaultPolicyArgs, DefaultType> >::type eval_type;
typedef typename eval_type::type type;
};
//shift以后最终来到这里, 结束递归
template<
int N,
class DefaultType>
struct type_selector<N, DefaultPolicyArgs, DefaultPolicyArgs, DefaultPolicyArgs, DefaultPolicyArgs, DefaultType>
{
typedef DefaultType type;
};
struct DefaultPolicy1 {};
struct DefaultPolicy2 {};
struct DefaultPolicy3 {
public:
static void doPrint() {
std::cout << "DefaultPolicy3::doPrint()\n";
}
};
class DefaultPolicy4 {};
template<class T1, class T2, class T3, class T4>
struct PolicySelector
{
typedef typename type_selector<1, T1, T2, T3, T4, DefaultPolicy1>::type P1;
typedef typename type_selector<2, T1, T2, T3, T4, DefaultPolicy2>::type P2;
typedef typename type_selector<3, T1, T2, T3, T4, DefaultPolicy3>::type P3;
typedef typename type_selector<4, T1, T2, T3, T4, DefaultPolicy4>::type P4;
};
template <typename T1 = DefaultPolicyArgs,
typename T2 = DefaultPolicyArgs,
typename T3 = DefaultPolicyArgs,
typename T4 = DefaultPolicyArgs>
class BreadSlicer {
typedef typename PolicySelector<T1, T2, T3, T4> Policies;
public:
void print () {
std::cout << typeid(Policies::P3).name() << std::endl;
Policies::P3::doPrint();
}
void print_2()
{
std::cout << typeid(Policies::P2).name() << std::endl;
Policies::P2::print_2();
}
//...
};
class CustomPolicy2 {
public:
static const int value = 2; //关键的修改在此, 这个是实现定制Policy时需要提供的meta data
static void print_2()
{
std::cout << "Here is CustomPolicy2 instance" << std::endl;
}
};
class CustomPolicy3 {
public:
static const int value = 3; //meta data, 同上, 3表示这个代表的是用了替换Policy3
static void doPrint() {
std::cout << "CustomPolicy3::doPrint()\n";
}
};
//这样, PolicyN_is 就没有了, 唯一的要求就是, 当实现custom policy的时候, 别忘了在其中定义一个叫做
value的整形常量, N代表替换哪个默认的policy参数.
int main()
{
BreadSlicer<> bc1; //全部默认
bc1.print();
BreadSlicer< CustomPolicy2, CustomPolicy3 > bc2; //2,3定制, 是不是干净一些?
bc2.print();
bc2.print_2();
std::cout << std::flush;
return 0;
}
