c++11新特性-静态断言static_assert

首先我讲一下什么是断言，因为在知道静态断言的时候我连断言都不知道是什么。。

1. 断言

在编程中，断言（assertion） 是一种用于检查程序的正确性的方法。它是一种在代码中插入的布尔表达式，用于在程序执行时进行验证。如果断言的条件为真，程序继续正常执行；如果条件为假，断言会触发，停止程序的执行，并且通常打印出错误信息。

断言通常用于：

1. 验证假设： 程序员在编写代码时可以插入断言，用来验证程序执行到某个位置时，某个特定条件应该为真。

2. 发现错误： 断言可以用于发现编程错误。如果一个程序的执行结果与预期不符，断言会帮助程序员快速发现错误的位置。

在C++中，你可以使用assert() 函数来插入一个断言。例如：

#include <iostream>
using namespace std;
#include <assert.h>

void test01() {
    int x = 5;
    assert(x > 0); // 断言 x 大于 0

    // 如果 x 不大于 0，程序会在此处停止执行，并输出错误信息。

    cout << x << endl;
}

int main()
{
	test01();
	return 0;
}

在这个例子中，assert(x > 0) 表示如果 x 不大于 0，程序将停止执行，这是一种非常简单但有效的调试和错误检测技术。

加不加都可以，但是在大型项目开发的时候，加上这个肯定利于调试.

2. 静态断言

在C++中，静态断言（Static Assertion）是一种在编译时进行条件检查的机制。它使用 static_assert 关键字，并且是在编译时执行的，而不是在运行时。静态断言通常用于确保在编译时期满足特定条件。

静态断言的语法如下：

static_assert(expression, "error message");

• expression 是一个在编译时可以求值的常量表达式，如果它的结果为 false，编译器将生成一个错误消息，显示为 "error message"。

例如，以下是一个使用静态断言的例子，确保某个数据类型的大小符合预期：

#include <iostream>
using namespace std;
#include <assert.h>


void test01() {
    int x = 0;
    assert(x > 0); // 断言 x 大于 0

    // 如果 x 不大于 0，程序会在此处停止执行，并输出错误信息。

    cout << x << endl;
}

template<class T>
void processData(T& data) {
    static_assert(sizeof(T) <= sizeof(int), "Data type size must be less than or equal to int");
    // 处理数据其他代码
}

void test02() {
    int a = 10;
    double b = 3.14;
    processData(a);
    // processData(b); 会报错
    cout << "after static_assert" << endl;
}

int main()
{
	//test01();
    test02();
	return 0;
}

这段代码会正常输出 after static_assert

但如果把b传进去的话就会报错。

在这个例子中，processData 函数使用了静态断言，确保传递给它的数据类型的大小不超过 int。如果传递的类型的大小大于 int，编译时将会生成一个错误消息。

静态断言是在C++11标准中引入的，它提供了一种强大的工具，帮助程序员在编译时期捕获一些错误和不一致性。