C/C++左值性精髓（三）左值轉換—- 從左值到右值的轉換

 C/C++左值性精髓

（三）左值轉換

 

1． 從左值到右值的轉換

 

        先看一個例子：

 

int i = 10;

 

編譯器在記憶體中開闢一段具有sizeof( int )個位元組的空間，用整數10初始化，並將該空間命名為i，i屬於左值。當把i放在下面的運算式中時：

 

i + 1;

 

        由於+雙目運算子僅要求右值，i這個符號並不是它需要的，此時編譯器就從i所代表的對象中取出整數10，交給+運算子進行運算。從i所代表的對象中取出整數10的過程就是一個從左值到右值的轉換過程。在這一過程中，原本的左值i被右值10代替，但是，i本身的性質並無改變，i仍然是一個左值，有些人會誤解為i已經成了一個右值，將轉換的結果理解成了性質的改變，其實是犯了本末倒置的錯誤。

        如果將i的定義改為cv受限形式，例如：

 

const int i = 10;

 

那麼計算i + 1時，i轉換的右值是否也帶有const呢？所謂cv，指的是const和volatile兩個修飾符。在C中，從左值到右值的轉換結果不帶有cv受限形式，即使左值是cv受限的，即C中不存在cv受限的右值；而C++稍有不同，允許存在cv受限的右值類對象，但右值內建類型與C一樣。

        由於函數非引用傳回值屬於右值，所以如果函數返回內建類型且帶有cv修飾，該cv修飾將被忽略。請看如下代碼：

 

const int foo( void );

int i = foo();

 

雖然foo返回的類型是const int，但它賦予i的數值是int類型的，而非const int。

        正因為從左值到右值的這種轉換結果的存在，我們可以用一個cv受限的左值賦予或初始化一個非cv受限的左值，例如：

 

const int i = 10;

int j;

j = i;

 

雖然i是cv受限的，但i轉換的右值不帶有cv，因此可以成功賦予非cv受限的j。

        另一方面，基於相同的原因，形參的cv修飾符並不構成C++的函數重載條件，如下所示：

 

int foo( int i );

int foo( const int j );

 

上面兩個foo函數是相同的函數重複聲明，並非重載，因為無論是否cv受限的整數，都可以作為i和j的實參，C++標準是這樣說的：

 

13.1 Overloadable declarations

 

Parameter declarations that differ only in the presence or absence of const and/or volatile are
equivalent. That is, the const and volatile type-specifiers for each parameter type are ignored
when determining which function is being declared, defined, or called.