JAVAのNEW配列生成とガベージコレクション解放

質問

ある本に、IF文内での、JAVAの配列生成で、IF文のブロックを内で生成した配列が、ブロックを抜けた際の挙動が異なると書いてありました。

NEWを使わないで生成した配列では、解放されるが（例　int[] k = {10 , 20 , 30}; ）

NEWを使って生成した配列（例　int[] hoge = new int {3}; ）は
メモリー内に残ってしまうということでしたが、多分その後
ガベージコレクションで解放されると思いますので問題はないのですが
両者とも、メモリー内に作成（用意）された同じような変数の箱を利用しているのに
どうして挙動が異なるのでしょうか？

NEWを使わないで生成した配列kは、例えばk[0]の中にアドレス参照でなく
10という値がそのまま入るのでしょうか？
分かりやすく教えていただけると助かります。
よろしくお願いいたします。

回答No.3

KSOH · ベストアンサー

>newを使わなくても使っても、メモリ上に配列のインスタンスは生成される。

そのとおりです。
Javaではprimitive型(byte,char,short,int,long,float,double)以外の全ての型(参照型といいます。あらゆる配列もこれに当たります。)の実体は例外なく必ずヒープ(newしたオブジェクトのための領域と思ってください)に確保されます。コード上にはnewはでてこないのですが、Javaコンパイラーは実はこのプログラムを下記のように置き換えています。

int[] k = new int[3]
k[0] = 10;
k[1] = 20;
k[2] = 30;

お礼

KSOHさん
コンパイラーの説明で大筋理解出来ました。ありがとうございました。

回答No.2

mpro-gram

補足の「newで確保された要素」の意味に、{1,2,3} も含まれます。
int[] i = {1,2,3};
これと以下は同じ
int[] i = new int[3]; i[0]=1; i[1]=2; i[2]=3;

よって、ブロック内で変数宣言すると
if(true){
int[] i = {1,2,3};
}
ブロックの外で 変数i は呼び出せないが、メモリ上に 配列のインスタンス{1,2,3}は残り続けている。という意味になる。

補足

mpro-gramさん　返答有難うございます。
まとめると
newを使わなくても使っても、メモリ上に配列のインスタンスは生成される。
という意味でしょうか？

回答No.1

Tacosan

どのようなプログラムで比較してどう「違う」と書いてあるのか, 正確な文言をお願いします.

補足

Tacosanさん　回答ありがとうございます

そのページ(ガベージコレクションの説明ページ)では
特に比較はしていなくて、(質問中の例とは少し違いますが)
if (b == true){
int[] i = {1 , 2 , 3};
}
の部分についてのガベージコレクション解放の説明と、それに対してNEWの場合の説明があるのみです。

※int[] hoge = new int {3};　は、別ページに有ったのですがこの質問用に拝借しただけです。

ガベージコレクション解放の説明を詳しく書くと
「ifブロック文を終えた時点で配列変数iはメモリから消滅します。一方、newで確保された要素たちは普通の変数ではありませんので、ブロックが終了しても寿命は消えません。その結果、配列はどの配列変数からもさんしょうされない状態でメモリに残ってしまいます」

と書いてありますです。