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.