详解C++编程中断言static_assert的使用
断言和用户提供的消息
C++ 语言支持可帮助您调试应用程序的三个错误处理机制：#error 指令、static_assert 关键字和 assert (CRT) 宏。所有的三种机制都会发出错误消息，其中两个还会测试软件断言。软件断言指定在程序的某个特定点应满足的条件。如果编译时断言失败，编译器将发出诊断消息和编译错误。如果运行时断言失败，操作系统将发出诊断消息并关闭应用程序。
备注
应用程序的生存期由预处理、编译和运行时阶段组成。每个错误处理机制都会访问在这三个阶段之一中可用的调试信息。若要有效地调试，请选择提供有关该阶段的相应信息的机制：
#error 指令在预处理时有效。它将无条件地发出用户指定的消息并导致编译因错误而失败。该消息可包含由预处理器指令操作的文本，但不会计算任何生成的表达式。
static_assert 声明在编译时有效。它将测试由用户指定且可以转换为布尔值的整数表达式表示的软件断言。如果表达式的计算结果为零 (false)，编译器将发出用户指定的消息，并且编译因错误而失败。
static_assert 声明对调试模板尤其有用，因为模板参数可包含在用户指定的表达式中。
assert (CRT) 宏在运行时有效。它会计算用户指定的表达式，如果结果为零，系统将发出诊断消息并关闭应用程序。很多其他宏（如_ASSERT 和 _ASSERTE）与此宏类似，但它们发出不同的系统定义或用户定义的诊断消息。
static_assert
在编译时测试软件断言。如果指定的常量表达式为 false，则编译器显示指定的消息，并且编译失败，错误为 C2338；否则，声明不起作用。
语法
static_assert( constant-expression, string-literal );
参数
| 参数 | 说明 |
|---|---|
| constant-expression | 可以转换为布尔值的整型常量表达式。如果计算出的表达式为零 (false)，则显示 string-literal 参数，并且编译因出错而失败。如果表达式不为零 (true)，则 static_assert 声明无效。 |
| string-literal | 当 constant-expression 参数为零时显示的消息。该消息是编译器的基本字符集中的一个字符串；即，不是多字节或宽字符。 |
备注
static_assert 声明的 constant-expression 参数表示软件断言。软件断言指定在程序的某个特定点应满足的条件。如果满足该条件，则 static_assert 声明无效。如果未满足该条件，则断言失败，编译器在 string-literal 参数中显示消息，并且编译因出错而失败。
static_assert 声明在编译时测试软件断言。相反，assert (CRT) 宏在运行时测试软件断言，并会导致增大运行时花费的空间和时间。由于模板参数包含在 constant-expression 参数中，因此 static_assert 声明对于调试模板很有用。
当遇到声明时，编译器将检查 static_assert 声明是否存在语法错误。如果编译器不依赖于模板参数，则编译器会立即计算 constant-expression 参数。否则，在对模板进行实例化时，编译器将计算 constant-expression 参数。因此，当遇到声明时，编译器可能一次发布一个诊断消息，而在对模板进行实例化时也是如此。
可以在命名空间、类或块范围中使用 static_assert 关键字。（由于 static_assert 关键字可以在命名空间范围内使用，因此，即使它不将新名称引入程序中，但从技术上讲，它也是一个声明。）
说明
在下面的示例中，static_assert 声明具有命名空间范围。由于编译器知道类型 void * 的大小，因此可以立即计算表达式。
示例
static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");
说明
在下面的示例中，static_assert 声明具有类范围。 static_assert 验证模板参数是否为纯旧数据 (POD) 类型。编译器将在声明 static_assert 声明时检查该声明，但不计算 constant-expression 参数，直到在 main() 中实例化 basic_string 类模板。
示例
#include <type_traits>
#include <iosfwd>
namespace std {
template <class CharT, class Traits = std::char_traits<CharT> >
class basic_string {
static_assert(tr1::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 声明具有块范围。 static_assert 验证 VMPage 结构的大小是否与该系统的虚拟内存页大小相等。
示例
#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.");
// ...
}
// ...
};
相关文章
- vector是表示可以改变大小的数组的序列容器，本文主要介绍了C++STL标准库std::vector的使用详解，文中通过示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下...2022-03-06
- 这篇文章主要介绍了C++中取余运算的实现，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2021-02-23
- 这篇文章主要介绍了C++ string常用截取字符串方法，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 本文通过例子，讲述了C++调用C#的DLL程序的方法，作出了以下总结，下面就让我们一起来学习吧。...2020-06-25
- 本篇文章主要介绍了C++中四种加密算法之AES源代码，小编觉得挺不错的，现在分享给大家，也给大家做个参考。...2020-04-25
- 整数拆分，指把一个整数分解成若干个整数的和。本文重点给大家介绍C++ 整数拆分方法详解，非常不错，感兴趣的朋友一起学习吧...2020-04-25
- 这篇文章主要介绍了C++中Sort函数详细解析，sort函数是algorithm库下的一个函数，sort函数是不稳定的，即大小相同的元素在排序后相对顺序可能发生改变...2022-08-18
- 这篇文章主要介绍了C++万能库头文件在vs中的安装步骤(图文)，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2021-02-23
- 这篇文章主要介绍了C++ bitset用法，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 本篇文章小编并不是为大家讲解string类型的用法，而是讲解我个人比较好奇的问题，就是string 类型占几个字节...2020-04-25
- 这篇文章主要为大家详细介绍了C++ Eigen库计算矩阵特征值及特征向量，具有一定的参考价值，感兴趣的小伙伴们可以参考一下...2020-04-25
- 这篇文章主要介绍了VSCode C++多文件编译的简单使用方法,本文给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下...2021-03-29
- 这篇文章主要介绍了C++ pair的用法实例详解的相关资料,需要的朋友可以参考下...2020-04-25
- 虽然C++11引入了智能指针的，但是开发人员在与内存的斗争问题上并没有解放，如果我门实用不当仍然有内存泄漏问题，其中智能指针的循环引用缺陷是最大的问题。下面通过实例代码给大家介绍c++中的循环引用，一起看看吧...2020-04-25
- 这篇文章主要介绍了Python同时处理多个异常的方法,文中讲解非常细致，代码帮助大家更好的理解和学习，感兴趣的朋友可以了解下...2020-07-29
- 这篇文章主要给大家介绍了关于C++随机点名生成器的相关资料，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- map容器是C++ STL中的重要一员，删除map容器中value为指定元素的问题是我们经常与遇到的一个问题，下面这篇文章主要给大家介绍了关于利用C++如何删除map容器中指定值的元素的相关资料，需要的朋友可以参考借鉴，下面来一起看看吧。...2020-04-25
- 这篇文章主要介绍了C++ 约瑟夫环问题案例详解,本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下...2021-08-15
- 这篇文章主要介绍了C++中cin的用法详细,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧...2020-04-25
- 本篇文章是对C++中的常见编译错误进行了详细的分析介绍，需要的朋友参考下...2020-04-25