c++多維數組指針

 

 晚上寫東西突然碰到一個問題,百度了下.......


找到一個比較滿意的答案,內容如下

 

#include <iostream.h>
void main()
{
 int a[2][3];
int**p=a;
}

請問爲什麼是錯誤的??(請不要說數組名是一個指針這個我知道,我想知道爲什麼不能用二級指針指向二維數組)

本來不想寫什麼的,但是看看,我覺得都沒有我想要的答案,於是我像樓主推薦我的拙見。其實這個數組與指針的問題,要寫的話,一句話,兩句話是將不清楚的。

首先數組和指針的概念你沒分清楚,數組的本質你沒搞清楚。這是導致問題出現的根源。

int x[5]; 這個定義裏面,我們說定義了一個數組x,此數組有5個數組元素,元素的類型爲int類型。首先要問的是,x到底爲什麼東西? 我知道,在譚浩強的書上面說x是數組名,x代表了數組第一個元素的首地址。沒錯,x確實是數組的名字,x的值也確實是第一個數組元素的地址值。注意這裏我們說x代表的值與數組第一個元素的地址值相等,但是並不是說他們的類型是一樣的。那麼x的類型到底是什麼呢? 有人說就是int * 類型。有如下語句可以做證:

int *p=x; //這句話是正確的。

x的類型真是int *嗎,我們說不是,因爲下面的語句是不正確的:

int a=10;
x=&a; // int *類型的變量時可以接受值的。所以x不是int*

那麼我們可以猜測x的類型是不是 int *const呢。也就是說x是一個地址值不可以改變的指針。這句話貌似有點正確。但是請大家看看下面的例子:

int x[5]={0};
int a=sizeof(x); // a的值到底是多少?實際上這裏a的值是5*4=20
我這裏使用的編譯器是VC++ 6.0 int類型數據佔用4個字節空間,所以這裏的道的是整個數組佔用的字節數。 我們不是說x的類型是iint * const類型的嗎,也就是x應該是一個指針類型,應該是4個字節的啊,爲什麼sizeof出來時整個數組佔用的字節數呢。例如

sizeof(int *)這個的結果就是4。所以有此可以看出,x的類型並不是int*,也不是int * const。

int x[5];中的x到底是什麼呢,我們說x是數組,此數組有5個元素,並且每個元素都是int類型。 我們有一個識別數據類型的規律例如:

int x; //x類型爲int
int *x;//x類型爲int *
int **x;//x類型爲int **
int (*x)[10];//x類型爲int(*)[10]實際上是指向數組的指針
int (*x)(int ,int);//x的類型爲int(*)(int,int)實際上是指向函數的指針

由此可以看出,一個符號是什麼數據類型,我們只要在其定義的表達式中去掉符號本身,剩下的就是符號的類型了。照此推斷,int x[5];中x的類型應該是 int [5]這個類型,可以看出此類型並不是int *類型。

那麼int x[5];中的x可以這樣賦值: int *p=x; 爲什麼呢,只能說這裏面將x的類型隱式轉換爲了int *類型。所以這裏是可以賦值的,因爲進行了類型轉換。 再請看下面的例子:

void function(int x[5])
{
  cout<<sizeof(x)<<endl; //這裏輸出4
}

爲什麼會輸出4,而不是4*5呢,可以看出上面的函數形參實際上類型是int*,並不是數組類型,所以我們在定義函數的時候,下面的都是與上面等價的:

void function(int x[])//元素個數是多少可以省略
{
  cout<<sizeof(x)<<endl; //這裏輸出4
}

void function(int *x) //直接寫成指針變量也沒錯
{
  cout<<sizeof(x)<<endl; //這裏輸出4
}

他們都是等價的。

那麼我們看一個類似的問題:
int x[5];
int **p=&x; //爲什麼會報錯? 因爲類型不匹配。

p的類型是int **,而&x的類型卻不是int **。 &x的類型實際上是int(*)[5],因爲去的是x的地址,也就是說這個地址是數組的地址,並不是指向數組第一個元素的指針的指針(也就是二維指針),而是整個數組的地址。所以我們可以改成下面的:
int (*p)[5]=&x;//這就對了。

指向數組的指針,和指向數組元素的指針有什麼不同?

我們說對於一個指針變量,要幾點是我們必須注意的,例如int *p;我們要注意的是,p的類型是int*,p佔用的空間4個字節,p指向的數據類型是int。p指向的數據類型佔用4個字節。所以對於指針變量,我們要明白指針變量本身是佔用空間的,本身是有類型的,其次指針變量所指向的空間是有類型的,是有空間的。

那麼int *p; char *p1; 對於指針變量來說p,p1裏面都放的是地址值,說白了就是一個數值,他們都佔用4個字節的空間,但是他們的類型不一樣,p裏面的地址指向的是int類型的數據,p1指向的是char類型的數據,這主要體現在p++與p1++中他們在內存中移動的字節數是不一樣的,我們假設int佔4個字節,char佔1個字節。那麼對於p來說向前移動了4個字節,p1來說移動了一個字節。這就是他們的類型不同,導致運算過程中的不同。

int x[5];
int (*p3)[5]; 此時p3指向數組x,那麼p3++實際上向前移動了多少呢,可以算出移動了4*5個字節。也就是p3指向的是一個數組,是整個數組,所以p3移動的時候是將一個數組當做一個整體來看待的。所以向前移動了一整個數組的距離。

再看你的問題之前,我們來看一個類似的問題:

int a[2][3];
int**p=&a; //這裏我用&a來賦值行不行呢。是不行的。

這裏爲什麼是錯誤的,原因就是因爲&a的類型不是int**類型。所以類型不兼容,導致不能賦值,同時這兩種類型是不可以相互轉換的。 那麼&a到底是一個什麼樣的類型呢。 我們說&a去的是整個數組的地址,那麼&a自然就是指向整個數組的指針了。 int (*p)[2][3]=&a; 此時這樣賦值纔是正確的。如果我們要用a直接賦值,那該定義一個什麼樣的變量來接受它呢,首先要明白,數組名代表的地址類型是指向數組的第一個元素的指針,例如:

int a[10];
int *p=a; 實際上這裏與 int *p=&a[0];是等價的。因爲指向a[0]的指針類型就是int*類型。  那麼&a的是去數組的地址,其類型是指向數組的指針,而不是指向數組第一個元素的指針,整個是要區別的,他們的類型就不一樣。 int(*p)[10]=&a;

所以說這裏的a和&a絕對不是同一個東西,雖然本質上他們的地址值是一樣的,但是他們的類型不一樣。就決定他們代表不同的意義。

那麼剛剛說了對於下面的例子:
int a[2][3];
int (*p)[2][3]=&a;//我們可以定義這樣的一個變量p來接受&a的值。

那麼我們要接受a應該定義一個什麼樣的變量呢。a[2][3]是一個二維數組,可以看成是這樣的a是一個數組,具有兩個元素,分別爲a[0],a[1]其中這兩個元素的值a[0],a[1]他們的值又是一個具有3個元素的數組。此時我們可以將a[0],a[1]看成是數組名,那麼a[0][0]就是數組a[0]的第0個元素了。對應關係如下:
a[0] ---->  a[0][0],a[0][1],a[0][2]
a[1] ---->  a[1][0],a[1][1],a[1][2]

那麼a到底是什麼,其實a數組有兩個元素,a[0],a[1],那麼a的值自然就是其第一個元素的地址了,也就是&a[0]了。這是一個什麼類型?  我們知道如果我們將a[0]看成一個整體,例如我們用A來代替a[0],那麼A[0],A[1]就相當於a[0][0],a[0][1] 。 此時A就是一個int類型的數組,&A,的類型實際上就是 int(*p)[3]這個類型。

所以下面的代碼也是正確的:
  
int a[2][3]; 
int(*p)[3]=a; //所以對於你的問題,可以這樣子。。

明白了嗎?
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章