类型限定符--restrict
2016-08-22 09:08
232 查看
restrict,C语言中的一种类型限定符(Type Qualifiers),用于告诉编译器,对象已经被指针所引用,不能通过除该指针外所有其他直接或间接的方式修改该对象的内容.
restrict是c99标准引入的,它只可以用于限定和约束指针,并表明指针是访问一个数据对象的唯一且初始的方式.即它告诉编译器,所有修改该指针所指向内存中内容的操作都必须通过该指针来修改,而不能通过其它途径(其它变量或指针)来修改;这样做的好处是,能帮助编译器进行更好的优化代码,生成更有效率的汇编代码.如
int *restrict ptr, ptr 指向的内存单元只能被 ptr 访问到,任何同样指向这个内存单元的其他指针都是未定义的,直白点就是无效指针。restrict 的出现是因为 C 语言本身固有的缺陷,C 程序员应当主动地规避这个缺陷,而编译器也会很配合地优化你的代码
考虑下面的例子:
int ar[10];
int * restrict restar=(int *)malloc(10*sizeof(int));
int *par=ar;
这里说明restar是访问由malloc()分配的内存的唯一且初始的方式。par就不是了。
那么:
for(n=0;n<10;n++)
{
par
+=5;
restar
+=5;
ar
*=2;
par
+=3;
restar
+=3;
}
因为restar是访问分配的内存的唯一且初始的方式,那么编译器可以将上述对restar的操作进行优化:
restar
+=8;
而par并不是访问数组ar的唯一方式,因此并不能进行下面的优化:
par
+=8;
因为在par
+=3前,ar
*=2进行了改变。使用了关键字restrict,编译器就可以放心地进行优化了。
restrict是c99标准引入的,它只可以用于限定和约束指针,并表明指针是访问一个数据对象的唯一且初始的方式.即它告诉编译器,所有修改该指针所指向内存中内容的操作都必须通过该指针来修改,而不能通过其它途径(其它变量或指针)来修改;这样做的好处是,能帮助编译器进行更好的优化代码,生成更有效率的汇编代码.如
int *restrict ptr, ptr 指向的内存单元只能被 ptr 访问到,任何同样指向这个内存单元的其他指针都是未定义的,直白点就是无效指针。restrict 的出现是因为 C 语言本身固有的缺陷,C 程序员应当主动地规避这个缺陷,而编译器也会很配合地优化你的代码
考虑下面的例子:
int ar[10];
int * restrict restar=(int *)malloc(10*sizeof(int));
int *par=ar;
这里说明restar是访问由malloc()分配的内存的唯一且初始的方式。par就不是了。
那么:
for(n=0;n<10;n++)
{
par
+=5;
restar
+=5;
ar
*=2;
par
+=3;
restar
+=3;
}
因为restar是访问分配的内存的唯一且初始的方式,那么编译器可以将上述对restar的操作进行优化:
restar
+=8;
而par并不是访问数组ar的唯一方式,因此并不能进行下面的优化:
par
+=8;
因为在par
+=3前,ar
*=2进行了改变。使用了关键字restrict,编译器就可以放心地进行优化了。
相关文章推荐
- VS 给自己开发的Qt程序加上程序图标ico
- Java中Error与Exception的区别
- Android强制设置横屏或竖屏
- 未名
- javascript 方法实例
- 【C#编程】遍历List并删除指定元素的正确方式
- ubuntu安装ssh工具
- 关于坐标系和投影的相关知识
- 2016.08.19工作日志
- 重写后的方法与被重写的方法的返回值一样吗?
- struct timeval结构体 以及 gettimeofday()函数
- viewpager的轮播图
- Qt如何使QTreeWidget始终保持展开?
- 触发器 写入数据
- 基于51单片机的制冷冰箱
- 第2章 C#编程概述
- js严格模式总结(分享)
- 文件(夹)比较 Beyond Compare, Diff
- 如何将Emmet安装到到 Sublime text 3?
- WPF中的事件(三)- 附加事件