static_assert( constant-expression, string-literal );static_assert( constant-expression ); // C++17 (Visual Studio 2017 and later)
constant-expression
可以转换为布尔值的整型常量表达式。 如果计算出的表达式为零 (false),则显示 string-literal 参数,并且编译失败,并出现错误。 如果表达式不为零 (true),则 static_assert
声明无效。
string-literal
当 constant-expression 参数为零时显示的消息。 该消息是编译器的基本字符集中的一个字符串;即,不是多字节或宽字符。
注解
static_assert
声明的 constant-expression 参数表示软件断言。 软件断言指定在程序的某个特定点应满足的条件。 如果条件为 true,则 static_assert
声明无效。 如果条件为 false,则断言失败,编译器在 string-literal 参数中显示消息,并且编译失败,出现错误。 在 Visual Studio 2017 及更高版本中,string-literal 参数是可选的。
static_assert
声明在编译时测试软件断言。 相反,assert 宏、_assert 和 _wassert 函数在运行时测试软件断言,并产生运行时空间或时间成本。 static_assert
声明对调试模板尤其有用,因为模板自变量可包含在 constant-expression 中。
当遇到声明时,编译器将检查 static_assert
声明是否存在语法错误。 如果编译器不依赖于模板参数,则编译器会立即计算 constant-expression 参数。 否则,在对模板进行实例化时,编译器将计算 constant-expression 参数。 因此,当遇到声明时,编译器可能一次发布一个诊断消息,而在对模板进行实例化时也是如此。
可以在命名空间、类或块范围中使用 static_assert
关键字。 (由于 static_assert
关键字可以在命名空间范围内使用,因此,即使它不将新名称引到程序中,但从技术上讲,它也是一个声明。)
示例:具有类范围 static_assert
#include <type_traits>
#include <iosfwd>
namespace std {
template <class CharT, class Traits = std::char_traits<CharT> >
class basic_string {static_assert(std::is_pod<CharT>::value,"Template argument CharT must be a POD type in class template basic_string");// ...};
}struct NonPOD {NonPOD(const NonPOD &) {}virtual ~NonPOD() {}
};int main()
{std::basic_string<char> bs;
}
示例:static_assert
在块范围内
#include <sys/param.h> // defines PAGESIZE
class VMMClient {
public:struct VMPage { // ...};int check_pagesize() {static_assert(sizeof(VMPage) == PAGESIZE,"Struct VMPage must be the same size as a system virtual memory page.");// ...}
// ...
};