UNIX中的restrict

restrict是c99引入的，它只可以用于限定指针，并表明指针是访问一个数据对象的唯一且初始的方式.仅当第二个指针基于第一个时,才能对对象进行存取.例子考虑下面的例子： 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，编译器就可以放心地进行优化了。void *memcpy（void * restrict s1,const void * restrict s2,size_t n）;如果拷贝发生在两个重叠的对象之间，行为是不确定的。void *memmove（void *s1, constvoid *s2, size_t n）;即使两个指针指向的区域互相重叠，拷贝也不会受影响。值得注意的是，一旦你决定使用restrict来修饰指针，你必须得保证它们之间不会互相重叠，编译器不会替你检查。