boost的静态断言可以实现在编译器就检测错误的类型或语法错误，能降低运行时可能发生的错误情况，充分利用编译器提供的优势。静态断言的核心实现是通过模板的偏特化来只声明不实现，如下是我实现的一个简单的静态断言

template<bool>

struct static_assert;

template<>

struct static_assert<true> {};

这里实现了true模式的类实现，但是没有实现false模式的类实现，所以如果一旦条件是false，声明一个static_assert的变量则肯定会编译失败

定义一个static_assert的变量就完成了条件的判断

static_assert<Cond>();

这里我们来定义一个宏来简化这个工作

#define STATIC_ASSERT(Cond) \

(void)static_assert<Cond>()

所以最后的结果就是

STATIC_ASSERT(0==0);

STATIC_ASSERT(1==0);//编译不过

boost静态断言的简单实现