c99中的restrict(轉)

轉自:http://hi.baidu.com/oney131/blog/item/10f71f1f0b5033174034176e.html

看了下網上的相關貼子,但還是問題解決的不夠。下面是相關一個文章,我將在後面再加相關說明:
那麼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)則可以重疊。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章