restrict是C99引入的关键字，该关键字适用于指针的声明，并表明指针是访问一个数据对象的唯一且初始的方式，由此编译器可以进行一些优化。

例1

搞自：http://www.blogjava.net/killme2008/archive/2007/08/04/134399.html

int ar[10];
int * restrict restar=(int *)malloc(10*sizeof(int));
int *par=ar;

这里说明restar是访问由malloc()分配的内存的唯一且初始的方式。par就不是了。
那么：

for(n=0;n<10;n++)
{par[n]+=5;restar[n]+=5;ar[n]*=2;par[n]+=3;restar[n]+=3;
}

因为restar是访问分配的内存的唯一且初始的方式，那么编译器可以将上述对restar的操作进行优化：
restar[n]+=8;

而par并不是访问数组ar的唯一方式，因此并不能进行下面的优化：
par[n]+=8;
因为在par[n]+=3前，ar[n]*=2进行了改变。使用了关键字restric，编译器就可以放心地进行优化了。

例2

参考：http://en.wikipedia.org/wiki/Restrict

考虑下面两个函数： test.c

void fun1(size_t *pa, size_t *pb, size_t *pc)
{*pc += *pa;*pb += *pa;
}void fun2(size_t *restrict pa, size_t *restrict pb, size_t *restrict pc)
{*pc += *pa;*pb += *pa;
}

gcc -S  -std=c99 -O2 test.c 查看其汇编源码，经分析可以发现fun2比fun1少执行一条汇编语句，从而实现优化。

fun1:pushl   %ebpmovl    %esp, %ebpmovl    8(%ebp), %edxmovl    16(%ebp), %ecxmovl    12(%ebp), %eaxpushl   %ebx                movl    (%edx), %ebx        ;此时edx保存的是pa的值，此句执行结果是把pa指针指向的值存放在ebx中
    addl    %ebx, (%ecx)        ;ecx保存的是pc的值，把ebx的值加到pc指向的地址中
    movl    (%edx), %edx        ;把pa解引用后的值保存在edx中
    addl    %edx, (%eax)        ;eax保存的是pb的值，把edx的值加到pb指向的地址中
        ;; 如果我们可以确保ebx的值没有发生改变，我们完全可以省去movl (%edx), %edx，并修改addl    %edx, (%eax)为addl   %ebx, (%eax)，从而提高效率。
        ;; 但编译器没有这么做，因为有可能pa和pc指向同一块内存区域，修改pc的值有可能修改pa的值，所以要必须重新载入pa指向的值
    popl    %ebxpopl    %ebpret.size   fun1, .-fun1.p2align 4,,15
.globl fun2.type   fun2, @function
fun2:pushl   %ebpmovl    %esp, %ebpmovl    8(%ebp), %edxmovl    16(%ebp), %ecxmovl    12(%ebp), %eaxmovl    (%edx), %edxaddl    %edx, (%ecx)addl    %edx, (%eax);; 使用restrict关键字后，编译器就知道pa，pb，pc指向不同的内存区域（至于是否真正指向不同的区域需要程序员来保证），修改pc的值不会影响pa的值，所以edx的值没有改变，还可以继续使用，从而减少一条汇编语句
    popl    %ebpret.size   fun2, .-fun2.p2align 4,,15