CG@CPPBLOG

# re: 對數組名取地址是什么？  回復  更多評論   

不錯，受教了。

# re: 對數組名取地址是什么？  回復  更多評論   

我一直以為array就等于&array,因為我記得對數組名進行&操作后的值與數組名一樣,于是自以為array等于&array,看來我還沒有理解其中的含義.
謝謝.

# re: 對數組名取地址是什么？  回復  更多評論   

地址一樣,解釋方式不一樣.

# re: 對數組名取地址是什么？  回復  更多評論   

....把數組名當個指針不就很好理解了嗎

# re: 對數組名取地址是什么？[未登錄]  回復  更多評論   

@Santa
僅僅認為數組名是個指針，是不行的。首先 array 不是一個變量，對它取地址是件很費解的事情，它并不在內存中，可能只是一個鏈接時常量。另外，即便 array 是一個變量，存在內存中，它的地址等于自己的值，恐怕更加頭大。

# re: 對數組名取地址是什么？  回復  更多評論   

1 int array[100];
2
3 memset(array, 0, sizeof(array));
4 memset(&array, 0, sizeof(array));

第3行和第4行其實是一樣的，只是不同的寫法而已。array OR &array，編譯器取的都是數組首地址（即數組名隱式轉換成pointer類型）。而不能說array 和 &array是兩種不能的類型，數組名本來就不是一種類型。

下面一個相似的例子：
#include <cstdio>

void func(char* str)
{
puts(str);
}

int main(void)
{
func("Normal called..");
(*********************************func)("No ploblem called by this way.");//typeof(func)?
(*&*&*&*&*&*&*&*&*&*&*&*&*&*&*&*&*&*&func)("No ploblem, Just a joke.");//typeof(func)?
return 0;
}

=================================================
D:\workspace\test>g++ test0b.cc -o test0b.exe

D:\workspace\test>test0b
Normal called..
No ploblem called by this way.
No ploblem, Just a joke.

個人意見，高手勿笑。

# re: 對數組名取地址是什么？  回復  更多評論   

非一般人啊！！@Xshl5

# re: 對數組名取地址是什么？  回復  更多評論   

@Xshl5
@超人

關于函數類型和數組類型的問題雖然表現不一致，但是原因是一樣的，因為說明比較長，我重新開一文說明：

http://www.shnenglu.com/cuigang/archive/2008/04/07/46464.html

至于數組名和函數名確實分別是數組類型和函數類型的問題，你可以去看C++ 標準 ISO14882。

# re: 對數組名取地址是什么？  回復  更多評論   

這個其實是C語言的特性.
C語言中設計的參數傳遞全部是值傳遞,除非你聲明了&引用傳遞,他才會傳遞至.
但是又一個例外就是數組傳遞的時候是只傳首地址的,當時設計的時候考慮了性能問題.array和&array表示的效果是一樣的.
這個在Poniters On C里面有詳細的描述.

# re: 對數組名取地址是什么？  回復  更多評論   

@Xshl5
你可能說的是狹義的“類型”，只包括int、char、float、double等。
照這個說法 int* 都不能算是一種類型，因為：
int* x, y;
該聲明實際上得到整型指針變量x和整型變量y，如果int*算是一種類型的話，那么y也應該被聲明為int*型。所以一般這樣寫：
int *x, y;
或者干脆分開：
int* x;
int y;

在賦值語句中，不管等號左邊還是等號右邊的表達式都是有類型的。要想賦值語句合法，等號右邊的類型必須跟等號左邊的類型相同（強制轉換后相同也算），或者能夠隱式轉換到左邊。

int array[100] = {0, 1, 2}; //array的類型是 int [100]
int* p1 = array; //int[100]可以隱式轉換到 int*
int* p2 = &array; //錯誤！無法從“int (*)[100]”轉換為“int *”

實際上array返回的是array[0]的地址，我們可以用*(array + 1)來獲得array[1]的值，不用*array++是因為array為右值。

由于int[100]能隱式轉換到int*，某些書籍在未經考查的情況下直接說數組名array就是int*類型的，array的類型跟p1類型是一樣的。照這種說法，&array就應該是int**類型的。但是：
int** p3 = &p1; //正確！&p1為int**類型。
int** p4 = &array; //錯誤！無法從“int (*)[100]”轉換為“int **”

為了跟&array的類型匹配，LZ自己定義了一個類型：
typedef int (*ARRAY)[100];
ARRAY p2 = &array;

這種做法非常聰明，學習了。

# re: 對數組名取地址是什么？  回復  更多評論   

@ww
類型應該是指：在使用前有明確定義的類型，包括C++內置類型，標準庫類型，用戶自定義類型。

int* x,y; //對象(變量）x,y是指針類型(int *)
int array[100]; //int[100]是編譯器為了方便而顯示的“偽”類型，當數組名被使用時，編譯器給他轉換成適當的類型。
*array=0; //數組名隱式轉換成指針類型(int*)
*(array+1)=sizeof(array); //后一個數組名不再轉換成指針類型，array[1]=400

typedef int[100] array; //error，int[100] not a typename
typedef int array[100]; //ok
array arr;
所以個人比較傾向于數組名（而不是int[100]）隱式轉換成指針類型(int*)，在很多時候數組名跟指針是等價的。
int array[100]; //當然為了理解方便，去掉變量名int[100]可以看作是array的類型。在char *strncpy(char *,const char *,size_t)中，可以把函數名strncpy的類型看作是char* (char *,const char *,size_t)，事實上，編譯器在報錯時就是這樣顯示的。注意char* (char *,const char *,size_t)是函數返回char*指針，和char (*)(char *,const char *,size_t)指向函數的指針，該函數返回char 不一樣。

# re: 對數組名取地址是什么？  回復  更多評論   

@Xshl5
請注意，int* x, y;實際上聲明了一個 int* 類型的變量 x 和一個 int 類型的變量 y ，而不是兩個 int* 類型的變量。試著編譯以下語句：
int z = 10;
int* x, y;
x = &z; //正確！x為 int* 類型
y = z; //正確！y為 int 類型
x = y; //錯誤！無法從 int 轉換為 int*
y = &z; //錯誤！無法從 int* 轉換為 int

# re: 對數組名取地址是什么？[未登錄]  回復  更多評論   

@Xshl5
關于“類型”。

我們知道對于以下函數原型：
void fn(int x, double y);
可以省略掉參數名，僅用參數類型來做函數聲明，即：
void fn(int, double);

而以下代碼是能通過編譯的：
void Print(int [2], int); //注意此處用int[2]作為參數類型！

void _tmain(void)
{
int array[2] = {1, 2};
Print(array, 2);
}

void Print(int iArray[2], int x)
{
//do something
}//end of code

是否可以說明編譯器是認可 int[2] 類型的呢？

# re: 對數組名取地址是什么？[未登錄]  回復  更多評論   

@Xshl5

看來你還比較執著。 int [N] 是類型是無容置疑的。建議看 ISO 14882

# re: 對數組名取地址是什么？  回復  更多評論   

樓主，是否可以通過下面的代碼來說明 array和&array的類型呢？

int array[100];
memset(array, 0, sizeof(array));

printf("sizeof(array)=%d, sizeof(&array)=%d\n", sizeof(array), sizeof(&array));

# re: 對數組名取地址是什么？[未登錄]  回復  更多評論   

@perddy

你想說明什么呢？

# re: 對數組名取地址是什么？  回復  更多評論   

@cuigang

由于習慣使用sizeof來判斷一個變量的類型，而實驗了一下，發現sizeof(array)和 sizeof(&array)結果一樣，都為400，所以一開始認為這兩個的類型是一樣的。
回頭又查了下C專家編程（第9章），其中有說：
表達式中的數組名被編譯器當作一個指向該數組第一個元素的指針。也即array為一指針類型。
另外注釋中有提到：在使用sizeof()、&操作符取數組指針、數組為一字符串常量初始值的情況下，對數組的引用不能用指向該數組第一個元素的指針來代替。

因此，樓主說的是正確的，array和&array類型是不一樣的。array為一個指針，而&array是指向數組int [100]的指針。下面的代碼（計算步長）也可以證明這個結論：

printf("array=%p, array+1=%p\n", array, array+1);
printf("&array=%p, &array+1=%p\n", &array, &array+1);

結果為：
array=0012FDF0, array+1=0012FDF4
&array=0012FDF0, &array+1=0012FF80

# re: 對數組名取地址是什么？  回復  更多評論   

C90規定：



Except when it is the operand of the sizeof operator or the unary & operator, or is a character string literal used to initialize an array of character type. or is a wide string literal used to initialize an array with element type compatible with wchar-t, an lvalue that has type “array of type” is converted to an expression that has type “pointer to type” that points to the initial element of the array object and is not an lvalue.



除了作為sizeof、&及用于初始化字符數組的字符串字面量等幾種情況外，一個具有數組類型的左值表達式被轉換為指向數組首元素的右值指針。這是一個隱式轉換過程。這個條款不僅規定了首元素地址這個數值結果，還規定了轉換結果的類型：元素指針。

# re: 對數組名取地址是什么？  回復  更多評論   

謝謝了，問題得到了解決

# re: 對數組名取地址是什么？  回復  更多評論   

謝謝樓主的講解、分享和大家的討論！