文字列が入った配列をfor文で回す方法（c言語）

Question

文字列が入った配列からfor文で要素を一つ一つ取り出したいのですが、なぜこのコードで要素が取り出せるのかが分かりません。
sizeof(kw)の24という値と、sizeof(*kw)の8という値はどこから出てきたのでしょうか？char型のポインタ変数のサイズって1だと思うのですが、、、

#include<stdio.h>

int main(void){
    static char *kw[] = {"re", "ifaaaaaaaaaaa", "else"};

   for (int i = 0; i < sizeof(kw) / sizeof(*kw); i++) {
        //printf("%lu\n",sizeof(kw)); 24
        //printf("%lu\n",sizeof(*kw)); 8
        printf("%s\n",kw[i]);
   }
  return 0;     
}

Answer 1

ポインタ変数というのはアドレスを格納する変数です。そのサイズはアーキテクチャによって異なりますが、この場合、ポインタ変数は8バイトで対象のアドレスを保持しているということです。そしてkwにはそれが3つあるから24バイトですね。sizeof(kw) / sizeof(*kw)は配列の要素の個数を求めるのによく使われるテクニックです。

Comments

[takuyaKK]

なるほど、理解できそうです！ありがとうございました！

Answer 2

回答はミナサマに任せるとして、僕はコッチ↓が好みやな。間違えることないし。

#include<stdio.h>

int main(void){
    static char *kw[] = { "re", "ifaaaaaaaaaaa", "else", NULL }; // 終わりのシルシをいれておく

   for (int i = 0; kw[i] != NULL; i++) {
        printf("%s\n",kw[i]);
   }
  return 0;
}

Comments

[takuyaKK]

なるほど、こういう書き方もあるんですね！ありがとうございます！

Answer 3

「sizeof(kw)の24という値と、sizeof(*kw)の8という値」を気にしてはいけません。
気にしなくてもいいように、

sizeof(kw) / sizeof(*kw)

という書き方をしています。
sizeof(kw)でkw[]という配列の大きさを、sizeof(*kw)で ポインタの大きさ、つまり配列要素一個分の大きさを求めています。
それぞれの大きさが動作環境により異なる場合にも、プログラムが可動するようにするためです。

Comments

[takuyaKK]

sizeof(*kw)は、より正確には、配列の「先頭」要素（charへのポインタ）の大きさでしょうか？

[episteme]

kw[i] と *(kw+i) は同じです。
なので i = 0 のとき　k[0] と *(kw+0) つまり *kw は同じです。
sizeof(kw) / sizeof(*kw) は 全体のバイト数 / 要素ひとつのバイト数 つまり 要素数 となります。

[takuyaKK]

なるほど、ありがとうございます！

Answer 4

• sizeof(kw)の24という値と、sizeof(*kw)の8という値はどこから出てきたのでしょうか？

C言語の型宣言の解説に書かれているのに関連する問題なのでしょうか。これに従ってkwの型を考えると、

static char *kw[]

kwは配列である。
その配列の個々の要素はstatic char *である。
となります。

個々の要素であるstatic char *はアドレスが入るので、32ビットオブジェクトなら4バイト、64ビットオブジェクトなら8バイトとなります。

配列の要素数は、{"re", "ifaaaaaaaaaaa", "else"}の数なので、3となります。

• なぜこのコードで要素が取り出せるのかが分かりません。

kw[i]は文字配列 であり、\0で終了しているので文字列と呼ばれるものです。
printfで%sを指定したばあい、対応する引数は文字列でなければなりません。
ループを回る順で、kw[i]はそれぞれ、"re", "ifaaaaaaaaaaa", "else"となるので、それが印字されます。

Comments

[takuyaKK]

このリンク凄い分かりやすいですね！ありがとうございます！
sizeof(*kw)の*kwは配列の先頭要素（＝charへのポインタの値（＝メモリの番地の値））を表しているという認識であっていますでしょうか？
http://www.cc.kyoto-su.ac.jp/~yamada/ap/array.html

Answer 5

char型のポインタ変数のサイズって1だと思う

sizeof が返すのはバイト数です。

「char型」は普通に考えると 1(byte) になりますが、コンピュータ(CPU)に依っては "2以上も有り得ます"。
その可能性の為、char型のサイズが必要な場合には "1" と書かずに sizeof(char) と書いたりします。

そして、「char型のポインタ」のサイズは "1" ではありません。char 型と(それへの)ポインタとは別モノです。
char 型は文字を入れるモノですが、ポインタはメモリのアドレスを入れるモノです。ですので、メモリのアドレスが表されるだけの大きさを持っており、大抵は int 型と同等(以上)の大きさです。

Comments

[kazuma-s]

sizeof(char) は 1 と規格で決められています。

JISX 3010:2003 (ISO/IEC 9899：1999)

6.5.3.4 sizeof演算子
制約 sizeof 演算子は，関数型若しくは不完全型をもつ式，それらの型の名前を
括弧で囲んだもの，又はビットフィールドメンバを指し示す式に対して適用しては
ならない。
意味規則 sizeof 演算子の結果は，そのオペランドの大きさ（バイト数）とする。
オペランドは，式，又は括弧で囲まれた型の名前のいずれかとする。その大きさは，
オペランドの型によって決定する。結果は，整数とする。オペランドの型が可変長
配列型である場合，オペランドを評価する。そうでない場合，オペランドは評価せ
ず，その結果は，整数定数とする。型 char，unsigned char 若しくは signed char
（又はそれらの修飾版）をもつオペランドに適用した場合の結果は，1 とする。

[takuyaKK]

なるほど、そうなのですね！お二人ともありがとうございます！