#t#Visual Studio有很多值得学习的地方，这里我们主要介绍Visual Studio assert宏，包括介绍静态断言static_assert等方面。C++标准C++03中，我们可以使用两种断言：
◆使用预处理中的条件编译和#error指令，可以在预处理阶段检查一些编译条件
◆可以使用Visual Studio assert宏来进行运行时检查，以确保程序逻辑的正确性

但使用#error方法是非常烦琐的，并且不能够对模板参数进行检查，因为模板实例化是在编译时进行，而#error方法是在预处理阶段进行的。而 Visual Studio assert宏是在运行时进行检查。不难发现，我们缺少了一样东西，那就是可用于在编译时检查的工具。于是，静态断言应运而生。

在新的C++标准C++0x中，加入了对静态断言的支持，引入了新的关键字static_assert来表示静态断言。使用静态断言，我们可以在程序的编译时期检测一些条件是否成立，这个特性在调试模板函数的模板参数时特别有用。在编译的时候，模板函数实例化，这时我们就可以使用静态断言去测试模板函数的参数是否按照我们的设计拥有合适的值。例如下面这段代码：

template  N> struct Kitten {  
static_assert(N < 2, "Kitten requires N < 2.");  
};  
 
int main() {  
Kitten<1> peppermint;  
Kitten<3> jazz;  
 
return 0;  
}