c++11 assert 静态断言-CFANZ编程社区

断言，是指在对某一件事情或者事物下的一种主观性非常强的言论：如果事实与断言不符，则会认为错误，C++里面的assert也是起这样一个作用。

1. 什么是 assert

assert宏的原型定义在<assert.h>中

其作用是如果它的条件返回错误，则终止程序执行；

原型定义：

#include <assert.h>
void assert( int expression );

assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，
然后通过调用 abort 来终止程序运行。

2.样例：

#define _CRT_SECURE_NO_WARNINGS

#include <iostream>
#include <string>
#include <vector>
#include <map>


void mytest()
{
    bool flag = false;

    // 在程序运行阶段进行检测，如果条件为真，程序正常执行，如果为假，终止程序，提示错误
    // 需要包含 assert.h 头文件，实现是一个宏，禁用断言可以使用 #define NDEBUG
    //assert(flag == true);

    // C++ 11新增了关键字static_assert，可用于在编译阶段对断言进行测试。
    // 静态断言的好处：
    // 更早的报告错误，我们知道构建是早于运行的，更早的错误报告意味着开发成本的降低
    // 减少运行时开销，静态断言是编译期检测的，减少了运行时开销
    // 语法如下: static_assert(常量表达式，提示字符串)
    // 注意：只能是常量表达式，不能是变量

    //该static_assert用来确保编译仅在32位的平台上进行，不支持64位的平台
    static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");

    return;
}

int main()
{
    mytest();

    system("pause");
    return 0;
}

3.停用assert

#define NDEBUG

4.主要用法和注意事项：

1）用于检验变量的值是否在合法范围之内。大量使用if...else...会使代码变得非常拖沓，而且assert自带错误信息输出，非常方便定位。但缺点是assert失败时整个程序会退出，所以除非一些无法处理且会造成崩溃的非法值，否则应当尽量避免使用assert。
2）用于协助debug。能够判断变量的值是否在预期之内，可以大量减少日志输出，缺点是如果表达式不够严谨，可能会将一些错误的值当成正确的值而没有输出错误信息。
3）assert每次应当只检验一个条件。当校验多个条件而又失败时，因为assert并不输出表达式各变量的值，所以无法判断是哪个条件失败了。
4）当使用编译器编译时，应该注意release和debug版本的区别，一般而言，很多编译器在编译release版本都会定于NDEBUG ，使得assert失效。在这种情况下，应当不要依赖assert去校验变量，也不要在assert中修改变量的值。
5）据说assert比if会有很大的消耗，等我找个时间去检验一下。