boost::mpl::eval_if的用法

最近看boost的时候总是遇见这个eval_if,不知道啥意思，就没法看下去了，比如

前篇文章boost::serialization 拆分serialize函数分析时就出现这样一段代码：

template<class Archive, class T>
inline void split_member(Archive & ar, T & t, const unsigned int file_version)
{
	typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<
		BOOST_DEDUCED_TYPENAME Archive::is_saving,
		mpl::identity<detail::member_saver<Archive, T> >, 
		mpl::identity<detail::member_loader<Archive, T> >
	>::type typex;
	typex::invoke(ar, t, file_version);
}

就去看看boost文档解释如下：

typedef eval_if<c,f1,f2>::type t;
Return type:	Any type.
Semantics:	If c::value == true, t is identical to f1::type; otherwise t is identical to f2::type.

就是加入c::value 为TRUE就返回f1::type,否则就返回f2::type。
然后给了一个一列子：

typedef eval_if< true_, identity<char>, identity<long> >::type t1;
typedef eval_if< false_, identity<char>, identity<long> >::type t2;

BOOST_MPL_ASSERT(( is_same<t1,char> ));
BOOST_MPL_ASSERT(( is_same<t2,long> ));

自己动手试试，用法还是蛮简单的，而且还可以递归实用。
看下面一个简单的例子：

//定义两个结构体
template<typename T>
struct PointerStruct
{
	typedef T* PointerT;
	static void print()
	{
		std::cout << typeid(PointerT).name() << std::endl;
	}
};

template