关键字Restrict

restrict是c99引入的，关键字restrict只用于限定指针；该关键字用于告知编译器，所有修改该指针所指向内容的操作全部都是基于(baseon)该指针的，即不存在其它进行修改操作的途径。也就是说它只是告诉编译器，这个指针所指向的内容，只有这个指针可以修改。但事实上也许还有其它方法可以修改这个内容。它只是给编译器提供了一个保证，以保证编译器可以优化涉及指针的内容。

voidvector_add(const double *x, const double *y, double *result)

{
int i;
for(i = 0; i < 64; ++i)

result[i]= x[i] + y[i];

}

如果这个函数要在多处理器的计算机上执行，编译器可以做这样的优化：把这一个循环拆成两个循环，一个处理器计算i值从0到31的循环，另一个处理器计算i值从32到63的循环，这样两个处理器可以同时工作，使计算时间缩短一半。但是这样的编译优化能保证得出正确结果吗？假如result和x所指的内存区间是重叠的，result[0]其实是x[1]，result[i]其实是x[i+1]，这两个处理器就不能各干各的事情了，因为第二个处理器的工作依赖于第一个处理器的最终计算结果，这种情况下编译优化的结果是错的。这样看来编译器是不敢随便做优化了，那么多处理器提供的并行性就无法利用，岂不可惜？为此，C99引入restrict关键字，如果程序员把上面的函数声明为voidvector_add(const double *restrict x, const double *restrict y, double*restrict result)，就是告诉编译器可以放心地对这个函数做优化，程序员自己会保证这些指针所指的内存区间互不重叠。