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* 。