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};

即a,b是两个不同的数组，那么编译器很简单地可以把源程序优化为：

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指的是同一个数组，a[0]和b[0]访问的是同一个内存地址的数据，源程序中对a[0]赋值就是对b[0]赋值。

假设编译器知道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 关键词，告诉编译器说： 呐，这个变量我只在一个地方赋值了，铁定的不是其他哪个变量的别名，你就给我放心地优化啦。