static_assert
断言（assertion）是提高代码质量的有效武器。C++标准库中的assert, MFC中的ASSERT宏\VERIFY宏都是断言的例子，它们的共同点是在运行时对程序状态进行判断，
例如检查函数的参数有效性，检查类的不变式(invariant)等。而C++ 0x中的静态断言呢，和运行时的断言不一样，它是编译时执行检查的。
看下面的例子：
// file: staticfluffykitten.cpp
template <int N> struct Kitten {
static_assert(N < 2, "Kitten<N> requires N < 2.");
};
int main() {
Kitten<1> peppermint;
Kitten<3> jazz;
}
编译结果：
staticfluffykitten.cpp(2) : error C2338: Kitten<N> requires N < 2.
staticfluffykitten.cpp(8) : see reference to class template instantiation 'Kitten<N>' being compiled
with
[
N=3
]
上面例子中用static_assert对模板参数N进行了检查，如果断言失败编译器将使用用户自定义的错误消息。
熟悉boost库的朋友对static_assert应该很熟悉 - boost提供了BOOST_STATIC_ASSERT宏跟C++ 0x中的static_assert类似，但是BOOST_STATIC_ASSERT没有使用
用户自定义的错误消息。如果BOOST_STATIC_ASSERT失败，编译时会出现类似下面的错误：
Error: use of undefined type 'boost::STATIC_ASSERTION_FAILURE<false>'
关于boost中的静态断言，参考boost的文档：http://www.boost.org/doc/libs/1_40_0/doc/html/boost_staticassert.html