編集履歴

回答編集履歴

補足説明を追記しました。

2016/09/21 11:50

投稿

スコア0

test CHANGED Viewed

@@ -97,3 +97,235 @@
 ```
+###参照について(追記)
+Q. 参照型変数とプリミティブ型変数の違いはなんですか?
+A. 変数は次の種類があります。
+・プリミティヴ型変数（値そのものが格納される変数）
+・参照型変数（配列とオブジェクトを参照する。参照型変数の中身はint型の値）
+・型変数（ジェネリクスで使用する。議論の対象外なので説明を省略します）
+参照型変数に格納する整数値は、ヒープ領域に格納されたオブジェクトの本体を指すために使う。
+ヒープ領域は大きなメモリ領域で、その中に自由にオブジェクトを割り当てて使える。
+Q. 参照型変数の中身を見ることが来ますか？
+A. System.identityHashCode(); を使うと見ることができます。2つの参照型変数の値が同じなら、同じオブジェクトを指します。
+**参照がnullの場合**
+```Java
+int[] a = null;
+int hash = System.identityHashCode(a);
+System.out.println(hash);
+```
+a はnull。参照がないので 0 が表示されます。
+**参照に配列を割り当てる**
+```Java
+a = new int[] {1,2,3,4,5,6};
+hash = System.identityHashCode(a);
+System.out.println(hash);
+```
+配列をnew すると、ヒープに int型 6 個分の領域を割り当てる。
+割り当てたint型 6 個を、それぞれ、1, 2, 3, 4, 5, 6 に初期化する。
+ヒープの配列への参照値(数値)を参照型変数 a に代入する。
+a (nnnnnnn)   ———>   　配列の本体 | 1 2 3 4 5 6  |
+**別の参照に参照を代入する**
+```Java
+int[] b = null;
+b = a;
+hash = System.identityHashCode(b);
+System.out.println(hash);
+```
+b には a の参照値(nnnnnnn)が代入される。
+代入によって b が a そのものを指すわけではない。（重要）
+a と b は何の関係もなく、それぞれがヒープの同じ配列を指しているだけ。
+**参照を比較する**
+```Java
+boolean isSame = a == b;
+System.out.println(isSame);
+isSame = System.identityHashCode(a) == System.identityHashCode(b);
+System.out.println(isSame);
+```
+a == b は実は、参照値(nnnnnnn)を整数比較しているだけ。
+###メソッドの引数の有効範囲(追記)
+**プリミティヴ型 k が引数の場合**
+```Java
+static void change(int k) {
+    k = 7;
+}
+```
+メソッドが呼ばれると、ローカル変数 k がとられる。(k は実引数とはなんの関係もない)
+k に実引数の値 10 がコピーされる。
+k に 7 を代入する。
+メソッド退出時に k を破棄する。このメソッドは何も有意義なことはしない。
+**参照型 x2[] が引数の場合**
+```Java
+static void change1(int[] x2) {
+    x2[0] = 100;
+}
+```
+メソッドが呼ばれると、ローカル変数 x2 がとられる。(x2 は実引数とはなんの関係もない)
+x2 に実引数の参照値(nnnnnn)がコピーされる。
+参照値が参照する配列の本体の要素0の値は 6。要素0の値を 100 に置き換える。
+メソッド退出時に x2 を破棄する。
+x2 は破棄されるが、ヒープの配列の本体は変更されたまま。このメソッドは有意義なことをしている。
+**参照型 x[] が引数の場合**
+```Java
+static void change1(int[] x) {
+    x = new int[] {11,12,13,14,15};
+}
+```
+メソッドが呼ばれると、ローカル変数 x がとられる。(x は実引数とはなんの関係もない)
+x に実引数の参照値(nnnnnn)がコピーされる。
+配列をnew する。ヒープに int型 5 個分の領域を割り当てる。
+割り当てたint型 5 個を、それぞれ、11, 12, 13, 14, 15 に初期化する。
+ヒープの配列への参照値(mmmmmm)を参照型変数 x に代入する。
+今や x の参照値は、別の配列を指すようになった。
+メソッド退出時に x を破棄する。
+参照値(mmmmmm)が指す配列の本体を誰も参照しないので、GCの対象になる。
+このメソッドは何も有意義なことはしない。
+**参照型 x[] が引数で勝つ返り値に参照を返す場合**
+```Java
+static int[] change3(int[] x) {
+    return new int[] {11,12,13,14,15};
+}
+```
+メソッドが呼ばれると、ローカル変数 x がとられる。(x は実引数とはなんの関係もない)
+x に実引数の参照値(nnnnnn)がコピーされる。
+しかし x を使わずに、新たな配列を生成して、その参照をメソッドの返り値として返す。
+配列をnew する。ヒープに int型 5 個分の領域を割り当てる。
+割り当てたint型 5 個を、それぞれ、11, 12, 13, 14, 15 に初期化する。
+ヒープの配列への参照値(mmmmmm)を返り値として返す。
+メソッド退出時に x を破棄する。
+メソッドの返り値を実引数 x に代入すれば、x の配列が丸ごと入れ替わる。
+このメソッドは値を返すことで有意義なことをしている。
+説明は以上です。質問は受け付けます。気軽にどうぞ。