发布时间：2014-6-1 19:19
分类名称：Boost
// 注释：所有的代码最好从下往上看，Boost里面搞了一堆宏，如果手动替换，估计你过不了多久就崩溃了。
// 下面的代码利用VS编译器的一个特性，将预编译信息生成了出来，这样宏就已经全部被替换为真实的模板
template<class _Ty,
_Ty _Val>
struct integral_constant
{
static const _Ty value = _Val;
typedef _Ty value_type;
typedef integral_constant<_Ty, _Val> type;
operator value_type() const
{
return (value);
}
};
typedef integral_constant<bool, true> true_type;
typedef integral_constant<bool, false> false_type;
// 定义模板，匹配特化不成功的，都落到了这里。类型为false_type
template<class _Ty>
struct _Is_integral
: false_type
{
};
// 模板bool特化
template<>
struct _Is_integral<bool>
: true_type
{
};
// 模板char特化
template<>
struct _Is_integral<char>
: true_type
{
};
// 模板unsigned char特化
template<>
struct _Is_integral<unsigned char>
: true_type
{
};
// 模板signed char特化
template<>
struct _Is_integral<signed char>
: true_type
{
};
template<>
struct _Is_integral<wchar_t>
: true_type
{
};
template<>
struct _Is_integral<unsigned short>
: true_type
{
};
template<>
struct _Is_integral<signed short>
: true_type
{
};
template<>
struct _Is_integral<unsigned int>
: true_type
{
};
template<>
struct _Is_integral<signed int>
: true_type
{
};
template<>
struct _Is_integral<unsigned long>
: true_type
{
};
template<>
struct _Is_integral<signed long>
: true_type
{
};
template<>
struct _Is_integral<__int64>
: true_type
{
};
template<>
struct _Is_integral<unsigned __int64>
: true_type
{
};
// 定义remove_const模板，_Ty为任何类型。
template<class _Ty>
struct remove_const
{
typedef _Ty type;
};
// 特化remove_const，针对const type（如 int、long，class ... ...)
// 例如一个const int ， _Ty 为 const int类型，type就为int类型。
// 这种编程很巧妙，通过特化，匹配不同的特化，通过type将const关键字去掉，返回。
template<class _Ty>
struct remove_const<const _Ty>
{
typedef _Ty type;
};
// 特化为指针？
template<class _Ty>
struct remove_const<const _Ty[]>
{
typedef _Ty type[];
};
// 特化为数组
template<class _Ty, unsigned int _Nx>
struct remove_const<const _Ty[_Nx]>
{
typedef _Ty type[_Nx];
};
// 定义remove_volatile模板，_Ty为任何类型。
template<class _Ty>
struct remove_volatile
{
typedef _Ty type;
};
// 特化remove_volatile，针对volatile type（如 [const] int、long，class ... ...)
// 例如一个volatile const int ， _Ty 为 const int类型，type就为 const int类型。
// 这种编程很巧妙，通过特化，匹配不同的特化，通过type将volatile关键字去掉，返回。
template<class _Ty>
struct remove_volatile<volatile _Ty>
{
typedef _Ty type;
};
// 特化为指针？
template<class _Ty>
struct remove_volatile<volatile _Ty[]>
{
typedef _Ty type[];
};
// 特化为数组
template<class _Ty, unsigned int _Nx>
struct remove_volatile<volatile _Ty[_Nx]>
{
typedef _Ty type[_Nx];
};
// 定义模板：remove_cv，此模板什么也没做，就是通过typdef向remove_volatile和remove_const传递信息。
template<class _Ty>
struct remove_cv
{
// 这个元函数传递可真复杂，传递了两次。因为volatile是先于const出现，所以先是typename remove_volatile<_Ty>::type，
// 再是typename remove_const<typename remove_volatile<_Ty>::type>::type
typedef typename remove_const<typename remove_volatile<_Ty>::type>::type
type;
};
// is_integral 继承自_Is_integral，_Is_integral根据所有的整形类型做了特化（见上文代码），编译器会根据特化优先匹配，通过其继承的::value返回true/false。
// 但由于不同的类型前面还有修饰符，如：const，volatile等，所以，要先发现这些关键字，将其去掉，在和_Is_integral的每个特化进行精确匹配。
template<class _Ty>
struct is_integral
: _Is_integral<typename remove_cv<_Ty>::type>
{
};
/*
例如目前有个例子：assert(is_integral<volatile const long>::value);
编译器如何解析？
在remove_cv中可以看到最里层的先是typename remove_volatile<_Ty>::type,所以先使用解析配对，配对结果为其第一个特化，通过type返回的结果为：const int，成功将volatile去掉。
接着typename remove_const<typename remove_volatile<_Ty>::type>::type，中，相当于：typename remove_const<const int>::type，将const去掉，type返回的结果为：int。
这样：typename remove_cv<volatile const int>::type，返回的就是int。如果不做此处理，直接传入（volatile const int 给_Is_integral，编译器发现没有特化能够匹配，使用默认模板匹配，value为false，
但value不应该是false，所以匹配就出现问了。
问题：这一堆代码，会不是增加程序的大小？我测试了一下，不包含boost头文件，单独的声明这一堆元函数，使用bool bInt = 1；编译出来的结果是一致的。
这一堆推到都是在编译的时候计算的，真正运行的时候，就是一个常量。编译时间变长，这倒是真的，因为越复杂的模板，编译器就要花费更多的时间来解析。
*/
int _tmain(int argc, _TCHAR* argv[])
{
// 和使用bool bInt = 1；程序大小一样。
is_integral < int >::value_type bInt = is_integral < int >::value;
return 0;
}