restrict: 限定符只适用于对象指针类型,这是C99新增加的
2011-04-22 11:36
239 查看
文章出处: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)则可以重叠。
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)则可以重叠。
相关文章推荐
- 为什么static成员的类型可以是类本身?又为什么非static成员被限定声明为其自身类对象的指针或引用?
- 为什么static成员的类型可以是类本身?又为什么非static成员被限定声明为其自身类对象的指针或引用?
- C++指针类型与对象类型匹配的解释
- C99中增加的关键字restrict(zz)
- c++对象模型笔记:指针类型转换
- C++ 基础:传参的基本形式-基本类型,对象,引用和指针
- 解析C++普通局部变量与指针类型的对象变量的应用区别
- 编写程序定义一个vector 对象,其每个元素都是指向string 类型的指针,读 取该vector 对象,输出每个string 的内容及其相应的长度。
- JS 将变量 转化为字符串的方法, 适用于所有类型,数组, JSON对象,函数和基本类型等
- 指针是一个保存对象地址的变量,地址是一种数据类型
- const限定修饰符,常量指针,引用类型
- c++中判断指针类型对象
- 基类中定义的虚函数在派生类中重新定义时,其函数原型,包括返回类型、函数名、参数个数、参数类型及参数的先后顺序,都必须与基类中的原型完全相同 but------> 可以返回派生类对象的引用或指针
- javaweb srpingmvc mybatis 分页查询 增加示例 参数类型map 和实体对象
- void*不是指向对象的类型(这种类型的指针不能指向一个实体)
- C++问题,对象包含与成员函数不兼容的类型限定符
- 类型限定符--restrict
- C语言的restrict类型限定符
- 用string类型的vector对象创建一个字符指针数组
- Java中的对象类型像引用还是指针,谁是谁非?