restrict关键字的使用

定义

    restrict关键字是在C99标准中添加的，用于限定和约束指针。

规则

    它告诉编译器,所有修改该指针所指向内存中内容的操作,全都必须基于该指针；不存在其它进行修改操作的途径(通过其它变量或指针)。

优点 

    能帮助编译器进行更好的优化代码,生成更有效率的汇编代码。

测试

int test_restrict(int* x, int* y)
{
  *x = 0;
  *y = 1;
  return *x;
}

很显然,在x与y不相同的情况下，test_restrict()函数的返回值是0。只有在很偶然的情况下，x==y时，结果是1。

然而编译器必须保证生成100%正确的代码,因此,编译器不能将原有代码替换成下面的更优版本的代码:

int test_restrict(int* x, int* y)
{
  *x = 0;
  *y = 1;
  return 0;   //<---直接替换成0;
}

在这里使用restrict：

int test_restrict(int* restrict x, int* restrict y)
{
  *x = 0;
  *y = 1;
  return *x;
}

由于使用restrict关键字来修饰参数x了,所以,指针x是修改指针x所指向内存中内容的唯一途径,编译器可以确认"*y = 1;"这行代码绝对不会修改*x的内容,因此,编译器可以安全地把代码优化为:

int test_restrict(int* restrict x, int* restrict y)
{
  *x = 0;
  *y = 1;
  return 0;   //<---直接替换成0;
}

使用注意

    关键字restrict是C99标准中新增加的关键字,C++目前仍未引入;编译时,可通过在gcc的命令行使用参数"-std=c99"来开启对C99标准的支持。在cpp文件中，编译会报错，只能使用在c文件中。

参考文章：http://blog.163.com/prevBlogPerma.do?host=bdxnote&srl=84442352010017185053&mode=prev