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) 的指針(注意類型是指針?。。赶騠的地址。
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* 。