函數參數中使用const
在函數的參數中使用const,可以讓編譯器知道在函數調用過程中,對於某個參數不會修改資料,從而可以提供給編譯器更多的最佳化機會。
比如標準函數
char *strcpy(char *dst, const char *src);
這裡,第二個輸入參數使用const char *src,而不是char *src. 這個表示函數strcpy不會修改 src指向的內容。
還有在某些C++類成員函數中,我們會標明一個成員函數是const,這個表示這個成員函數不會修改這個類對象的任何資料,比如
class complex{
double x,y;
public:
void diplay()const{cout<<’(‘<<x<<’,’<<y<<’)’;}
}
上面例子中,函數display不會修改對象的資料成員x和y,所以我們可以給函數標上const屬性。
對於一個函數,如果其某個指標參數指向的內容不會被修改,就應該加上const屬性。同樣,一個類成員函數,如果不會修改類對象中的資料,同樣也應該加上const屬性。
比如我們寫一個函數:
BOOL Bar(const int x[], const int y[], int z[], int n){
int i;
for(i=0;i<n;i++){
if( x[i] < y[i] )
z[i] = x[i];
else
z[i] = y[i];
}
return TRUE;
}
給指標x,y標上const屬性後(對於函數參數,數組和指標實質上是相同的),那麼編譯器就可以知道,這個函數中的迴圈每個不同的迭代(Iteration)中的內容都是不相關的,可以並存執行,所以編譯器就可以採用並行指令來處理它們了。不然, 由於指標z有可能同x,y指向的記憶體(全部或部分重疊),那麼對任何一個z[i]的修改可能會改變x[.]或y[.]中部分的資料,從而迴圈的不同迭代之間就會有資料依賴關係了;這樣,編譯器就無法採用並行指令來最佳化上面的代碼了。
此外,對於常數變數,同樣也要在能夠添加const時就要添加const,這些都可以增加編譯器對代碼進行最佳化的機會。