restrict: 限定符只适用于对象指针类型,这是C99新增加的

文章出处：http://joeblackzqq.blog.163.com/blog/static/162595432201042333837633/

 

    restrict: 限定符只适用于对象指针类型，这是C99新增加的，用来告诉编译器，此指针所指向的对象如果被修改，就不可以被此指针以外的方式所存取，不管是直接地还是间接地。
<转载一>
举个简单的例子

int foo (int* x, int* y)
...{
*x = 0;
*y = 1;
return *x;
}

很显然函数foo()的返回值是0，除非参数x和y的值相同。可以想象，99％的情况下该函数都会返回0而不是1。然而编译起必须保证生成100%正确的代码，因此，编译器不能将原有代码替换成下面的更优版本:

int f (int* x, int* y)
...{
*x = 0;
*y = 1;
return 0;
}

现在我们有了restrict这个关键字，就可以利用它来帮助编译器安全的进行代码优化了

int f (int *restrict x, int *restrict y)
...{
*x = 0;
*y = 1;
return *x;
}

此时，由于指针 x 是修改 *x 的唯一途径，编译起可以确认“*y=1; ”这行代码不会修改 *x 的内容，因此可以安全的优化为

int f (int *restrict x, int *restrict y)
...{
*x = 0;
*y = 1;
return 0;
}

最后注意一点，restrict是C99中定义的关键字，C++目前并未引入；在GCC可通过使用参数" -std=c99"来开启对C99的支持。

下面是我从C语言核心技术一书上摘的：
void *memcpy( void * restrict dest ,const void * restrict src,sizi_t n) 这是一个很有用的内存复制函数，由于两个参数都加了restrict限定，所以两块区域不能重叠，即 dest指针所指的区域，不能让别的指针来修改，即src的指针不能修改. 相对应的别一个函数 memmove(void *dest,const void * src,size_t)则可以重叠。