C语言 restrict 关键字有什么用？编译器如何利用它做优化？

restrict 是 C99 引入的类型限定符，告诉编译器"这个指针是访问该内存区域的唯一途径"，编译器据此可以做更激进的优化。

说白了，restrict 就是一份承诺：你向编译器保证通过这个指针访问的内存，不会通过其他指针再访问。编译器信了，就能省掉很多冗余的内存读取。

追问

restrict 和普通指针有什么区别？

普通指针可能有"别名"（aliasing）——多个指针指向同一块内存：

c
void add(int *a, int *b, int *c, int n) {
    for (int i = 0; i < n; i++)
        a[i] = b[i] + c[i];
}

编译器不敢把 b[i] 和 c[i] 的值缓存在寄存器里，因为 a 可能和 b 或 c 指向同一块内存，每次循环都得老老实实从内存重新读取。

加上 restrict 后，编译器知道 a、b、c 三者不会重叠，可以把 b[i] 和 c[i] 优化成寄存器访问，甚至做向量化（SIMD）和循环展开。

memcpy 和 memmove 的区别就是 restrict 吗？

对，这是最经典的例子。memcpy 的参数声明了 restrict，假定源和目标不重叠，所以可以更快地拷贝。memmove 没有 restrict，必须处理重叠的情况，所以更安全但更慢。

c
void *memcpy(void *restrict dest, const void *restrict src, size_t n);
void *memmove(void *dest, const void *src, size_t n);

违反 restrict 的承诺会怎样？

未定义行为。编译器不会在运行时检查，一旦你传了重叠的指针，结果不可预测——可能正常、可能数据错乱、可能优化后逻辑全变了。这是 restrict 最坑的地方：debug 模式下可能没事，release 模式下爆炸。

实际项目里 restrict 常见吗？

不算常见，主要出现在高性能计算、图像处理、DSP 这类对性能极度敏感的场景。标准库函数（memcpy、strcpy 等）大量使用。普通业务代码很少主动加，因为维护成本高——你要确保整个调用链都不会传入重叠指针，这个保证很难持续。

写段代码

c
// 没有 restrict：编译器保守，每次循环都从内存读
void add(int *a, int *b, int *c, int n) {
    for (int i = 0; i < n; i++)
        a[i] = b[i] + c[i]; // 可能重叠，不敢优化
}

// 有 restrict：编译器可以 SIMD/循环展开
void add_fast(int *restrict a, 
              const int *restrict b, 
              const int *restrict c, int n) {
    for (int i = 0; i < n; i++)
        a[i] = b[i] + c[i];
}