restrict是c99标准引入的,它只可以用于限定和约束指针,并表明指针是访问一个数据对象的唯一且初始的方式.即它告诉编译器,所有修改该指针所指向内存中内容的操作都必须通过该指针来修改,而不能通过其它途径(其它变量或指针)来修改;这样做的好处是,能帮助编译器进行更好的优化代码,生成更有效率的汇编代码.如 int *restrict ptr, ptr 指向的内存单元只能被 ptr 访问到,任何同样指向这个内存单元的其他指针都是未定义的,直白点就是无效指针。restrict 的出现是因为 C 语言本身固有的缺陷,C 程序员应当主动地规避这个缺陷,而编译器也会很配合地优化你的代码.
例子1:
int func(int *x, int *y){ *x = 0; *y = 1; return *x;}//这种情况情况下,对*的赋值可能影响*x,因为x,y可能指向同一地址,所以编译器不会进行代码优化
int func(int * restrict x, int * restrict y){ *x = 0; *y = 1; return *x;}//编译器可以根据限定符确定*y赋值不会影响到*x,所以可以将上述代码的返回语句优化成return 0;
例子2:
//限定符告诉编译器两个缓冲区互不影响,没有重叠部分,可以直接将元缓冲区内容复制到目标缓冲区void * memcpy(void * restrict s1, const void * restrict s2, size_t n);//缓冲区可能有重叠部分,则需要先复制到一个临时缓冲区,再复制到目标缓冲区void * memmove(void * s1, const void * s2, size_t n);