C++11中while的新用法

在C11中，while循环引入了一种新的语法，称为“_Static_assert()”，它允许在编译时执行断言检查。它的语法如下：

_Static_assert(expression, message);

其中，expression是一个可以在编译时求值的常量表达式，如果该表达式的值为0，则会在编译时抛出一个编译错误，并输出message作为错误信息。

这种语法可以用来在编译时检查一些常量条件，例如数组大小、枚举值范围等，从而避免一些潜在的运行时错误。下面是一个例子：

#include <stdio.h>
#include <stdbool.h>

#define MAX_SIZE 10

_Static_assert(MAX_SIZE > 0, "Invalid array size!");

int main()
{
    int arr[MAX_SIZE];
    bool flag = true;

    _Static_assert(sizeof(int) == 4, "This program only works on 32-bit machines!");

    for (int i = 0; i < MAX_SIZE; i++) {
        arr[i] = i;
    }

    if (flag) {
        printf("The array size is %d.\n", MAX_SIZE);
    }

    return 0;
}

在上面的代码中，我们使用_Static_assert()检查了数组的大小是否合法，并检查了程序是否只能在32位机器上运行。如果在编译时检测到不合法的条件，编译器会输出错误信息并终止编译。