c++11模拟boost元占位符(二)
? ? ?
? ? ? ? ? ? ? ?typename _2::apply::type>::type; ? ? ? ? ? ? ? ? ? ?
? ? ? ? }; ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? };
复制代码
fold_s把固定的一堆参数传入时，push_back总能挑选到正确位置的参数。下面我们来看看一个奇妙的改变，这将会让你恍然大悟_1, _2占位符的设计和来历。
?
让我们把上面的代码中所有_1,_2的地方全部调换位置，得到一个新的特化：
?
复制代码
? ? template<>
? ? struct push_back< _2, _1 >
? ? {
? ? ? ? template
? ? ? ? struct apply
? ? ? ? {
? ? ? ? ? ? using type = typename push_back<
? ? ? ? ? ? typename _2::apply::type,
? ? ? ? ? ? typename _1::apply::type>::type;
? ? ? ? };
? ? };
复制代码
使用这个新特化时，fold_s传入的第二个参数将被放到push_back的第一个参数位置，而_2位于push_back第一个参数的样子正好很形象的描述了这个行为。
?
现在你明白了吧，push_back<_1,_2>和push_back<_2,_1>这2个特化组合在一起，让我们有了能够指称第一，第二个参数的能力。
?
这确实非常帅。很可惜当参数个数n增长时，你需要覆盖n!种特化。参数为5时你将不得不写120个特化。boost使用preprocessor来自动生成这些类，你仔细观察上述类的结构，
?
确实都是可以自动生成的。我表示看了preprocessor几眼就要瞎掉，有兴致再研究。下面是我写的更简单的自动构造宏：
?
?
复制代码
#ifndef HI_MPL_SUPPORT_LAMBDA_H_INCLUDE
#define HI_MPL_SUPPORT_LAMBDA_H_INCLUDE
?
#define STRINGLIZE_CAT_TOKEN(s1, s2, token) s1##token##s2
#define STRINGLIZE_CAT(s1, s2) s1##s2
?
#define ENUM_SHIFTED_PARAMS_MPL(n, prefix) ? ? ? ? ? ? ? ? ? ? ?\
? ? ENUM_SHIFTED_PARAMS_MPL_##n(prefix)
?
#define ENUM_SHIFTED_PARAMS_MPL_1(prefix) prefix##1
#define ENUM_SHIFTED_PARAMS_MPL_2(prefix) prefix##1, prefix##2
#define ENUM_SHIFTED_PARAMS_MPL_3(prefix) prefix##1, prefix##2, prefix##3
#define ENUM_SHIFTED_PARAMS_MPL_4(prefix) prefix##1, prefix##2, prefix##3, prefix##4
#define ENUM_SHIFTED_PARAMS_MPL_5(prefix) prefix##1, prefix##2, prefix##3, prefix##4, prefix##5
?
?
#define SUPPORT_LAMBDA(classname, n, prefix) ? ? ? ? ? ? ? ? ? ? \
? ? SUPPORT_LAMBDA_##n(classname, prefix)
?
?
#define SUPPORT_LAMBDA_1_IMPL(classname, A1) ? ? ? ? ? ? ? ? ? ? ?\
? ? struct classname##< A1 > ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? { ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? \
? ? template ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? \
struct apply ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? { ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? \
? ? ? ? using type = typename classname##< ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? typename A1::apply::type>::type; ? ? ? ? ? ? ? ?\
? ? ? ? }; ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? };
?
#define SUPPORT_LAMBDA_2_IMPL(classname, A1, A2) ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? template<> ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? struct classname##< A1, A2 > ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? { ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? template ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? struct apply ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? { ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? using type = typename classname##< ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? ? ?typename A1::apply::type, ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? ? ?typename A2::apply::type>::type; ? ? ? ? ? ? ? ? ? ?\
? ? ? ? }; ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? };
?
#define SUPPORT_LAMBDA_3_IMPL(classname, A1, A2, A3) ? ? ? ? ? ? ? ? ? ? ? ?\
? ? template<> ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? struct classname##< A1, A2, A3 > ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? { ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? template ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? struct apply ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? { ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? using type = typename classname##< ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? ? ?typename A1::apply::type, ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? ? ?typename A2::apply::type, ? ? ? ? ? ? ? ? ? ? ? ? ? ?\
? ? ? ? ? ? ? ?typename A3::apply::type>::type; ? ? ? ? ? ? ? ? ? ?\
? ? ? ? };