c99标准的restrict关键字

Posted 2021-02-15 thammer

参考自restrict

restrict关键字出现于C99标准，wiki上的解释restrict from wiki。

In the C programming language, as of the C99 standard, restrict is a keyword that can be used in pointer declarations. The restrict keyword is a declaration of intent given by the programmer to the compiler. It says that for the lifetime of the pointer, only the pointer itself or a value directly derived from it (such as pointer + 1) will be used to access the object to which it points. This limits the effects of pointer aliasing, aiding optimizations. If the declaration of intent is not followed and the object is accessed by an independent pointer, this will result in undefined behavior. The use of the restrict keyword in C, in principle, allows non-obtuse C to achieve the same performance as the same program written in Fortran.[1]

在C编程语言中，从C99标准开始，restrict是一个可以在指针声明中使用的关键字。restrict关键字是由程序员给编译器的一种意向声明。它表示在指针的生命周期内，只有指针本身或直接从指针派生的值(如指针+ 1)将用于访问指针指向的对象。这限制了指针别名的效果，有助于优化。如果没遵循指针声明的意图，使用不受约束的指针对其指向对象存取，将导致结果是未定义的。

上面这堆翻译好像我只看懂了：restrict关键字用于指针的声明。那到底什么意思呢？在进一步了解restrict之前，需要了解什么是pointer aliasing。
pointer aliasing是指多个指针指向同一块内存区域，例如：

int a = 10;
int* ptr1 = &a;
int* ptr2 = &a;

则ptr1、ptr2互称对方为自己的pointer aliasing。考虑下面这个函数：

int foo(int* a, int* b)
{
    *a = 2；
    *b = 3;
    return *a + *b;
}

一般情况下,编译器翻译出来的汇编代码会类似（以ARM汇编为例）：

01    str     r0, [fp, #-8]         @传递参数指针a
02    str     r1, [fp, #-12]            @传递参数指针b
03    ldr     r3, [fp, #-8]         @得到指针a
04    mov     r2, #2
05    str     r2, [r3]              @*a = 2;
06    ldr     r3, [fp, #-12]            @得到指针b
07    mov     r2, #3
08    str     r2, [r3]              @*b = 3;
09    ldr     r3, [fp, #-8]         @得到指针a      
10    ldr     r2, [r3]              @r2 = *a,     重读*a,因为如果a==b,则08行会覆盖05行的赋值！！！！！
11    ldr     r3, [fp, #-12]            @得到指针b
12    ldr     r3, [r3]              @r3 = *b;
13    add     r0, r2, r3            @*a + *b;

如果我们可以提前告诉编译器a != b，则编译器可以优化出更简洁的汇编(假设a、b指针都是非volatile的)：

01    str     r0, [fp, #-8]         @传递参数指针a
02    str     r1, [fp, #-12]            @传递参数指针b
03    ldr     r3, [fp, #-8]         @得到指针a
04    mov     r2, #2
05    str     r2, [r3]              @*a = 2;
06    ldr     r3, [fp, #-12]            @得到指针b
07    mov     r1, #3
08    str     r1, [r3]              @*b = 3;
09    add     r0, r1, r2            @*a + *b;

比上面少了4条指令。为什么呢？因为上面那段汇编中得考虑一种情况，如果指针a == b，那么第08行的指针赋值会覆盖05行的指针赋值，为了保险起见，*a + *b就得重新从内存中取值，才能得到正确的结果。如果我们显式的告诉编译器a != b,则编译器就会使用寄存器里面的缓存数据来优化代码。如何显式告诉编译器呢？就是用restrict关键字来修饰指针。

但是有点需要注意，不是说用restrict修饰指针后就保证了指针不会出现pointer aliasing，这种保证由程序员自己编码时确保。就是说程序员自己保证对同一内存区域的引用只有一个指针指向，然后通过restrict修饰此指针变量，在开启编译优化后，编译器将会特别留意被restrcit修饰的指针，进行优化。