作者TobyH4cker (Toby (我要當好人))
看板C_and_CPP
標題Re: [問題] 陣列名稱&指標常數問題
時間Fri Feb 3 22:42:53 2017
※ 引述《anoymouse (沒有暱稱)》之銘言:
: 關於"陣列名稱的位址"跟"陣列第一個元素的位址"相同但值不同的問題
: &name=0x0000 &name[0]=0x0000
: name =0x0000 name[0]=1
: 在板上只看到LPH66大的回文,其實看不太懂
: 上網看大部分的解釋大概是說:
: 如果有一個陣列int name[3]={1,2,3},
: &name[0]=0x0000
: &name[1]=0x0004
: &name[2]=0x0008
: 其陣列名稱name是一個指向陣列第一個元素的位址的指標,也就是指標常數
: name=0x0000
: name+1=0x0004
: name+2=0x0008
: 如果陣列名稱name碰到兩個operator:sizeof() or &
: 變成&name就會是指到整個陣列的位址,所以&name+1就會變成0x000C
: 意思是說陣列名稱(指標常數)其實並沒有自身的位址的概念?
: 如果只是取陣列元素如name[0]那就會自動decay(網路上都用這個詞)成指標 *(name+0)
: 如果是使用&name那只是純粹得到整個陣列的位址? &name並不是指標常數的位址?
: 不知道這樣問大家是否看的懂? 謝謝!
嗨嗨,先打個程式測測看就知道囉
#include <stdio.h>
int main()
{
int array[3] = {6, 8, 9};
printf("sizeof(int): %d (0x%X)\n", sizeof(int), sizeof(int));
printf("sizeof(array): %d (0x%X)\n", sizeof(array), sizeof(array));
printf("array: %p\n", array);
printf("&array: %p\n", array);
printf("&array[0]: %p\n", &array[0]);
printf("&array[1]: %p\n", &array[1]);
printf("&array[2]: %p\n", &array[2]);
printf("array + 0: %p\n", array + 0);
printf("array + 1: %p\n", array + 1);
printf("array + 2: %p\n", array + 2);
printf("&array + 0: %p\n", &array + 0);
printf("&array + 1: %p\n", &array + 1);
printf("&array + 2: %p\n", &array + 2);
printf("*(array + 1): %d\n", *(array + 1));
printf("*array + 1 : %d\n", *array + 1);
return 0;
}
以gcc-x86在Windows編譯執行結果如下:
sizeof(int): 4 (0x4)
sizeof(array): 12 (0xC)
array: 0061FF24
&array: 0061FF24
&array[0]: 0061FF24
&array[1]: 0061FF28
&array[2]: 0061FF2C
array + 0: 0061FF24
array + 1: 0061FF28
array + 2: 0061FF2C
&array + 0: 0061FF24
&array + 1: 0061FF30
&array + 2: 0061FF3C
*(array + 1): 8
*array + 1 : 7
首先關於對陣列中每個元素取址這部分應該不會有太大困難,
取得的指標就是該元素的記憶體位址,
再來對陣列名稱取址以及單純陣列名稱都表示陣列開頭的位址,
而陣列的開頭也就是第一個元素,
因此這三個位址是一樣的沒問題:
array: 0061FF24
&array: 0061FF24
&array[0]: 0061FF24
接著陣列名稱 + 常數,這個就比較不好理解了,
你可以直覺把他從
array + n
轉換成
&array[n]
不過要注意的是當有上下文的時候要注意優先序,
因為你想要做的是對指標做dereference,而不是先提領再運算,
所以要小心
int result = *(array + 1);
和
int result = *array + 1;
的差別,你也許會疑惑為什麼可以直接dereference陣列名稱,
還記得他們都是陣列第一個元素的位址嗎?
因此 *array 提領的結果就是 array[0] 的值了。
最後我想你最大的困難是在
&array + 1
上面我們發現某個指標加上常數偏移就會等於以該指標作為陣列的第常數個元素的位址,
聽起來很饒口,但是我要你觀察的是 array + n 的偏移量,
或是更一般性的說我們要觀察 ptr + n 的偏移量意義,
藉由觀察 array + 1 以及 array + 2 執行的結果:
array + 1: 0061FF28
array + 2: 0061FF2C
我們發現兩個位址相減
0061FF2C - 0061FF28
= 4
由此可知每對這個陣列名稱 + 1,就會得到往後4個bytes的位址,
這4個bytes是哪裡來的?
上面程式一開始我就寫了 sizeof(int),
而 int 正是這個陣列攜帶元素的型態,而每個元素的大小是4個bytes,
同理如果把 array + 1 和 array + 2 套回剛剛的公式
array + 1 = &array[1]
array + 2 = &array[2]
以元素在陣列中的位址來思考的話,
不難發現第三個元素的位址 &array[2] 比第二個元素的位址 &array[1]
多了4個bytes,也就是元素的大小。
到這邊整理一下,
陣列名稱 + 常數偏移
array + n
的位址 // 以下都把指標當作整數運算
= 陣列開頭的位址 + n * (陣列元素的大小)
= &array[0] + n * sizeof(int) // 陣列的開頭就是第一個元素
= &array + n * sizeof(array[0]) // 第一個元素型態是int
= array + n * sizeof(*array) // *array就是第一個元素
= ptr + n * sizeof(*ptr)
這樣歸納,可以直接導出我要講的結論:
&array + 1 的位址是多少呢?套用上面公式的話
其位址
= &array + 1 * sizeof(*&array) // 指標當作整數,此處非C語言
這邊我們知道 &array 是指標對吧,
這個指標是一個指向「帶有3個int的陣列」的指標,
我們把該指標命名為 ptr,其定義寫成 int (*ptr)[3];
declare ptr as pointer to array 3 of int
因為這個指標指向的元素是一個「帶有3個int的陣列」,
而又3個int的陣列的大小是3 * 4 = 12 (0xC),
故 ptr + 1 的位址就會是 ptr的位址 + 1 * 12,
再驗證程式的結果:
&array + 0: 0061FF24
&array + 1: 0061FF30
&array + 2: 0061FF3C
該指標每多 + 1,位址就會 + 12 (0xC),沒錯。
到這邊如果都能懂的話,
想一想,&array + 1 位址是不是就是 &array[3] 呢?
希望以上的說明能讓大家多一種思考方式,也希望能幫助到各位。
提供一點小公式 // 此處都是C語言沒問題
&array[0] = array + 0 = array = &array
elements of array: sizeof(array)/sizeof(*array)
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.9.233.174
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1486132977.A.B3A.html
1F:推 prismwu: 寫真清楚 02/04 00:13
2F:推 cuteSquirrel: 推薦這篇文章 02/04 13:28
3F:推 s89227: 推一個 02/04 20:18
4F:推 MasTerNBHD: 推,滿少看到 &變數+常數的 XD 02/04 22:20
5F:推 joj4211: 666666 02/06 00:37
6F:推 jerryh001: 第二個printf少一個& 02/06 12:14
7F:推 HowLeeHi: &array+1知道怎麼計算,但沒有很詳細去了解原因... 02/07 03:07
8F:→ HowLeeHi: 好像平常也比較少出現的樣子!?? 02/07 03:07
9F:推 anoymouse: 謝謝! 03/08 17:12