restrict关键字用法

restrict是c99标准引入的 , 它只可以用于限定和约束指针 , 并表明指针是访问一个数据对象的唯一且初始的方式 .即它告诉编译器 , 所有修改该指针所指向内存中内容的操作都必须通过该指针来修改 , 而不能通过其它途径(其它变量或指针)来修改 ;这样做的好处是 , 能帮助编译器进行更好的优化代码 , 生成更有效率的汇编代码 . 如 int *restrict ptr,ptr指向的内存单元只能被 ptr 访问 , 任何同样指向这个内存单元的其他指针都是未定义的 , 直白点就是无效指针 . restrict的出现是因为 C 语言本身固有的缺陷 , C 程序员应当主动地规避这个缺陷 ,而编译器也会很配合地优化你的代码.
实际上目前大家用的C89标准的比较多 , 现在的大部分的教材都是c89的语法 , C99还加入了很多新的内容 ,现在很多编译器并不全都支持C99的语法 , 所以这个关键字用的不多 ,也许以后大家会用吧。

 

 

 restrict关键字用法 

原文出自;http://blog.chinaunix.net/uid-22197900-id-359209.html，转载仅用于个人学习

c99中新增加了一个类型定义，就是restrict。

那么restrict的意义是什么呢？

概括的说，关键字restrict只用于限定指针；该关键字用于告知编译器，所有修改该指针所指向内容的操作全部都是基于(baseon)该指针的，即不存在其它进行修改操作的途径；这样的后果是帮助编译器进行更好的代码优化，生成更有效率的汇编代码。

举个简单的例子

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 * restrictsrc,sizi_t n) 这是一个很有用的内存复制函数，由于两个参数都加了restrict限定，所以两块区域不能重叠，即dest指针所指的区域，不能让别的指针来修改，即src的指针不能修改. 相对应的别一个函数 memmove(void*dest,const void * src,size_t)则可以重叠。