assert _Aligns

宏assert的定义依赖于标准库不定义另一个宏NDEBUG.

若NDEBUG 在包含了<assert.h>的源代码中的点定义为宏名，则assert不做任何事。

若不定义NDEBUG，则assert将其参数（必须拥有标量类型）与零比较相等，若相等，则assert在标准错误输出上输出实现指定的诊断信息，并调用abort。诊断信息要求包含表达式的文本，还有标准宏 _FILE_、_LINE_以及预定义变量_func_的值。

参数

condition --标量类型表达式

返回值

（无）

示例：

#include<stdio.h>

#include<assert.h>

#include<math.h>

int main(void)

{

double x = -1.0;

assert(x>=0.0);

printf("sqrt(x) = %f\n",sqrt(x));

return 0;

}

_Aligns

出现于声明语法中，作为修改声明对象对齐要求的指定符。

表达式：任何值为合法对齐或零的整数常量表达。

类型：任何类型名称

_Aligns 只能在声明不是位域，且不拥有寄存器存储类的对象时使用。它不能用于函数参数声明，也不能用于 typedef。用于声明时。设置被声明对象的对齐要求为：

1）表达式的结果，除非它是零。

2）类型的对齐要求，即设置为 _Alignof(type)

示例：

#include<stdalign.h>

#include<stdio.h>

//每一个 struct sse_t类型的对象会在16字节边界对齐。

struct sse_t

{

aligns(16) float sse_data[4];

};

//这种struct data 的每一个对象都会在128字节边界对齐

struct data{

char x;

alignas(128) char cacheline[128]; // 过对齐的char数组对象；

}；

int main(void)

{

alignas(2048) struct data d; //此 struct data 的实例会更严格地对齐；

}

存储类指定符

auto -自动存储期与无链接

register-自动存储与无链接，不能取这种对象的地址

static 静态存储与内部链接（除非这块作用域）

extern-静态存储期与外部链接

静态存储期：存储是整个程序的执行过程。