?

拋出問題

最近碰到一個問題點，這里跟大家分享一下。有一個二維數(shù)組，我想把它傳給一個函數(shù)。于是我把函數(shù)接口定義出來了，如下：

?

int?array[2][3]?=?{1,2,3,4,5,6};
void?fun(int?**array)?{
??array[0][0]?=?5;
}

?

當我試圖直接把數(shù)組名傳給函數(shù)時候，fun(array)編譯會報錯，大概意思就是類型不匹配。既然類型不匹配，那我就直接強轉成你所需要的類型，于是我又做了調整，fun((int **)array)，這下確實不報錯了。但是此時我還沒意識到問題的嚴重性。不出意外的情況下意外還是發(fā)生了，只要進入到這個函數(shù)后，程序就掛了。那你知道是什么原因嗎？如果不清楚就往下看吧...

指針

先從指針說起，指針是一個特殊的變量， 它里面存儲的數(shù)值被解釋成為內存里的一個地址。要搞清一個指針需要搞清指針的四方面的內容：指針的類型、 指針所指向的類型 、 指針的值或者叫指針所指向的內存區(qū)、 指針本身所占據(jù)的內存區(qū)。

指針的類型

只要把指針聲明語句里的指針名字去掉，剩下的部分就是這個指針的類型。例如：

?

int*ptr;??????//指針的類型是?int*
char*ptr;?????//指針的類型是?char*
int**ptr;?????//指針的類型是?int**
int(*ptr)[3];?//指針的類型是?int(*)[3]

?

指針所指向的類型

只須把指針聲明語句中的指針名字和名字左邊的指針聲明符*去掉， 剩下的就是指針所指向的類型。例如：

?

int*ptr;??????//指針所指向的類型是?int
char*ptr;?????//指針所指向的的類型是?char
int**ptr;?????//指針所指向的的類型是?int*
int(*ptr)[3];?//指針所指向的的類型是?int()[3]

?

指針的值

在32位程序里，所有類型的指針的值都是一個32位整數(shù)，因為32位程序里內存地址全都是32位長。

指針本身所占用的內存大小

意思是指針本身占了多大的內存，在32位平臺里，指針本身占據(jù)了4個字節(jié)的長度。可以使用sizeof(指針的類型)測試。

一維數(shù)組

對于一個一維數(shù)組int array[10],數(shù)組名代表一個常量地址，該地址指向第一個元素。以下兩種情況數(shù)組名不能當指針使用。

&

對數(shù)組名取址，int *p_array = &array，&這個運算符也很有講究的，暫時不多說了。

sizeof

sizeof(array)計算的是整個數(shù)組在內存中所占用的空間。

二維數(shù)組

二維數(shù)組本質上是以數(shù)組作為數(shù)組元素的數(shù)組，即“數(shù)組的數(shù)組”。假設我們定義了一個二維數(shù)組int array[2][3] = {1,2,3,4,5,6}。

網(wǎng)上有很多地方都再說數(shù)組名array和array[0]、&array[0]以及&array[0][0]是等效的。那我們代碼測試一下。

?

printf("%#x,%#x,%#x,%#x
",array,array[0],&array[0],&array[0][0]);

Terminal:
0x404008,0x404008,0x404008,0x404008

?

因為這幾種寫法輸出地址都是相同的，所以有的同學自然就認為這幾種寫法就是一樣的。雖然地址相同，但是實際意義是有區(qū)別的,我們繼續(xù)看下面的代碼。

?

//這里重新定義了指針變量，能夠方便的知道右值得類型
int?*p_array1?=?array[0];
int?*p_array2?=?&array[0][0];
int?(*p_array3)[3]?=?&array[0];
int?(*p_array4)[3]?=?array;
??
printf("%#X,%#X,%#X,%#X,%#X
",array,++p_array1,?++p_array2,?++p_array3,?++p_array4);

Terminal:
0X404008,0X40400C,0X40400C,0X404014,0X404014

?

根據(jù)以上實驗分析能夠看出：array[0]與&array[0][0]指針類型相同，都是int *，地址存放的是int數(shù)據(jù)，當指針自增1時地址都偏移了一個int類型的大小。

&array[0]與array指針類型相同，都是int (*)[3],首先它是一個數(shù)組指針，這個指針指向一個數(shù)組，數(shù)組中數(shù)據(jù)的類型為int型。當指針自增1時地址都偏移了一個數(shù)組的長度(即3個int數(shù)據(jù)的大小)。

所以說array只和&array[0]真正意義等效。那怎么去理解這幾種表達呢 ？

如以上能夠理解清楚，那么文中的問題應該就能夠自己分析清楚了。

二級指針

先定義一個二級指針int **p，首先p是一個指針，在這個地址中存放的數(shù)據(jù)是指向一個整形數(shù)據(jù)的地址。

問題解答

接著看文章中的問題，把一個二維數(shù)組強轉成二級指針傳給了函數(shù)。注意二維數(shù)組名的類型是一個數(shù)組指針和二級指針完全不是一個東西。那么會出現(xiàn)什么問題呢？

?

int?array[2][3]?=?{1,2,3,4,5,6};

int?main(int?argc?,char?**argv)?{
??int?**p_data?=?(int?**)array;
??printf("%#x,?%d
",?p_data,?*p_data);
}

Terminal:
0x404008,?1

?

看上面的例子，array的地址為0x404008，當把一個二維數(shù)組強轉成二級指針的時候。p_data地址中存放的數(shù)據(jù)為1，因為二維數(shù)據(jù)中第一個數(shù)據(jù)就是1。根據(jù)二級指針的定義，這個數(shù)據(jù)1又會當成一個地址，該地址指向的內存才是最終的數(shù)據(jù)。

但是呢，這個地址1其實是個數(shù)據(jù)，并不是真正的地址。如果訪問地址1中的數(shù)據(jù)，就屬于非法訪問地址了，可能會進入異常。

二維數(shù)據(jù)當函數(shù)入?yún)?/p>

通過以上學習我們已經知道二維數(shù)組名就是一個數(shù)組指針，我們函數(shù)就可以像下面這樣聲明。

?

void?fun(int?array[][3],?int?row);
void?fun(int?(*p_array)[3],?int?row);
void?fun(int?row,?int?column,?int?array[row][column]);

?

實參與入?yún)?/p>

最后在看下，應該如何定義與實參相對應的形參的數(shù)據(jù)類型。

?

　　審核編輯：湯梓紅