C语言关键字restrict

简介
关键字restrict只用于限定指针；该关键字用于告知编译器，所有修改该指针所指向内容的操作全部都是基于该指针的，即不存在其他进行修改操作的途径；这样的后果是帮助编译器进行更好的优化，生成更有效率的汇编代码。
来源
例如

int i = 0;
int *a = &i;
int *b = &i;

这样会存在一个问题。

int foo(int *a,int *b)
{
	*a = 5;
	*b = 6;
	return *a+*b;//不一定是11
}

如果a和b都指向同一数据，b会导致a=6,返回12。所以编译器在做*a+b的时候，需要重新读取a指向的数据。

foo:
	movl $5,(%rdi) #存储5到*a
	movl $6,(%rsi) #存储6到*b
	movl (%rdi),%eax #重新读取*a（因为有可能被上一行指令造成改变）
	addl $6,%eax #加上6
	ret

如果我们确保两个指针不指向同一数据，就可以用restrict修饰指针类型

int foo(int *restrict a,int *restrict b)
{
	*a = 5;
	*b = 6;
	return *a+*b;
}

编译器就可以根据这个信息，做出优化

foo 
	movl $11,%eax #在编译器已计算出11
	movl $5,(%rdi) #存储5到*a
	movl $6,(%rsi) #存储6到*b
	ret