C语言的 restrict 关键字的作用

restrict 这个关键字到底有什么用，还是用代码看得清楚。这里，c 标准说明中用了如下的例子：

#include <stdio.h>

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

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

void main(void)
{
    int i =0;
    int *a = &i;
    int *b = &i;

    printf("%d ",foo(a,b));    // 输出 12
    printf("%d ", rfoo(a,b));  // 可能输出 11
}

那么，我们看看到底为什么2函数可能会分别返回12/11?

再看c说明文档，它让我们用生成汇编来看看。比如在64位下，gcc 用 -S，vc用 /FA 编译，那么foo / rfoo 可能得到如下的汇编代码：

foo:
    movl    $5, (%rdi)    # 存 5 到 *a
    movl    $6, (%rsi)    # 存 6 到 *b
    movl    (%rdi), %eax  # 从 *a 读数到累加寄存器 eax
    addl    $6, %eax      # 对 eax 加 6
    ret                   # 返回 (整型返回值就是 eax 的数)
 
rfoo:
    movl      $11, %eax   # 给 eax 存 11, 因为 restrict 指示编译器可随意优化
    movl      $5, (%rdi)  # 存 5 到 *a
    movl      $6, (%rsi)  # 存 6 到 *b
    ret                   # 返回

foo 函数，老老实实地按c的写法，先放5到a地址，再放6到b地址，2次都用i的地址，i是6，6+i = 6+6=12

rfoo函数指示了编译器a,b地址是独立的，可以随意优化，那么一分析，是写死的5+6，没必要运算啊，就返回11嘛！

现代的计算机很复杂，有单指令流/多指令流多数据流（SIMD/MIMD）等等的结构，要指导编译器能充分利用资源生成有效率的代码，用restrict这样的修饰就很有必要了。