为了帮助编译器确定内存依赖关系，可以使用 restrict 关键字来限定指针、引用或数组。restrict 关键字是一个类型限定符，可以应用于指针、引用和数组。使用它表示用户保证，在指针声明的范围内，指向的对象只能由该指针访问。任何违反此保证的行为都会导致程序未定义。这种做法可以帮助编译器优化代码的某些部分，因为这样可以更加轻松地确定别名信息。

“restrict”关键字是一个 C99 关键字，在严格的 ANSI C89 模式下不被接受。如果必须使用严格的 ANSI C89 模式，请使用“__restrict”关键字。请参阅节 6.14。

以下示例使用 restrict 关键字来告诉编译器，永远不会使用指向存储器中重叠对象的指针 a 和 b 来调用函数 func1。您承诺通过 a 和 b 进行访问永远不会发生冲突；因此，通过一个指针进行的写入操作不能影响通过任何其他指针进行的读取操作。ANSI/ISO C 标准的 1999 版本中描述了 restrict 关键字的精确语义。

void func1(int * restrict a, int * restrict b)
{
  /* func1's code here */
}

以下示例在将数组传递给函数时使用 restrict 关键字。在这里，数组 c 和 d 不得重叠，c 和 d 也不得指向同一数组。

void func2(int c[restrict], int d[restrict])
{
  int i;
  for(i = 0; i < 64; i++)
  {
    c[i] += d[i];
    d[i] += 1;
  }
}

目前，restrict 关键字仅对 FPU 目标有用。对于非 FPU 目标，则会忽略 restrict 关键字。