C言語で「 -> 」の意味がわかりません

Question

C言語のプログラムで以下のようなプログラムを見たのですが、「a -> next」の「 -> 」が何を指しているのかがわかりませんでした。
検索もしてみたのですが、"->"でヒットしてくれず困っています...

「a -> next」の場合、aとnextの関係はどのようなものなのでしょうか？
イメージがつかめません。
よろしくお願いいたします。

scanf("%d#,&data);
a = &listhead;
while(a -> next != NULL){
if(a -> next -> key == data)
break;
a = a -> next;
}

Answer 1

-> は「アロー演算子」「矢印演算子」と呼ばれます。 a->next とすると、ポインタ a が指す構造体のフィールド next を読み書きできます。 (*a).next と同じ意味です。

Answer 2

意味はuasiさんがおっしゃっていることです。
自分の中のイメージを書いておくと、ローカル変数で宣言した構造体はすぐ近くのメモリ上にあるのでドット.でアクセスする。
ポインタを使った場合はヒープ領域など少し離れた場所にメモリが確保されるのでアロー（矢印）->でアクセスする。
という感じです。
（あくまでイメージです。理解の助けになれば）

Answer 3

scanf("%d#,&data);
a = &listhead;
while(a -> next != NULL){
   if(a -> next -> key == data)
      break;
   a = a -> next;
}

ほかの方が説明しているように、a->nextはポインタ(a)が指す構造体のデータ(nextあるいはkey)を使うためのものです。
また、この処理はリストを辿って読み込んだ数値と同じ値を持ったデータを探すものです。
その為に、リストの先頭をポインタ(a)に入れて順次その値を探しています。
少なくともリストには,nextとkeyという変数を持った構造体がありnextはリストに入っている次の構造体のポインタが入っています。また、リストの終端のnextにはNULLが入っています。

Comments

[cateye]

ちなみにa->next->keyはポインタ(a)の指している構造体のnextに入っているポインタが指している構造体のkeyという変数ですd^^

[ababab]

回答ありがとうございます。
つまり、このプログラムの場合はlistheadのアドレスが差している構造体のnextという変数に入っているポインタが指す構造体にある変数keyを参照しているということでよろしいでしょうか？

[cateye]

a->next->keyの解釈はそれでよいと思いますが・・・
“listheadのアドレス”はリストの先頭のアドレスであってポインタ(a)が同じになるのは、a = &listhead;の時だけです。あとは、nextを手繰りながら検索するのでリストの次の要素、また次の要素・・・という風にポインタの中身は変わります。
a = a -> next;　←ここでポインタが変わります。

Answer 4

オーソドックスなリスト構造でデータを検索しているプログラムですね。

listhead は多分、
struct list {
int key;
struct list *next;
};
とか定義されてるんでしょう。

「リスト構造」でググれば情報は見つかると思いますよ。

しかし、例のプログラムだと listhead.key はチェックしませんね。
それでいいんだろうか？

Comments

[ababab]

回答ありがとうございます。
「->」で指されている変数（a,next,key)はすべて「*」や「&」のようなアドレス・ポインタなのでしょうか？

[lazy_tsan]

構造体内のメンバのアクセスは普通 st.key のように "." でアクセスしますが、構造体へのポインタの場合は (*pst).key と書くかわりに pst->key と書けるというだけのことです。
（uasiさんが書かれている内容ですね）

なぜ構造体のポインタの場合だけ専用の演算子があるかというと、それは設計者のセンスの問題かと
（UNIXを書くために開発した言語なので構造体のポインタをきっと多用したんでしょう）

Answer 5

-> アロー演算子、構造体のポインタの時に使います。

struct a{
int next;
}

a.next と使いますが、 struct *A = &a; とした時
A->next

上記のソースコードの場合はlistheadのメンバーにnextがいると思います。
a = &listhead;
となっておりますので、 listhead.next と a->next は同じ場所を参照しています。