学步园

//GCC支持关键字typeof,MSVC不支持。所以boost::mpl::vector GCC 版本的便是基于类型的识别。<br /> //在使用typeof关键字时，如果是求函数的返回类型，这个函数实际上无需定义，只需要声明即可。<br /> //下面可以看到：这个版本的vector使用函数重载来标记不同的vector参数，比如：vector<int,double><br /> //第0位就是int。实现的方式就是利用一个函数，这个函数的返回类型是使用一个类型包装器，也就是<br /> //int 返回整形，double返回double,而函数的参数就是一个标记，也是重载参数，用来区分不同的值，如上面的<br /> //0对应int, 1对应 double.<br /> # define BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(i, name, params) /**/ //在这个编译器，没有实际的意义。<br /> # define BOOST_MPL_AUX_LAMBDA_SUPPORT(i,name,params) /**/<br /> template<<br /> typename BOOST_MPL_AUX_NA_PARAM(T)//typename T = na<br /> ><br /> struct next<br /> { //long_的下一个，比如long_<2>,下一个就是long_<3><br /> typedef typename T::next type;<br /> BOOST_MPL_AUX_LAMBDA_SUPPORT(1,next,(T))<br /> };<br /> template<<br /> typename BOOST_MPL_AUX_NA_PARAM(T)<br /> ><br /> struct prior<br /> { //long_的上一个，比如现在是long_<2>,上一个就是long_<1><br /> typedef typename T::prior type;<br /> BOOST_MPL_AUX_LAMBDA_SUPPORT(1,prior,(T)) //在GCC编译器下，没有实际的意义。<br /> };<br /> template<<br /> typename T<br /> , typename Base<br /> , int at_front = 0<br /> > //继承模板参数Base,实际上这个类型无论是什么都是递归的包含所有的类型。<br /> struct v_item //从下面可以看到，模板的特化将一直进行。<br /> : Base<br /> { //long_<32768><br /> typedef typename Base::upper_bound_ index_;//如果是初始值，就是long_<32768><br /> typedef typename next<index_>::type upper_bound_; //next，就是下一个值，long_<32769><br /> typedef typename next<typename Base::size>::type size;//如果是初始值就是long_<0><br /> typedef Base base;<br /> typedef v_item type;<br /> // agurt 10/sep/04: MWCW <= 9.3 workaround here and below; the compiler<br /> // breaks if using declaration comes _before_ the new overload<br /> static aux::type_wrapper<T> item_(index_);<br /> using Base::item_; //让Base类的item_()函数和这个类里面的函数重载<br /> };<br /> template<<br /> typename T<br /> , typename Base<br /> > //这是一个特化版本。<br /> struct v_item<T,Base,1><br /> : Base<br /> {<br /> typedef typename prior<typename Base::lower_bound_>::type index_;<br /> typedef index_ lower_bound_;<br /> typedef typename next<typename Base::size>::type size;<br /> typedef Base base;<br /> typedef v_item type;<br /> static aux::type_wrapper<T> item_(index_);<br /> using Base::item_;<br /> };<br /> //下面这个类是经过宏推到出来的，再以后的文章再讨论这个问题。<br /> template< long N><br /> struct long_<br /> {<br /> enum { value = N };<br /> typedef long type;<br /> typedef long_ value_type;<br /> typedef integral_c_tag tag;<br /> //这是一个简化版本，实际上是：typedef long_<static_cast<long>(vaule+1)> next<br /> typedef long_<value+1> next;<br /> //typedef long_<static_cast<long>(vaule-1)> prior;<br /> typedef long_<value-1> prior;<br /> // enables uniform function call syntax for families of overloaded<br /> // functions that return objects of both arithmetic ('int', 'long',<br /> // 'double', etc.) and wrapped integral types (for an example, see<br /> // "mpl/example/power.cpp")<br /> operator long() const { return static_cast<long>(this->value); }<br /> };<br /> //主模版<br /> template< typename Dummy = na > struct vector0;<br /> //特化版本.<br /> template<> struct vector0<na><br /> { //GCC支持,GCC版本，MSVC并不支持这个版本<br /> #if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)<br /> typedef aux::vector_tag tag;<br /> typedef vector0 type;<br /> typedef long_<32768> lower_bound_;<br /> typedef lower_bound_ upper_bound_;<br /> typedef long_<0> size;<br /> static aux::type_wrapper<void_> item_(...);<br /> #else<br /> typedef aux::vector_tag<0> tag;<br /> typedef vector0 type;<br /> typedef void_ item0;<br /> typedef v_iter<vector0<>,0> begin;<br /> typedef v_iter<vector0<>,0> end;<br /> #endif<br /> };<br /> template<<br /> typename T0<br /> ><br /> struct vector1<br /> : v_item<<br /> T0 //这个参数实际上就是将要使用的参数<br /> , vector0< > //vector0<>实际上就是vector0<na><br /> ><br /> {<br /> typedef vector1 type;<br /> };<br /> template<<br /> typename T0, typename T1<br /> ><br /> struct vector2<br /> : v_item<<br /> T1 //存放的第二个参数<br /> , vector1<T0> //T0为第一个参数，现在存放在vector1中<br /> ><br /> {<br /> typedef vector2 type;<br /> };<br /> template<<br /> typename T0, typename T1, typename T2<br /> ><br /> struct vector3<br /> : v_item<<br /> T2<br /> , vector2< T0,T1 > //前两个参数存放在vector2这个序列中<br /> ><br /> {<br /> typedef vector3 type;<br /> };<br /> //假设现在存放int, double, float三个元素于vector3中，现在模拟编译器的推导过程：<br /> typedef vector3<int,double,float> s3;<br /> //=========><br /> struct vector3 : v_item<float, vector2<int, double>>{ typedef vector3 type; }<br /> //=========><br /> //构造vector3,先要构造其基类，这儿的基类是v_item,因此先要构造v_item<br /> //v_item 有一个特化版本，但是这儿显然是一个默认参数，所以不会调用特化版本。<br /> struct v_item<float, vector2<int,double>>: vector2<int,double><br /> {<br /> typedef typename vector2<int,double>::upper_bound_ index_; //long_<32770><br /> typedef typename next<index_>::type upper_bound_; //long_<32771><br /> typedef typename next<typename vector2<int,double>::size>::type size; //long_<3><br /> typedef vector2<int,double> base;<br /> typedef v_item type;<br /> // agurt 10/sep/04: MWCW <= 9.3 workaround here and below; the compiler<br /> // breaks if using declaration comes _before_ the new overload<br /> //aux::type_wrapper<float>返回的类型为float<br /> //index_ 是重载参数，所以如果按照索引来访问，就不会出先偏差。<br /> static aux::type_wrapper<float> item_(index_);<br /> using Base::item_;<br /> };<br /> //=========><br /> //这儿仍然要构造基类 vector2<int,double>,从上面的定义可以得出：<br /> struct vector2 : v_item<double, vector1<int> >{ typedef vector2 type; }<br /> //=========><br /> //继续构造基类：v_item<br /> struct v_item<double, vector1<int> >: vector1<int><br /> {<br /> typedef typename vector1<int>::upper_bound_ index_; //long_<32769><br /> typedef typename next<index_>::type upper_bound_; //long_<32770><br /> typedef typename next<typename vector1<int>::size>::type size; //long_<2><br /> typedef vector1<int> base;<br /> typedef v_item type;<br /> // agurt 10/sep/04: MWCW <= 9.3 workaround here and below; the compiler<br /> // breaks if using declaration comes _before_ the new overload<br /> static aux::type_wrapper<double> item_(index_);<br /> using Base::item_;<br /> };<br /> //===========><br /> //继续要对vector1进行特化：<br /> struct vector1 : v_item<int, vector0<> > { typedef vector1 type; }<br /> //============><br /> //还需要构造v_item<br /> struct v_item<int, vector0<> >: vector0<><br /> {<br /> typedef typename vector0<>::upper_bound_ index_; //long_<32768><br /> typedef typename next<index_>::type upper_bound_; //long_<32769><br /> typedef typename next<typename vector<>::size>::type size; //long_<1><br /> typedef vector0<> base;<br /> typedef v_item type;<br /> static aux::type_wrapper<int> item_(index_);<br /> using Base::item_;<br /> };<br /> //vector0为：<br /> //============><br /> template<> struct vector0<na><br /> {<br /> typedef aux::vector_tag tag;<br /> typedef vector0 type;<br /> typedef long_<32768> lower_bound_;<br /> typedef lower_bound_ upper_bound_;<br /> typedef long_<0> size;<br /> static aux::type_wrapper<void_> item_(...);<br /> };<br /> //这样编译器已经获得足够的信息，将返回。也就完成了特化过程。<br /> //下面是at<span class='wp_keywordlink'><a href="http://www.xuebuyuan.com/category/%E7%AE%97%E6%B3%95" title="算法" target="_blank">算法</a></span>的代码。假设访问第0位元素。<br /> template<<br /> typename BOOST_MPL_AUX_NA_PARAM(Sequence) //typename Sequence<br /> , typename BOOST_MPL_AUX_NA_PARAM(N) //typename N<br /> ><br /> struct at<br /> : at_impl< typename sequence_tag<Sequence>::type > //参数起标记作用<br /> ::template apply< Sequence,N > //vector3<...>, long_<0><br /> {<br /> BOOST_MPL_AUX_LAMBDA_SUPPORT(2,at,(Sequence,N))//<br /> };<br /> //上面的at继承了at_impl<br /> //按照对象的构造原理，先构造积累，然后才是派生类。这样先要构造下面的at_impl<br /> //的特化版本<br /> template<><br /> struct at_impl< aux::vector_tag ><br /> {<br /> template< typename Vector, typename N > struct apply<br /> : v_at<<br /> Vector //vector3<...><br /> , BOOST_MPL_AUX_VALUE_WKND(N)::value //N::vaule long_<0>::vaule 的值为0<br /> ><br /> {<br /> };<br /> };<br /> //还要构造v_at这个基类<br /> template< typename Vector, long n_ ><br /> struct v_at<br /> : aux::wrapped_type< typename v_at_impl<Vector,n_>::type ><br /> {<br /> };<br /> template< typename Vector, long n_ ><br /> struct v_at_impl<br /> { //Vector::lower_bound_::vaule 的值为：32768 ,n 为0<br /> typedef long_< (Vector::lower_bound_::value + n_) > index_; //这样long_<32768><br /> typedef __typeof__( Vector::item_(index_()) ) type;//从上面可以看出:<br /> }; // typedef __typeof__( Vector::item_(long_<32768> ) ) type; 因此最佳匹配就能求出int<br /> //下面是vector n_c.hpp 代码，大同小异。<br /> //下面是宏推导出来的，int_,long_皆是利用这段宏代码（宏代码稍后）<br /> template< typename T, T N><br /> struct integral_c<br /> {<br /> enum{ value = N };<br /> typedef integral_c type;<br /> typedef T value_type;<br /> typedef integral_c_tag tag;<br /> typedef integral_c<T, static_cast<T>(value + 1)> next;<br /> typedef integral_c<T, static_cast<T>(value - 1)> prior;<br /> // enables uniform function call syntax for families of overloaded<br /> // functions that return objects of both arithmetic ('int', 'long',<br /> // 'double', etc.) and wrapped integral types (for an example, see<br /> // "mpl/example/power.cpp")<br /> operator T() const { return static_cast<T>(this->value); }<br /> };<br /> //下面就是这段宏代码：<br /> //在其他文件的宏定义，移到这儿来便于理解。<br /> template< typename T, T N > struct integral_c; //这是在别处声明<br /> #define AUX_WRAPPER_NAME integral_c<br /> #define AUX_WRAPPER_VALUE_TYPE T<br /> #define AUX_WRAPPER_INST(value) AUX_WRAPPER_NAME< T, value ><br /> # define BOOST_MPL_AUX_STATIC_CAST(T, expr) static_cast<T>(expr)<br /> # define AUX_WRAPPER_PARAMS(N) typename T, T N<br /> struct integral_c_tag { enum { value = 0 }; };<br /> //这个宏定义模板可以生成long_,int_, integral_c等<br /> template< AUX_WRAPPER_PARAMS(N) ><br /> struct AUX_WRAPPER_NAME //就是靠这个不同的宏替换<br /> {<br /> //有两种版本，但实现效果没什么差别，一个是用static, 另外一个用 enum.<br /> BOOST_STATIC_CONSTANT(AUX_WRAPPER_VALUE_TYPE, value = N);<br /> // agurt, 08/mar/03: SGI MIPSpro C++ workaround, have to #ifdef because some<br /> // other compilers (e.g. MSVC) are not particulary happy about it<br /> #if BOOST_WORKAROUND(__EDG_VERSION__, <= 238) //这是EDG编译器，这儿不予考虑<br /> typedef struct AUX_WRAPPER_NAME type;<br /> #else<br /> typedef AUX_WRAPPER_NAME type;<br /> #endif<br /> typedef AUX_WRAPPER_VALUE_TYPE value_type; //根据上面的宏定义，可以很轻松的推到<br /> typedef integral_c_tag tag;<br /> // have to #ifdef here: some compilers don't like the 'N + 1' form (MSVC),<br /> // while some other don't like 'value + 1' (Borland), and some don't like<br /> // either<br /> #if BOOST_WORKAROUND(__EDG_VERSION__, <= 243)//这是EDG编译器，这儿不予考虑<br /> private:<br /> BOOST_STATIC_CONSTANT(AUX_WRAPPER_VALUE_TYPE, next_value = BOOST_MPL_AUX_STATIC_CAST(AUX_WRAPPER_VALUE_TYPE, (N + 1)));<br /> BOOST_STATIC_CONSTANT(AUX_WRAPPER_VALUE_TYPE, prior_value = BOOST_MPL_AUX_STATIC_CAST(AUX_WRAPPER_VALUE_TYPE, (N - 1)));<br /> public:<br /> typedef AUX_WRAPPER_INST(next_value) next;<br /> typedef AUX_WRAPPER_INST(prior_value) prior; //其它编译器版本，咱不考虑这些<br /> #elif BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x561)) /<br /> || BOOST_WORKAROUND(__IBMCPP__, BOOST_TESTED_AT(502)) /<br /> || (BOOST_WORKAROUND(__HP_aCC, <= 53800) && (BOOST_WORKAROUND(__hpxstd98, != 1)))<br /> typedef AUX_WRAPPER_INST( BOOST_MPL_AUX_STATIC_CAST(AUX_WRAPPER_VALUE_TYPE, (N + 1)) ) next;<br /> typedef AUX_WRAPPER_INST( BOOST_MPL_AUX_STATIC_CAST(AUX_WRAPPER_VALUE_TYPE, (N - 1)) ) prior;<br /> #else //下面是我们需要的版本，详情见上面已经推导出来的结果。<br /> typedef AUX_WRAPPER_INST( BOOST_MPL_AUX_STATIC_CAST(AUX_WRAPPER_VALUE_TYPE, (value + 1)) ) next;<br /> typedef AUX_WRAPPER_INST( BOOST_MPL_AUX_STATIC_CAST(AUX_WRAPPER_VALUE_TYPE, (value - 1)) ) prior;<br /> #endif<br /> // enables uniform function call syntax for families of overloaded<br /> // functions that return objects of both arithmetic ('int', 'long',<br /> // 'double', etc.) and wrapped integral types (for an example, see<br /> // "mpl/example/power.cpp")<br /> operator AUX_WRAPPER_VALUE_TYPE() const { return static_cast<AUX_WRAPPER_VALUE_TYPE>(this->value); }<br /> };<br /> //下面是实现vector_c<int,1,3,6,3> 类型的代码，同上面很相似，所以顺带提一下：<br /> //不同之处在于其封装方式不同，<br /> //也就是传入的参数是经过类的封装以后的代码： intergal_c<br /> template<<br /> typename T<br /> , T C0<br /> ><br /> struct vector1_c<br /> : vector1< integral_c< T,C0 > >//利用了vector1 的封装<br /> {<br /> typedef vector1_c type;<br /> typedef T value_type;<br /> };<br /> template<<br /> typename T<br /> , T C0, T C1<br /> ><br /> struct vector2_c //这些仅仅是封装方式不同，同以前的意思差不多。<br /> : vector2< integral_c< T,C0 >, integral_c< T,C1 > ><br /> {<br /> typedef vector2_c type;<br /> typedef T value_type;<br /> };<br /> template<<br /> typename T<br /> , T C0, T C1, T C2<br /> ><br /> struct vector3_c<br /> : vector3< integral_c< T,C0 >, integral_c< T,C1 >, integral_c< T,C2 > ><br /> {<br /> typedef vector3_c type;<br /> typedef T value_type;<br /> };<br /> //GCC版本的实现:<br /> template< typename T > struct vector0_c<br /> : vector0<><br /> {<br /> typedef vector0_c type;<br /> typedef T value_type;<br /> };<br /> template<<br /> typename T<br /> , T C0<br /> ><br /> struct vector1_c<br /> : v_item<<br /> integral_c< T,C0 >//T<br /> , vector0_c<T> //base<br /> ><br /> {<br /> typedef vector1_c type;<br /> typedef T value_type;<br /> };<br /> template<<br /> typename T<br /> , T C0, T C1<br /> ><br /> struct vector2_c<br /> : v_item<<br /> integral_c< T,C1 ><br /> , vector1_c< T,C0 ><br /> ><br /> {<br /> typedef vector2_c type;<br /> typedef T value_type;<br /> };<br /> //模板的重用性在这儿体现出来了，只要封装得好的代码，<br /> //以其他方式也很容易使用。<br /> template<<br /> typename T<br /> , T C0, T C1, T C2<br /> ><br /> struct vector3_c<br /> : v_item<<br /> integral_c< T,C2 ><br /> , vector2_c< T,C0,C1 ><br /> ><br /> {<br /> typedef vector3_c type;<br /> typedef T value_type;<br /> };