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