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不會指向同一塊內存區域，因此編譯器可以避免執行不必要的檢查并生成更優化的代碼。
