在C99标准中，restrict是一个类型限定符，专门用于修饰指针类型，它的核心作用是向编译器传递一个约束信息：被restrict修饰的指针，是该指针所指向内存区域的唯一访问途径，不存在其他指针同时指向同一块内存区域的情况。编译器基于这个约束，可以对涉及该指针的代码做更激进的优化，减少冗余的内存加载操作，提升程序运行效率。
restrict关键字的核心作用
在没有restrict修饰的情况下，编译器无法判断两个指针是否指向同一块内存，因此在进行优化时需要考虑指针别名带来的可能性，往往会生成更保守的代码。而restrict修饰的指针相当于给编译器一个“承诺”，让编译器可以放心地做一些优化，比如将多次内存访问合并为一次，或者调整指令顺序，避免不必要的内存读写。
对比有无restrict的代码示例
先看一个没有使用restrict的函数，函数作用是将两个数组的元素对应相加，结果存入第三个数组：
#include <stdio.h>
// 没有使用restrict修饰指针
void add_arrays(int* a, int* b, int* result, int len) {
for (int i = 0; i < len; i++) {
result[i] = a[i] + b[i];
}
}
int main() {
int a[5] = {1,2,3,4,5};
int b[5] = {6,7,8,9,10};
int result[5];
add_arrays(a, b, result, 5);
for (int i = 0; i < 5; i++) {
printf("%d ", result[i]);
}
return 0;
}
在这个函数中，编译器无法保证a、b、result三个指针没有重叠，比如调用时传入add_arrays(arr, arr+1, arr, 5)，此时result和a指向的内存有重叠，直接优化可能会导致结果错误，因此编译器不会做太多优化。
如果使用restrict修饰指针，代码会变成这样：
#include <stdio.h>
// 使用restrict修饰指针，承诺a、b、result不会指向重叠的内存
void add_arrays_restrict(int* restrict a, int* restrict b, int* restrict result, int len) {
for (int i = 0; i < len; i++) {
result[i] = a[i] + b[i];
}
}
int main() {
int a[5] = {1,2,3,4,5};
int b[5] = {6,7,8,9,10};
int result[5];
add_arrays_restrict(a, b, result, 5);
for (int i = 0; i < 5; i++) {
printf("%d ", result[i]);
}
return 0;
}
此时编译器知道a、b、result三个指针不会指向重叠的内存，就可以对循环内的代码做优化，比如将a[i]、b[i]的值先缓存到寄存器中，不需要每次都从内存重新读取，提升执行效率。
restrict关键字的使用注意事项
- restrict仅对指针有效，不能修饰非指针类型的变量，比如
restrict int x;是语法错误的。 - restrict是开发者给编译器的承诺，而不是编译器会强制检查的约束。如果开发者违反了这个承诺，比如传入重叠的指针，程序的行为是未定义的，可能出现错误结果或者崩溃。
- restrict是C99标准引入的，在C89/C90标准中不支持，使用的时候需要确保编译器开启C99或更高的标准支持。
- restrict一般用于函数参数中的指针，或者在函数内部定义的指针变量，用来明确指针的访问范围，帮助编译器优化。
实际应用场景
restrict常见于需要高性能的场景，比如数值计算库、图形处理库、底层系统代码中。这些场景下，函数往往会接收多个指针参数，且开发者可以确定这些指针不会重叠，使用restrict修饰可以显著提升代码的运行效率。比如在标准库的memcpy函数实现中，很多编译器会用restrict修饰源地址和目的地址指针，因为memcpy的前提就是两个内存区域不重叠，符合restrict的约束条件。
总结
restrict关键字本质是给编译器的优化提示，通过明确指针的唯一访问属性，让编译器生成更高效的机器码。它并不改变程序的语义，只是给编译器更多信息。使用时需要开发者自己保证约束成立，否则会带来未定义行为。在合适的场景下合理使用restrict，可以在不修改程序逻辑的前提下，获得一定的性能提升。