這本來(lái)沒(méi)什么好說(shuō)的，不過(guò)我在強(qiáng)啃了一天《c++ 模板元編程》這本書(shū)后，頭腦昏沉，反應(yīng)遲鈍。也借整理 boost::mpl::if_ 這個(gè)讓我查閱半天源碼的小東西的機(jī)會(huì)，讓自己放松一下。

      if_ 就是借 if_c 定義了自己 ::type 的一個(gè)元函數(shù)。之所以我會(huì)對(duì) if_ 迷糊，是因?yàn)槲蚁氘?dāng)然的認(rèn)為 if_ 模板的第一個(gè)參數(shù)類(lèi)型為 bool 值。這是受了 if 關(guān)鍵字的影響，也有錯(cuò)誤理解 if_c 的原因。且看 if_c 的聲明：

template<
      bool C          // yeah, the type here is bool, but...
    , typename T1
    , typename T2
    >
struct if_c {
    typedef T1 type;
};

template<            // 特化版本，類(lèi)似這樣定義元函數(shù)的例子很多
      typename T1
    , typename T2
    >
struct if_c<false,T1,T2> {
    typedef T2 type;
};

  既生 if_c ，何生 if_ ？對(duì)比二者的代碼，if_ 比 if_c 多了如下句子：BOOST_MPL_AUX_LAMBDA_SUPPORT(3,if_,(T1,T2,T3))。而在 MSVC（VS2008） 編譯器上這個(gè)句子沒(méi)起作用。那它就是為了兼容編譯器而生的，就名字來(lái)看和 lambda 表達(dá)式的支持性有關(guān)系。關(guān)于其他編譯器的事情，我不知道，先擱置一邊。再看 if_ 的聲明：

template<
      typename BOOST_MPL_AUX_NA_PARAM(T1)
    , typename BOOST_MPL_AUX_NA_PARAM(T2)
    , typename BOOST_MPL_AUX_NA_PARAM(T3)
    >
struct if_ {
 private:
    // agurt, 02/jan/03: two-step 'type' definition for the sake of aCC 
    typedef if_c<
#if defined(BOOST_MPL_CFG_BCC_INTEGRAL_CONSTANTS)
          BOOST_MPL_AUX_VALUE_WKND(T1)::value
#else
          BOOST_MPL_AUX_STATIC_CAST(bool, BOOST_MPL_AUX_VALUE_WKND(T1)::value)
#endif
        , T2
        , T3
        > almost_type_;
 
 public:
    typedef typename almost_type_::type type;
    BOOST_MPL_AUX_LAMBDA_SUPPORT(3,if_,(T1,T2,T3))
};

    這就很明了了，先用 if_c 確定應(yīng)該使用 T2 還是 T3，再來(lái)個(gè)迂回的定義，就成了 ::type 。所以就聲明來(lái)看，if_ 的第一個(gè)模板參數(shù)確實(shí)是要求類(lèi)型。初看時(shí)，我郁悶了，如果我喜歡用 value （有些習(xí)慣連自己也感到奇怪！），那我為什么不用 if_c 呢？哈，當(dāng)然可以，如書(shū)上的例子：

template <typename T>
struct param_type 
    : mpl::if_<
               typename boost::is_scalar<T>::type,
               T,
               typename boost::add_reference<T const>::type
    > {};
typedef param_type<float>::type float_;

    完全可以改為：

template <typename T>
struct param_type 
    : mpl::if_c<
                boost::is_scalar<T>::value,
                T,
                typename boost::add_reference<T const>::type
    > {};

     對(duì)于書(shū)上面的后幾個(gè)簡(jiǎn)化，也照樣適用。我就更郁悶了，我前幾十分鐘干嘛去了？死抓著 if_ 不放，不考慮試試其它可能。我想起了昨天對(duì)書(shū)上某個(gè)例子的擴(kuò)充，確實(shí)受用（這當(dāng)然不是說(shuō)作者壞話(huà)，他是為了使書(shū)寫(xiě)得清晰明了才不使用在我看來(lái)是優(yōu)化的東西的。呃，有點(diǎn)長(zhǎng)…），我才再一次責(zé)怪起自己的讀書(shū)習(xí)慣。古人云：盡信書(shū)不如無(wú)書(shū)。這句話(huà)用到這里就是：別死跟著書(shū)走（哪里跟哪里嘛，風(fēng)馬牛不相及，哈哈！）。

     關(guān)于 boost ，我不了解的太多，需要一步一步來(lái)，就從簡(jiǎn)單的開(kāi)始吧。現(xiàn)在它可是遠(yuǎn)遠(yuǎn)超出了我的理解范圍，希望能趕上一點(diǎn)是一點(diǎn)。