restrict是C99引入的一个关键字，用于告诉编译器两个或更多的指针不会指向同一块内存区域。这可以消除编译器进行的某些冗余检查，从而提高代码的执行效率。
在没有restrict的情况下，编译器可能会假设多个指针可能指向同一块内存，并执行一些额外的检查以确保程序的正确性。这些检查可能会浪费计算资源并降低代码的执行速度。
当使用restrict时，编译器可以确定这些指针不会重叠，因此可以避免执行这些不必要的检查。这使得编译器可以生成更优化的代码，提高程序的执行效率。
例如，考虑以下两个指针的循环：
int a[10], b[10], *p1 = a, *p2 = b;
for (int i = 0; i < 10; ++i) {
p1[i] = p2[i];
}
在这个例子中，p1和p2都指向数组a和b的首地址，因此编译器可能会假设它们可能指向同一块内存。这可能会导致编译器执行一些不必要的检查，从而降低代码的执行效率。
使用restrict可以消除这些检查，提高代码的执行效率：
int a[10], b[10], *p1 = a, *restrict p2 = b;
for (int i = 0; i < 10; ++i) {
p1[i] = p2[i];
}
在这个例子中，使用restrict告诉编译器p1和p2不会指向同一块内存区域，因此编译器可以避免执行不必要的检查并生成更优化的代码。
