コード「struct MyList* address;」を分解すると・・・

Question

「矢沢久雄セレクション アルゴリズム&デザインパターン (日経BPパソコンベストムック)」 の
P13内にて、あるコードが掲載されています。

struct MyList {
     int value;
struct MyList* address;
};

このソースコードを見ると、「struct MyList」の部分は、構造体を定義することだとは知ってます。

しかし、3行目の「struct MyList 」にて最後にアスタリスク（）がついていますが、これはどういう意味**なんでしょうか？　

さらに3行目の「address」は、これは変数のことを指しているのでしょうか？

第６章　C言語のポインタ ～ ＆ と ＊ を使ってみる ～のサイトを見てみると

変数名の前に * （アスタリスクと読む）を付けると、 ポインタ型の変数の箱を用意することになります。 そして、int 型の変数の住所（アドレス）を入れるためには、 int ポインタ型の変数を用意しなければなりません。もちろん、他の型の場合も同じです。

と書かれておりますが、これは私自身の勝手な推測なんですが、
*「struct MyList address;」のコードを分解**すると、

1. 「struct MyList」→次のアドレス先*
2. 「address」→ポインタ変数

↑このような（大雑把ではありますが）解釈でよろしいのでしょうか？（私自身何か勘違いしてると思いますが・・・）

このコードに関して、不安になって、質問してしまいすいません。

お手数ですが回答の方、お願いします。

Answer 1

3行目の「struct MyList* 」にて最後にアスタリスク（*）がついていますが、これはどういう意味なんでしょうか？　

空白の位置でミスリードされてます。最後についているわけではありません。
*はaddressの直前についています。

int *x;で整数型へのポインター変数xを宣言しているのは分かりますか？
それと同じで、struct MyList型へのポインター変数addressを宣言しています。

ということで、

「struct MyList* address;」のコードを分解すると、

「struct MyList*」→次のアドレス先
「address」→ポインタ変数

は、勘違いで、
「struct MyLis」→型の指定
「*address」→ポインタ変数の宣言
です。

Answer 2

しかし、3行目の「struct MyList* 」にて最後にアスタリスク（*）がついていますが、これはどういう意味なんでしょうか？

ポインタの定義です。

さらに3行目の「address」は、これは変数のことを指しているのでしょうか？

そうです。正確には構造体のメンバ変数です。

↑このような（大雑把ではありますが）解釈でよろしいのでしょうか？

その行だけで解釈するだけならその構造体の中に自分と同じデータ構造を持つデータのポインタを持てるだけです。

構造体の中にその構造体のポインタを持つのは一般的には一方向リストの実装です。リンク先で勉強してください。

Comments

[mr0237]

ありがとうこざいました。

Answer 3

「struct MyList*」→次のアドレス先

「次」ってなんですかね・・・？

いや確かにこういう構造体定義は単方向リンクリストの実装に使うパターンではありますが、そうと決まったわけではないですし・・・・。

ポインタ変数

構造体宣言の時点ではメモリー上のどこにも実体はありません。変数というのはメモリー上のどこかに実体があってその場所の別名です。

こいつは構造体のメンバーです。それ以上でも以下でもありません。

Answer 4

自分と同じ型のポインタ型を定義してますな。
そんだけのはなし

次のアドレス、ってわけではない。

＃まあ、そういう実装にするのかもしれないけれど