Javaの配列にも列の最後に\0は入りますか？

Question

ふと思ったことです

Cの配列には最後に\0（ナル文字）が入るのは知っているんですが、Javaの配列にも最後に\0は入りますか？

Answer 1

ご質問の意図がちょっとわからないので、見当違いかもしれませんが回答します。

一般に、C言語で書かれたプログラムの中でメモリ領域を新たに確保したときに、その領域が初期化されているとは限りません。多くのオペレーティングシステムでは、確保した領域に何が入っているかは予測不能です。ですから、最後に'\0'が入っているとは言えません。

一方で、プログラム中に現れる定数値は、コンパイル時に初期化されたメモリ領域が定義されます。このうちchar型の配列の定数 (つまり文字列) は、'\0'で終端された形式に初期化されます。これ以外の配列の定数は、明記しない限り'\0'で終端されたりはしません。たとえば、

char s1[] = "QWER";
char s2[] = {'Q', 'W', 'E', 'R'};

では、コンパイルした結果確保されるメモリ領域は、それぞれ

Comments

[tesllaria]

Cには文字列だとナル文字が明記されるんですね。
ならJavaの文字列を使ったプログラミングでナル文字の概念を意識しなくていいんですね。
勉強になりました、ありがとうございます。

Answer 2

java の場合、ローカル変数は初期化されません。
ローカルでない変数は、明示的に初期化しなければ 数値なら0、booleanならfalse、
参照型ならnullで初期化されます。「最後だけ」ではなく、すべての要素が初期化されます。

Cの配列には最後に\0（ナル文字）が入る

これは、誤りです。最後に \0 が入るのは文字列の場合です。
配列の場合、それが静的なら 0 で初期化されます。動的なら 不定 です。
際列の最後に\0を入れたければ、プログラマーが明示的に入れなければなりません。

Comments

[退会済みユーザー]

javaではローカル変数でもクラス変数でも配列の場合は確保まで行うと初期化されます

Answer 3

Cでは配列のサイズは常にわかるわけではなく「未知」な場合があります。システムでのサポートは限られた文脈でのみsizeofで求められるだけであり、特に関数間で引き渡す際にはT[]がT*とほぼ同じものとして扱われてしまいます。こういう背景があるため配列の大きさを扱うには大きさを別の変数として管理するか、配列の末尾に特別なマーカーデータを置くなどの方法を採らざるを得ません。文字列をcharの配列として表現するCでは後者の方法を採用しマーカーデータとしてナル文字を使うことにしました。太古の昔に制定された文字コードではNUL文字(文字コード=0x00)は「何もない文字」という意味合いがあったからなのだと思います。

一方Javaではご存知のようにポインターはなく任意の配列T[]は「配列」としてしか扱われません(Cに馴染みがない方には意味不明な説明ですが...)。T[]は正確な大きさがlengthでいつでも参照できるようになっています。こういった背景があるため文字列の終端を表す目的でナル文字のようなマーカーデータを用いる必然性がなくそうする習慣もありませんし実際入ってもいません。

Cで"abc"と記述した場合に実際の大きさが4で最後にナル文字が入るといった仕様はJavaにはなく、Javaで"abc"と記述した場合は(char[]ではなくStringになりますが)Stringの内部にあるchar[]の大きさは4ではなく3であって4文字目にナル文字が入る余地も必要もないのです。

なお実際は文字配列を確保すると全ての要素がナル文字で初期化されますがそれは文字列の終端をナル文字で表すからではなくプログラムの実行結果の再現性を確保するために何か決まった文字で初期化するという意味合いだと思います。

---

追記：
yohhoyさんからご指摘があり誤解を招いた部分が「一般に未知」「T[]がT*とほぼ同じ」という表現だと思ったので表現を改めました。要するに自分のいいたかったことはランタイム情報にサイズ情報を含んでいないので「常にサイズがわかることが保証されていない」という点でした。

Comments

[tesllaria]

なるほど…
ポインターじゃないJavaは「配列」としか扱われないんですね…
勉強になりました！

[yohhoy]

C言語側の配列とポインタの説明に致命的な誤りがあります。Cの配列型（char a[10];など）はそれ自身にサイズ情報を含んでいます。配列型からポインタ型に暗黙変換される話（例：char* p = a;）と、ポインタがさす先の配列情報を（ポインタ型経由で）取得できない話（例：sizeof(p)!=10）を混同されています。

[yohhoy]

修正後も個人的には賛同できない箇所が多々あります。とりあえず http://www.kouno.jp/home/c_faq/c6.html を参照くださいませ。

[KSwordOfHaste]

ご指摘ありがとうございます。よく見直すと確かに誤解を招きそうな表現がありました。自分はC,Javaのメカニズムについてはよく理解しているつもりなのですが表現が下手なのは認めざるを得ません。見た人が誤解を招く表現を無くすために可能な限り訂正します。

Answer 4

配列の宣言・確保まで行うと
byte,short,int,longには0
float,doubleには0.0
char には\u0000(0)がそれぞれ入りますが
最後の一つだけという事ではなく全部の添字について入っているし、
その最後の部分が使えないという事はありません