静态断言和动态断言

断言

断言是编程中一种常用的手段，通常情况下，断言就是将一个返回值总是需要为真的判断表达式放在语句中，用于排除在设置的逻辑上不应该产生的情况。

比如：一个函数实现除法功能，除数不能为0，或者一个函数总需要输入在一定范围内的参数，那么就可以使用断言，强制让程序发生异常之前推出，避免逻辑的混乱。断言可以帮助我们快速定位那些违法了某些前提条件的程序错误。

动态断言：如果要使用断言我们需要导入头文件<cassert>或<assert.h>,头文件为我们提供了assert宏，用于运行时断言。

//创建一个指定大小的char类型数组
char *createArray(int size)
{
    //通过断言判断数组大小是否大于0
    assert(size>0);    //必须大于0，否则程序中断
    char *array = new char[size];
    return array;
}

静态断言：如果我们想知道当前是32位还是64位平台，显然如果写完程序之后再运行测试是不合理的，所以此时我们应该使用静态断言。Static_assert,所谓静态就是再编译时能进行检查的断言，使用时不需要引用头文件。

静态断言的表达式是再编译阶段进行检测，所以它的表达式中不能出现变量，必须是常量表达式

int main()
{
    //如果我们的环境是32位平台那么在编译阶段就会提示我们自己定义的错误no 32
    static_assert(sizeof(int*) == 4, "no 32");    //正确的
    static_assert(sizeof(int*) == 8, "no 64");    //报错 no 64

    //错误，a是变量，表达式要求是常量表达式
    int a = 4;
    static_assert(a == 4,"no 32");
    return 0;
}