restrict关键字用法

c99中新增加了一个类型定义，就是restrict。

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

举个简单的例子

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

很显然函数foo()的返回值是0，除非参数x和y的值相同。可以想象，99％的情况下该函数都会返回0而不是1。然而编译起必须保证生成100%正确的代码，因此，编译器不能将原有代码替换成下面的更优版本

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

现在我们有了restrict这个关键字，就可以利用它来帮助编译器安全的进行代码优化了

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

此时，由于指针 x 是修改 x的唯一途径，编译起可以确认 “y=1; ”这行代码不会修改 *x的内容，因此可以安全的优化为

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

最后注意一点，restrict是C99中定义的关键字，C++目前并未引入；在GCC可通过使用参数” -std=c99”来开启对C99的支持

转载自：https://blog.csdn.net/u010129119/article/details/52789618

补充：主流的C++编译器都提供了restrict关键字的支持，只是似乎书写的形式有所变化，如可能是__restrict__，__restrict等，如果你使用关键字restrict编译报错，可以试试__restrict__或者__restrict的写法。