C/C++基础知识：数组类型、函数类型到左值和右值的转换

1、左值和右值

表达式的左值是它的地址，右值是该地址所存储的内容。比如下面代码：

x  =  x  +   1 ;

这两个 x 有什么不同呢？第一个表达式 x 表示的是它的左值，而第二个表达式 x 表示的是它的右值。一个表达式能不能放到 赋值操作符 的左边，取决于这个表达式有没有左值，同样的，一个表达式能不能放到 赋值操作符 的右边，取决于它有没有右值。

一个表达式究竟是取左值还是右值，需要结合上下文，大多数表达式同时具有左值和右值。

2、指针类型、数组类型和函数类型

C++是一种强类型语言，类型在程序中的非常重要，每个变量和表达式都有一个确定的类型，类型匹配和类型转换也是C++语言中的重要部分。除了内建的一些类型和用户自定义类型（包括类类型），下面重点说一下指针类型、数组类型和函数类型。

T *  a; 

声明一个变量a，它的类型是T*（指向类型T的指针类型）。

T arr[ 100 ];

声明一个变量arr，它的类型是 T[100]（一维，维长100，元素类型为T的数组）。

T f( void ){ /*   . . .  */ }

声明一个变量f，它的类型是 T(void)（返回值为T，参数为void的函数）

特别要强调的是，arr 的类型和 f 的类型都不是指针。这两个类型的表达式没有右值。

3、&、* 操作符

* 操作符应用与左值表达式，以表达式左值为地址，取出表达式类型的值，作为右值返回。
& 操作符应用于左值表达式，返回表达式的左值。

注意*、& 操作符的操作数必须拥有左值。

4、左值到右值的转换

C++ 标准转换包含 左值到右值的转换。因为数组类型和函数类型的表达式没有右值，所以特别这里要说明数组类型和函数类型到右值的转换。比如上文所说 arr ，当它作为赋值操作符的操作数时，它需要转换为 T* 类型的指针（注意类型是指针！！），其值等于第一个元素的地址。而上文中所说的 f，当它作为赋值操作符的操作数时，它需要转换为 T(*)(void) 的指针（注意类型是指针！！），它指向f的地址。

5、对数组类型或者函数类型施加&、*操作符

&arr、 *arr、 &f、 *f 这些表达式都是什么呢？打开RTTI，在VC里运行下面代码：

 1  #include  " stdafx.h "
 2  #include  < iostream >
 3  using namespace std;
 4 
 5  int  func()
 6  {
 7           int  i  =   2 ;
 8           return  i;
 9  }
10 
11  int  _tmain( int  argc, _TCHAR *  argv[])
12  {
13           int  arr[ 100 ]  =  { 0 , 1 , 2 , 3 };
14 
15          cout << typeid(func).name() << endl;
16          cout << typeid( * func).name() << endl;
17          cout << typeid( & func).name() << endl;
18          cout << endl;
19          cout << typeid(arr).name() << endl;
20          cout << typeid( * arr).name() << endl;
21          cout << typeid( & arr).name() << endl;
22          cout << typeid( int * ).name() << endl;        
23 
24          getchar();
25           return   0 ;
26  }

运行结果如下：

int __cdecl(void)
int __cdecl(void)
int (__cdecl*)(void)

int  [ 100 ]
int
int (*) [ 100 ]
int *

可以看出 *func 和 func 类型相同，是函数类型，而&func 是指向函数的指针。arr 是数组类型，*arr 是 T 类型， &arr 是 指向数组的指针（这个比较费解）

因为*func 和 func 是等价的，所以可以这样调用 func：

(***********************func)() ;

如果要用 &func，必须这样（注意第一个一定是 *）：

(*&*&*&*&*&*&*&*&*&*&*&*&*&*&*&func)() ;

至于 arr、*arr、&arr 因为类型不同，不可混用，当然用来 memset 的话，表达式 arr 和 &arr 的值都为第一个元素的地址，最终都被转换为 void* 。