C言語における構造体のアドレスについて

Question

C言語における構造体のアドレスについて教えていただきたいです。
下記コードのように構造体を作り、実体を作りました。
そのとき実体のアドレスを調べたところ、
どちら同じアドレスが表示されました。

なぜ同じアドレスが表示されるのでしょうか。
C言語の仕様上、この場合はsも&sも同じことを表すように
変換されているのですか？

調べてみましたが、よくわからなかったため、
質問をさせていただきました。

typdef struct{
    int a;
    int b;
    int c;
}SAMPLE;

int main(){
    SAMPLE s[3];
    printf("%p\n",s);
    printf("%p\n",&s);
    //どちらも同じアドレスが表示される
}

Comments

[ozwk]

それぞれ何のアドレスになることを期待してましたか?

[AdultMr.]

sのアドレスについては&s[0]と同じアドレスになることを期待していました。
実際、同じアドレスが表示されます。
&sに関してはsのアドレスを保存している領域の先頭アドレスが表示されると考えていました。

例えばですが、コードに
SAMPLE *p;
p = s;
printf("%p\n",p);
printf("%p\n",&p);
と加えると、この場合は別のアドレスが表示されます。

それと同様なことが起こるのだろうと期待していました。

[otn]

質問内容は、構造体とは何の関係も無く、配列の名前が何を意味するのかの話になってますが、質問意図は合っていますか？
つまり、int s[3]; と書いても全く同じ内容の質問です。

Answer 1

C言語の仕様上、この場合はsも&sも同じことを表すように

変換されているのですか？

はい、配列については、sも&sも同じアドレスです。ただし、型は違います。

• s…SAMPLE *（SAMPLEへのポインタ）
• &s…SAMPLE(*)[3]（SAMPLEが3つの配列を指すポインタ）

Comments

[AdultMr.]

ご回答いただき、ありがとうございます。
どちらも同じアドレスを指すとのこと、理解致しました。
1点、質問をさせてください。
型が異なるということですが、それによってsと&sを使い分けることがあるのでしょうか。
(SAMPLE *)型には馴染みがありますが、(SAMPLE(*)[3])型には馴染みがなく、どういった扱いができるのかが分かっておりません。
申し訳ございませんが、再度ご教授いただけないでしょうか。

Answer 2

ポインタは常に基底型から派生するということを思い出してください。
例えばint*型というのはint型から派生して作られたのでした。
なぜそうなっているかといえばポインタ演算に原因があります。

int32_t arr1[5];
int8_t arr2[5];
int32_t* p1 = arr1;
int8_t* p2 = arr2;
p1 += 1;//sizof(int32_t)==4byteポインタを進める
p2 += 1;//sizof(int8_t)==1byteポインタを進める

ポインタへの演算の際に基底型の大きさが重要となるのでした。

さて、SAMPLE(*)[3]型を見ていきましょう。これはSAMPLE[3]型から派生していることはすぐわかると思います(Cの文法が変態すぎてわからないかもしれませんが)。

SAMPLE(*)[3] p = /*なんか*/
p += 1;//sizeof(SAMPLE[3])だけポインタを進める

あとは同じですね。

Comments

[AdultMr.]

ご解説いただき、ありがとうございました。
ポインタ演算の際に、いくつ分のアドレスが加算されるか、というのが型に応じて変わるということを失念しておりました。
分かりやすい説明をしていただき、ありがとうございました。