標籤：
PS: 在函數中，指標參數指定了restrict，表示這個指標指向的這段地區只能通過這個指標修改
c99中新增加了一個類型定義，就是restrict。看了下網上的相關貼子，但還是問題解決的不夠。下面是相關一個文章，我將在後面再加相關說明：
那麼restrict的意義是什麼呢？
概括的說，關鍵字restrict只用於限定指標；該關鍵字用於告知編譯器，所有修改該指標所指向內容的操作全部都是基於(base on)該指標的，即不存在其它進行修改操作的途徑；這樣的後果是協助編譯器進行更好的代碼最佳化，產生更有效率的彙編代碼。
舉個簡單的例子
int foo (int* x, int* y)
...{
*x = 0;
*y = 1;
return *x;
}
很顯然函數foo()的傳回值是0，除非參數x和y的值相同。可以想象，99％的情況下該函數都會返回0而不是1。然而編譯起必須保證產生100%正確的代碼，因此，編譯器不能將原有代碼替換成下面的更優版本
int f (int* x, int* y)
...{
*x = 0;
*y = 1;
return 0;
}
啊哈，現在我們有了restrict這個關鍵字，就可以利用它來協助編譯器安全的進行代碼最佳化了
int f (int *restrict x, int *restrict y)
...{
*x = 0;
*y = 1;
return *x;
}
此時，由於指標 x 是修改 *x的唯一途徑，編譯起可以確認 “*y=1; ”這行代碼不會修改 *x的內容，因此可以安全的最佳化為
int f (int *restrict x, int *restrict y)
...{
*x = 0;
*y = 1;
return 0;
}
最後注意一點，restrict是C99中定義的關鍵字，C++目前並未引入；在GCC可通過使用參數" -std=c99"
來開啟對C99的支援
下面是我從C語言核心技術一書上摘的：
void *memcpy( void * restrict dest ,const void * restrict src,sizi_t n) 這是一個很有用的記憶體複製函數，由於兩個參數都加了restrict限定，所以兩塊地區不能重疊，即 dest指標所指的地區，不能讓別的指標來修改，即src的指標不能修改. 相對應的別一個函數 memmove(void *dest,const void * src,size_t)則可以重疊。
[轉] restrict關鍵字用法
