C 语言restrict 关键字

转自：http://blog.sina.com.cn/s/blog_93b45b0f010147e3.html

我们希望某个对象（内存空间）不被修改的通常做法是什么？声明该空间的const类型，但是这样真的可以吗？是不是的，由于const空间对象的指针是可以付给一个非const值指针的。所以这仍然无法不让该空间被修改。

const int a=10;

int * b=&a;

虽然，编译器会报警告“ 警告：初始化丢弃了指针目标类型的限定”，这个意思是，b失去了对目标对象的const的限定。但是通过，并且，可以通过指针b更改它们共同指向的空间。

 

const int a=10;

int b=(int)&a;

int * c=(int *)b;

这种写法和上面的效果一样，却连警告都不报，这就可以看到C语言类型转换的功能有多大，并且有多危险。当我们将a的地址转换成int类型的时候，编译器不会认为这是一个严重的事情（因为int类型并不能访问内存空间），之后再从int类型转换到int *类型，这个时候，编译器也很难确定这是否会出现不安全的地方。所以，这样一做，就骗过了C编译器。而前面的方法中，编译器明显看到两个指针之间的赋值初始化，是有不安全的地方的（丢掉了const的对象设定），所以发出警告。

 

不过，一句话，const是无法保证某个对象不被更改的。所以C99提出了一个restrict关键字。它是修饰指针的，表达出的意思是，对该指针指向的空间的访问，只能从这个指针进入。这样，如果该关键字在加上restrict，就会达到锁定该空间。当然，restrict不一定只是为了建立一个完全常态的空间，它的本意是限制该空间只能通过该指针进行访问。

 

restrict pointer是c99新标准提出的一个很著名的概念叫着——受限指针。这种指针的声明是为了，编译达到更好的优化，它暗示编译器，某个指针指向的空间，只能从该指针访问。但是这种暗示却是对程序员的要求，而编译器只是在这种暗示的基础上作一些优化。

restrict只可以用在指针身上。如果一个指针被restrict修饰，那么就在它（这个指针）和它所指向的对象之间建立了一种特殊的联系──只能用这个指针或者这个指针的表达式来访问这个对象的值.
一个指针指向一个内存地址。同一块内存可以由多个指针来访问并在程序运行时修改它（这块内存）。restrict告诉编译器，如果一块由一个被restrict修饰的指针所指向的内存被修改了，那么没有其它的指针可以来访问这块内存。编译器可能会选择一种方式来优化代码中调用被restrict修饰的指针的部分，这可能导致错误发生。程序员有责任来确保正确地按照他们所设想的来使用被restrict修饰的指针，否则的话，可能会发生意想不到的结果。

转自：http://www.oschina.net/question/32294_53573

我们来看一个跟memcpy/memmove类似的问题。下面的函数将两个数组中对应的元素相加，结果保存在第三个数组中。

void vector_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关键字，如果程序员把上面的函数声明为void vector_add(const double *restrict x, const double *restrict y, double *restrict result)，就是告诉编译器可以放心地对这个函数做优化，程序员自己会保证这些指针所指的内存区间互不重叠。

由于restrict是C99引入的新关键字，目前Linux的Man Page还没有更新，所以都没有restrict关键字，本书的函数原型都取自Man Page，所以也都没有restrict关键字。但在C99标准中库函数的原型都在必要的地方加了restrict关键字，在C99中memcpy的原型是void *memcpy(void * restrict s1, const void * restrict s2, size_t n);，就是告诉调用者，这个函数的实现可能会做些优化，编译器也可能会做些优化，传进来的指针不允许指向重叠的内存区间，否则结果可能是错的，而memmove的原型是void *memmove(void *s1, const void *s2, size_t n);，没有restrict关键字，说明传给这个函数的指针允许指向重叠的内存区间。在restrict关键字出现之前都是用自然语言描述哪些函数的参数不允许指向重叠的内存区间，例如在C89标准的库函数一章开头提到，本章描述的所有函数，除非特别说明，都不应该接收两个指针参数指向重叠的内存区间，例如调用sprintf时传进来的格式化字符串和结果字符串的首地址相同，诸如此类的调用都是非法的。本书也遵循这一惯例，除非像memmove这样特别说明之外，都表示“不允许”。

关于restrict关键字更详细的解释可以参考[BeganFORTRAN]。