本文深入探讨了C++标准化过程中关于restrict关键字的引入背景与作用，旨在优化编译器对程序的编译过程，特别是针对数组别名问题的解决策略，通过限制变量的使用范围来提高编译效率与程序性能。
最近我在忙一个扩展C语言的项目，研究的时候看到一本绝好的关于语言本身历史发展的书籍《C++语言的设计与演化》，其中讲到C++标准化时遇到关于如何使得编译器更好地优化程序的思考，其中就有restrict关键字的讨论。
首先说一下背景知识：
FORTRAN语言在C++设计之初就已经大行其道了，它的速度很快，其中有一点原因使得FORTRAN这么快就是它的编译器允许做出这么一种假设：如果传递给函数两个数组参数，那么这两个数组互相是没有重叠的。我没做过实验，但是据书中( 参见《C++语言的设计与演化》Page 116 )所说的，根据平台的不同，它可以使得子程序有15%到30倍的加速。
在编译器中这个叫做 别名 问题。
举个例子，对于下面这么一段代码，编译器是怎么看的呢？
int add(int *a,int *b){
a[0]=1;
a[1] = b[0] + 1;
return a[1];
}
如果其中
a = {1,2,3};
b = {2,3,4};int add(int *a, int *b){
a[0]=1;
a[1]=2+1;
return a[1];
}int add(int *a, int *b){
a[0]=1; a[1]=3; return 3; }而这一切优化的前提是a,b是两个不同的，独立的数组，互相没有重叠。
好现在考虑下面这种情况：
数组a和b其实是同一个数组，即
int *a,*b;
int p[3] = {1,2,3};
a = b =p;假设编译器知道a,b指的是同一个数组，那么它可以这么优化：
int add(int *a, int *b){
a[0]=1;
a[1] = a[0] +1;
return a[1];
}int add(int *a, int *b){
a[0]=1;
a[1]=2;
return 2;
}所以C/C++语言提供了restrict 关键词，告诉编译器说： 呐，这个变量我只在一个地方赋值了，铁定的不是其他哪个变量的别名，你就给我放心地优化啦。
扫一扫
874
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
