当前位置:编程学习 > C/C++ >>

指针是访问一个数据对象的唯一且初始的方式

restrict是c99引入的,它只可以用于限定指针,并表明指针是访问一个数据对象的唯一且初始的方式.
  仅当第二个指针基于第一个时,才能对对象进行存取.
 
 
例子  考虑下面的例子:
  int ar[10];
  int * restrict restar=(int *)malloc(10*sizeof(int));
  int *par=ar;
  这里说明restar是访问由malloc()分配的内存的唯一且初始的方式。par就不是了。
  那么:
[cpp]  
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来修饰指针,你必须得保证它们之间不会互相重叠,编译器不会替你检查。
 
 
void setbuf (FILE *restrict fp,char *restrict buf);
表示fp和buf所指内存空间不交叉
这个关键字与优化有关。
比方 www.zzzyk.com
void func(int*a,int*b)
{
    *a+=*b;
    *a+=*b;
}
本来可以优化为
void func(int*a,int*b)
{
    *a+=*b<<1;
}
可是如果a和b指向同一整型,两个函数语意就不一样了。
因为有这种风险,于是很多编译器便不会这么优化了。
现在加了restrict关键字,编译器就可以大胆的做这种优化了
另外,对于优化而言,restrict,register关键字是建议性的,而volatile关键字是强制性的
补充:软件开发 , C++ ,
CopyRight © 2022 站长资源库 编程知识问答 zzzyk.com All Rights Reserved
部分文章来自网络,