隱式類型轉換,其他類型的變量可以通過構造函數隱式轉換為一個類類型的對象,這里隱式轉換會產生一個無名的臨時對象,這個對象是常量不能被修改。所以說,不能將其賦值給一個非 const 的引用,這樣編譯不通過,最好是賦值給 const 型的引用 const T&。也可以賦值給 值類型,const、非 const 都行,但是這種效率不高。
這里只需注意通過隱式類型轉換產生的臨時對象是無名的常量對象。
通過隱式類型轉換產生的臨時對象和通過函數返回值返回的一個臨時的無名對象不同。通過函數返回的臨時對象,可以是常量也可以是變量。如果是變量,我們還可以修改這個無名的變量,雖然這樣做沒有意義,一般情況下有副作用。因為本該修改的沒有得到修改。
通過函數返回值得到的無名的臨時對象是否具有常量性,是由函數的返回值類型決定的。是有程序員自己定義函數的時候決定的。而隱式類型轉換生成的無名的臨時對象的常量性是由編譯器自動決定的,與程序員無關。
防止隱式類型轉換可以通過 explicit 關鍵字。
class T
{
public:
T(int a = 1, int b = 2) {
}
};
T t;
t = 5;
這樣是首先 5 轉換為一個無名的常量性臨時對象,然后復制給 t,這里用的賦值運算符是編譯器提供的默認 operator =。其形參類型為 const T&。
如果程序員自己提供了 operator =,并且形參類型為 T& 而非 const T&。這樣編譯就會報錯。因為不能將常量復制給 非 const 引用。只是由 C++ 的語法決定的。
一般情況下,如果不改變實參,在定義函數的時候都盡量將形參類型聲明為 const T&。這樣做的好處是效率高,并且避免不必要的麻煩。這是一種最為可靠和安全的方法。
另外,隱式類型轉換和類型轉換操作符在一起的時候還容易產生二義性。這種情況下,最好針對各種不同的參數類型,進行各種重載。但是還要考慮模板帶來的二義性等。
posted on 2011-04-29 00:56
unixfy 閱讀(290)
評論(0) 編輯 收藏 引用