static_assert(常量表达式，提示字符串)

如果第一个参数常量表达式的值为真(true或者非零值)，那么static_assert不做任何事情，就像它不存在一样，否则会产生一条编译错误，错误位置就是该static_assert语句所在行，错误提示就是第二个参数提示字符串。

因为static_assert是编译过程中可计算的表达式，所以不能使用变量等，这样会造成编译报错。例如：