C++中关于左值和右值的谈论[VC/C++编程]

左值性（lvalueness）在C/C++中是表达式的一个重要属性.只有通过一个左值表达式才能来引用及更改一个对象（object）的值.（某些情形下,右值表达式也能引用（refer）到某一个对象,并且大概间接改正该对象的值,后述）.

何谓对象?假如没有明确阐明,这里说的对象,和狭义的类/对象（class/object）相比,更为遍及.在C/C++中,所谓的对象指的是履行环境中一块存储区域（a region of storage）,该存储区域中的内容则代表（represent）了该对象的值（value）.注意到我们这里所说的"代表",关于一个对象,假如我们需求取出（fetch）它的值,那么我们需求通过一定的范例（type）来引用它.利用差别的范例,对同一对象中的内容的注释会招致大概得到差别的值,大概产生某些未定义的行为.

在介绍左值之前,我们还需求引入一个概念: 变量（variable）.常常有人会把变量与对象二者混合.什么叫变量?所谓变量是一种声明,通过声明,我们把一个名字（name）与一个对象对应起来,当我们利用该名字时,就表示了我们对该对象举行某种操作.但是并非每个对象都闻名字,也并不意味着有对应的变量.比方暂时对象（temporary object）就没有一个名字与之关联（不要误称为暂时变量,这是不精确的说法）.

1 C中的左值

1.1按照C的定义,左值是一个引用到对象的表达式,通过左值我们可以取出该对象的值.通过可改正的左值表达式（modifiable lvalue）我们还可以改正该对象的值.（需求阐明的是,在C++中,左值还可以引用到函数,即表达式f假如引用的是函数范例,那么在C中它既不是左值也不是右值;而在C++中则是左值）.因为左值引用到某一对象,因此我们利用&对左值表达式（也只能对左值表达式和函数）取址运算时,可以得到该对象的地址（有两种左值表达式不能取址,一是具有位域（ bit-field ）范例,因为实现中最小寻址单位是 byte;另一个是具有register指定符,利用register修饰的变量编译器大概会优化到存放器中）.

Ex1.1
char a[10];　 // a is an lvalue representing an array of 10 ints.
char (* p)[10]=&a; // &a is the address of the array a.
const char* p="hello world"; //"hello world" is an lvalue of type char[12]
//in C,　 type const char[12] in C++.
char (*p)[12]=&"hello world";

struct S{ int a:2; int b: 8; };
struct S　 t;
int* p=&t.a; //error. t.a is an lvalue of bitfield.

register int i;
int * p=&i; //error. i is an lvalue of register type.
int a, b;
int * p=& (a+b); //error. a+b is not an lvalue.


1.2假定expr1是一个指向某对象范例或未完好范例（incomplete type,即该范例的筹划和大小未知）的指针,那么我们可以断言*expr1一定是个左值表达式,因为按照*运算符的定义,*expr1表示引用到expr1所指向的对象.假如expr1是个简单的名字,该名字代表一个变量.

一样的,该表达式也是个左值,因为他代表的是该变量对应的对象.关于下标运算符,我们一样可以做出一样的结论,因为expr1[expr2]老是恒等于*（ （ expr1 ）+ expr2 ）,那么p->member,一样也是一个左值表达式.但是关于expr1.expr2,则我们不能断定就是个左值表达式.因为expr1大概不是左值.

需求分外阐明的是,左值性只是表达式的静态属性,当我们说一个表达式是左值的时刻,并不意味着它一定引用到某一个有效存在的对象.int *p; *p是左值表达式,但是这里对*p所引用的对象举行读写的后果将大概是未定义的行为.

Ex1.2
extern struct A a;
struct A* p2= &a;

a是个左值表达式,因而可以举行&运算,但是此时stru A仍旧没有完好.

//In C++
extern class A a;
A & r=a;// OK. Refers to a, though a　 with an incomplete type.

1.3可改正的左值

在语义上需求改正左值对应的对象的表达式中,左值必须是一个可改正的左值.比方赋值（包含复合赋值）表达式中的左操作数,必须是一个可改正的左值表达式;自增/减运算符的操作数等.

Ex1.3
const int a[2], i; //NOTE: a unintialized. legal in C, illegal in C++.
i++; //error, i is an lvalue of type const int.
a[0]--;//error, a[0] is an lvalue of const int.

　　以上是“C++中关于左值和右值的谈论[VC/C++编程]”的内容，如果你对以上该文章内容感兴趣，你可以看看七道奇为您推荐以下文章：