一番かんたんなJava入門

これからJavaを始めようという人の為の超入門サイトです。丁寧、簡単にこだわった解説なので初心者にぴったりです。

【Java】 基本データ型 と 参照型 の違い

time 2013/07/31

sponsored link

参照型の反対は?

 初心者にとってちょっと難しい参照型変数というものの解説をします。
 変数には参照型以外に何型がありますでしょうか?
 参照型の他には値型があります。分類としてはその二つだけです。値型に分類されるのは基本データ型変数だけです。なので、基本データ型以外の変数は、全て参照型変数であると言った方が分かりやすいかも知れません。
 では、基本データ型と参照型は何がどう違うのか?それが分かれば参照型変数の仕組みは簡単に理解できるので、まずは基本データ型変数の仕組みを説明したいと思います。

基本データ型変数のメモリ使用領域

基本データ型変数というのは、

boolean 1bit
byte 8bit
char 16bit
short 16bit
int 32bit
float 32bit
long 64bit
double 64bit

の8つです。それぞれの詳細は基本データ型変数についてを見てもらうとして、注目は上記のbit数です。これは何を表しているのかというと、それぞれの変数がどれだけのメモリ領域を消費するかです。1bitというのは2進数1桁ということです。例えばboolean型の変数というのはtrueかfalseのどちらかなので、情報量としては1bitで事足りるわけです(0か1のどちらか)。変数をよく箱に例えますが、そのノリで行くとbit数は箱の大きさを表していると言えます。
 変数を使う時にはまず宣言をします。

int a;

 この時点で、Java仮想マシンは、メモリ上に32bitの「a」という領域を確保します。

int a;
a = 5;

 続いて「a」に5を代入しました。これは、先ほど確保したメモリ上の「a」という領域に5という値を保持させたんです。コンピュータは全て0か1の2進数で処理していますので、5なんていう数字を知りません。なのでメモリ内では5も2進数として処理されます。5を2進数で表すと何になりますか?2の2乗+1だから101ですね。101ということは2進数3桁です。2進数3桁ということは3bitで事足りますね。「a」はint型の変数なので32bitのメモリ領域を確保したのに、3bitしか使わなかったから、29bit余りましたね・・、ってそうじゃないんです!
 int型の変数32bit分の領域を確保した以上は、たった2進数3桁で表わせる5であろうとも32bitをフルに使って保持します。5なら、101の前に0を29個つければ情報量としては32bitになりますよね。誰も0の数を数えてはくれないと思いますが、一応書きますと、
00000000000000000000000000000101
↑これで、5を表す32bit(2進数32桁)の情報です。
 このようにint型の箱の中に入るのはどんな値であろうとも32bitなんです。それ以上でもそれ以下でもなく2進数32桁きっちりです。その代わり、-2の31乗から2の31乗-1までの値しか入りません。それ以上絶対値が大きい数値を入れるには32桁では足らないからです。
 つまり、何が言いたいのかというと、基本データ型の変数というのは、型によってその大きさ(bit数)がきっちり過不足無く決まっているということです。ということは、変数を宣言した時点でメモリ内のその変数の使用領域を過不足なく確保できるわけです。その決まった領域内に(その型の範囲内の値ならば)どんな値でも保持することができるんです。
 もちろんint型に限らず基本データ型の変数はbit数こそ違えど、仕組みは全く同じです。

参照型変数とは?

 では、参照型というのはどういうことなのか?参照型変数である配列変数を使って説明しますので、以下の配列変数の宣言と初期化の例を見て下さい。

int[] a;               //①
a = new int[]{1,2,3};  //②

①int型の配列変数aを宣言。
②int型配列{1,2,3}作って、aに代入。
 配列変数も、まず宣言する必要があります。基本データ型変数を宣言した場合は上述したようにその型が必要とするスペースをメモリ内に(名前をつけて)確保しました。必要なスペースというのはintなら32bit、doubleなら64bitです。その桁数に収まる範囲で後から実際に値を入れることができます(範囲外の値を入れるとコンパイルエラー)。
 それを踏まえて、配列変数を宣言したらメモリ上でどういう処理が行われるか考えてみて下さい。基本データ型と違って配列の場合、代入されるまでそこにどんな配列が入るのか分かりません。{1,2,3}(32×3bit)が代入されるかも知れないし、{1,2,3,4,5,6,7,8,9,10}(32×10bit)が代入されるかも知れません。とりあえず配列を入れるスペースとして512bitほど確保しておいて余ったら返そうとか、もし入りきらないようなら後から付けたそうとか、そういう処理はできません。一度、メモリ内でその変数が使うスペースを確保したら、それを後から大きさを変えたりすることはできないようになっています。・・ということは、配列変数を宣言した際、メモリ内ではどんな大きさのスペース(bit数)をその配列変数の為に確保すればいいのか分からないですよね。
 この問題を解決するのが「参照」というやつです。
 配列変数aには、{1,2,3}が代入されるわけではないのです。{1,2,3}はメモリ内のどこか違う場所に作られます。その作られた『{1,2,3}のある場所』を示すコードが「1234567」だったとすると、配列変数aには{1,2,3}ではなくその場所を示す「1234567」が代入されるわけです。これなら、どんなサイズの配列を作ったとしても、配列変数aに代入されるのはただの場所を示すコードなので、配列の長さ(bit数)は関係ありません。配列が長すぎて(情報量が大きすぎて)配列変数aに入りきらないということはありません。そして配列変数を宣言した際に確保するべきは、場所を示すコードが納まるスペースでいいので、そのスペースをきっちり過不足なく確保することができます。ちなみに場所を示すコードはおそらく16進数7桁で表わされる(配列変数aをprintメソッドの引数に渡して出力すると見れます)ようなので、2の4乗の7乗bitが、配列変数の為に確保されるスペースなんだと思います。推測です。。(サイズが大きすぎるのでおそらく誤りです。コメントいただいた方、ありがとうございます。)
 このように、値(配列)そのものを保持するのではなく、メモリ内のその値(配列)が置いてある場所を示すコードを保持している変数を、参照型変数と言うんです。場所を示すコードのことを参照値と言います。

値の代入と参照値の代入

 以上を踏まえて、問題です。
以下のプログラムで一体何が出力されるでしょうか?これは参照型変数と基本データ型変数の大きな違いが分かるプログラムです。ゆっくり一行ずつ理解していけば全然難しくはないので、何が出力されるか自分で考えてみてください。

Test.java

public class Test{
     public static void main(String[] args){
          /*問1*/
          int[] a = new int[]{1,2,3};//①
          int[] b = a;               //②  
          b[0] = 5;                  //③
          System.out.println(a[0]);

          /*問2*/
          int c = 1;                 //④
          int d = c;                 //⑤
          d = 5;                     //⑥
          System.out.println(c);
     }
}

問1
①int配列aを宣言、要素は1,2,3。
②int配列bを宣言、そこに配列変数aを代入。(ここがポイント!配列変数aには何が入っていたんでしたか?)
③b[0]に5を代入。
 さて、a[0]の値は何でしょうか??

問2
④int変数cを宣言し、そこに1を代入。
⑤int変数dを宣言し、そこにcを代入。
⑥dに5を代入。
 さて、cの値は何でしょうか??

 分かりますでしょうか?本気で考えてみて下さい。参照型変数の仕組みを理解している人は、この問題が簡単に解けると思います。答えはこちら↓








scores2

 aの参照値をbに代入するということは、aとbが同じ参照値を持つことになり、aもbも同じ実体(配列)を参照する状態になります。実体(配列)はあくまで一つしかないんです。つまり、a[0]とb[0]は全く同じものを指しているわけです。
 基本データ型の場合は、それぞれの箱の中にそれぞれの値が入っているだけです。箱の中身が実体なので箱の数だけ実体があるということになります。

オブジェクトと参照型

 参照型に分類されるのは、上述の配列変数ともう一つ、クラス型変数があります。クラス型変数というのはすなわちオブジェクトを保持する変数です。
 配列変数に配列そのものではなくその参照値(その配列の場所を示すコード)が入っているように、クラス型変数には、オブジェクトそのものが入っているのではなくその参照値(そのオブジェクトの場所を示すコード)が入っています。
 おそらく一番よく使われるクラス型変数Stringを例に見てみましょう。

String s = "あいうえお";

 Stringオブジェクトの作り方はちょっと特殊なので、細かい説明はそもそもStringって何?に譲るとして、上記はString変数sに”あいうえお”を代入しています。これで、変数sは文字列”あいうえお”を保持するStringオブジェクトを参照するようになります。
 Stringクラスは、ご存じのように文字列を保持することができるのですが、基本的にその文字列を書き換えることはできないようになっています。
 はぁ?書き換えることができない?
 いやいやいやいや、簡単に書き換えられるよ。

String s = "あいうえお";
s = "かきくけこ";

 ほら。sの中身は”かきくけこ”に変わったやん。
 と思っているのは残念ながら素人です。。

s = "かきくけこ";

 これは実は、”かきくけこ”という文字列を保持したオブジェクトを新たに作ってその参照値をsに代入しているだけです(つまりこの時点でStringオブジェクトは2つ存在)。その前に作った”あいうえお”オブジェクトはなんら変化していません。sの参照先が”あいうえお”オブジェクトから”かきくけこ”オブジェクトに変わっただけです。つまり、変数s(オブジェクトへの参照値)が書き換えられただけで、それぞれのStringオブジェクトが持つ文字列自体を書き換えたわけではないのです。

equals( )と、比較演算子「==」

 Stringクラスで定義されているインスタンスメソッドの一つに、equals( )というのがあります。equalsメソッドは、その名の通り、文字列が等しいかどうかを判定するメソッドです。等しいかどうかを判定すると言えば、比較演算子の「==」がありますよね。equalsメソッドと、比較演算子「==」の働きの違いが分かると、参照型というものの理解がより深まると思うので、ちょっとご紹介。

public boolean equals(Object anObject)

 このequalsメソッドは元々はStringクラスのメソッドではなくObjectクラスで定義されているもので、それをStringクラスでオーバーライド(上書きみたいなこと)することによって再定義しています。

String s = "あいうえお";
String t = "あいうえお";
boolean b = s.equals(t);

 そのStringインスタンスが保持する文字列と、引数に渡した文字列が全く同じ文字列ならば、戻り値としてtrueを返し、同じでなかったらfalseを返します。ちなみに上記では、sが保持している文字列も、引数に渡されたtが保持する文字列も、全く同じ”あいうえお”なのでtrueを返し、bにはtrueが入ります。
 では、こちらをご覧下さい。

String s = "あいうえお";
String t = "あいうえお";
boolean b = (s == t);

 比較演算子の「==」です。sとtが同じならばtrueを返します。さて、bにはtrueが入るでしょうか?falseが入るでしょうか?
 答えは、falseです。両方とも”あいうえお”じゃないか!と怒った人は残念ながら素人です。[追記]すみません。素人は私でした。。理解を深める為にも以下の間違ったままの文章を載せておきます。ぜひ何がどう間違っているか理解して下さい。

 この「==」は何を比べているかと言うと、それぞれの変数の中に入っている値です。String変数には何が入っているんでしたか?クラス型変数には何が入っているんでしたか?そのオブジェクトの場所を示す参照値です。何度も言うようですが、変数sの中に”あいうえお”が入っているのではありません。変数sの中に入っているのは、”あいうえお”の置き場所を示すコードです。そして、sが参照する”あいうえお”とtが参照する”あいうえお”は同じ文字列ではありますが、決して同じオブジェクトではありません。

String s = "あいうえお";
String t = "あいうえお";

 これは、それぞれ別のオブジェクトを作って、その参照をそれぞれのString変数(sとt)に代入しています。保持する文字列は同じですが、同じオブジェクトを参照しているわけではありません。ということは、参照値もそれぞれ違って当然ですね。だから、

String s = "あいうえお";
String t = "あいうえお";
boolean b = (s == t);

 変数sに入っている参照値と、変数tに入っている参照値を比べた結果、falseが返されてbにはfalseが入ります。つまりこの「==」の場合、そのインスタンスが保持する文字列は一切関係ないということです。

 言い訳じゃありませんが、考え方自体は間違ってはいません。ただ、同じ文字列を再度作る場合、先に作ってあるオブジェクトを自動的に再利用するということみたいです。
 この場合、2回目の”あいうえお”の時点で、新たに”あいうえお”オブジェクトを作るのではなく、”あいうえお”ならここにあるよってことで、先に作った”あいうえお”オブジェクトの参照値をtに代入しているわけです。なのでsもtも同じオブジェクトを参照していることになります。つまりsとtは同じ参照値を持つので、bにはtrueが入ります。

 間違った情報を載せてしまい申し訳ないです。コメント欄にて指摘していただいたジェイさんありがとうございました。

 

 では、もう一つ。

String s = "あいうえお";
String t = s;
boolean b = (s == t);

 今度は、String tにsを代入しています。これは一体、何を代入しているのか?それはやはり参照値です。これでtとsは同じ参照値を持つことになります。言い方を変えると、sとtは同じオブジェクトを参照しているということになります。
 この場合、bには何が入るでしょうか?
 答えはtrueです。sとtの中身は全く同じ参照値が入っているので、「==」で比べた結果、trueになります。もちろん同じオブジェクトを参照しているので保持している文字列も等しいことになります。
 equalsメソッドと、「==」の違いが分かりましたでしょうか?
 もし、String変数が保持する文字列が等しいかどうかを比べたかったら、「==」ではなく、equalsメソッドを使わないとダメだということです。ここは初心者が間違いやすいところだと思いますので気をつけてください。

まとめ

 基本データ型変数の中に入っているのは、値そのものです。値というのは整数や小数や文字(char)やtrue(boolean)などのことです。
 それに対して、参照型変数の中に入っているのは、その変数が保持しているオブジェクト(あるいは配列)の存在場所を示す参照値です。

sponsored link

Androidアプリを作ろう

コメント

  • こんにちは。
    Javaの勉強を初めて2ヶ月の初心者です。

    Stringクラスについて調べていた所、こちらのサイトに辿り着きました。
    そしてこのページの.equals()と、「==」の違いの項目で
    String s = “あいうえお”;
    String t = “あいうえお”;
    boolean b = (s == t);

    上記の結果はfalseとなるという解説を見た後に、自分で書いて試してみました。
    String s=”あいうえお”;
    String t=”あいうえお”;
    boolean b=(s==t);

    if(b){
    System.out.print(“true”);
    }else{
    System.out.print(“false”);
    }
    この結果がtrueになりました。
    .equals();で試してもtrueとなりました。

    この後、さらにネットで調べたら
    「sの為に”あいうえお”というインスタンスが作られるが、
    tに代入されるのはsに使われたインスタンスが再利用される」と書かれていました。

    もしnew演算子をわざわざ書いてあげた場合
    String s = new String(“あいうえお”);
    String t = new String(“あいうえお”);
    この場合は違うインスタンスをそれぞれ生成するので
    ==で比較するとfalseになるとのことでした。
    こちらは試した所、結果はfalseになりました。

    解説と答えが違ってしまいましたので気になってしまいました。
    お手数ですが、ご確認頂けますか?

    by ジェイ €2014/05/10 10:38

  • むむむ。
    本当ですね。確かめて書いたつもりだったのですが、どうやらインスタンスを再利用しているみたいですね。
    混乱させて申し訳ないです。そして教えていただけてありがとうございます。すぐに修正します。
    ちなみに、インスタンスを再利用するという件をどこでお調べになったのか教えていただけませんでしょうか?

    それにしても、Stringオブジェクトを作る度にいちいち同じ文字列を既に作ってあるかを毎回調べているとなると、ものすごい無駄が多いですね。同じのがあろうかなかろうか新たに作ってしまう方が絶対速いと思うけど、限りあるメモリを無駄に使わない為の工夫なのか・・。
    ほんと、ありがとう&ごめんなさいでした。

    by Nobuo@管理人 €2014/05/11 00:40

  • お力になれたようで良かったです。
    インスタンスを再利用するという情報は質問サイトの回答であったもので
    ttp://oshiete.goo.ne.jp/qa/4559410.html
    上記のベストアンサーに選ばれている方の説明の中に簡単に記述されています。

    by ジェイ €2014/05/13 22:37

  • 配列の復習をするのにこのページが役立ちました。ありがとうございます。
    特に、間違いの文章をそのまま残してくれていたところがとても良かったです。
    私の知識も間違ったままのことに気付かされました。

    by mitsuru €2014/09/15 00:02

  • >特に、間違いの文章をそのまま残してくれていたところがとても良かったです。
    こんなサイトうちぐらいですね。w

    お役に立てて良かったです。またのお越しを。

    by Nobuo@管理人 €2014/09/15 23:32

  • […] 基本データ型 と 参照型 の違い […]

    by javaの値と参照,equals()と==演算子 | KentaKomai Blog €2014/10/27 03:23

  • おかげで配列変数の参照型が理解できました。
    メモリ確保の中身がどうなってるかを解説してるのも凄く分かりやすかったです。
    ありがとうございます。

    by バーニー €2015/08/23 15:20

  • 勉強になりました,ありがとうございました.

    by まったりミカン €2015/08/29 14:09

  • Rubyを4年使ってからのJava習得中の者です。
    Rubyでも何気なく変数を使っていましたが
    たまにオブジェクトを変数に代入をするとオブジェクトIDが一緒のまま
    のものがあるなぁとは思っていましたが
    Javaのリファレンス本で参照型のことを知り
    こちらのサイトにたどり着きました。

    とてもわかりやすく今までの謎が解け目から鱗でした!
    ありがとうございます。

    by るby €2016/01/07 10:47

  • 失礼します。このサイトを見て1つ思ったのですが、
    参照型変数の領域が2の4乗の7乗bit=248435456bit=32MBもあるはずは絶対にありません。
    2*4*7bit=56bit、あるいはメモリ境界を考慮して64bitといったところではないでしょうか。

    by シュウ €2016/06/25 16:37

down

コメントする



CAPTCHA


一番かんたんなJava入門

Androidアプリの作り方

忘備録

私の作ったAndroidアプリ

私の作ったWordPressテーマ

プロに教わるオンライン学習

管理人

Nobuo_CREATE

Nobuo_CREATE

WordPressテーマPrinciple、マテリアルを作ったり、Androidアプリを作ったり、Java入門サイトを作ったり、本を書いたりしています。どうぞよろしく。 [詳細]



sponsored link

オススメ書籍

[オススメpoint]

 この本は全く何も分からない初心者の方にお勧めです。プログラミングをするには覚えなければならない事が無茶苦茶いっぱいありますが、この本は教えてくれる順番、その構成が素晴らしいです。RPGのゲームを作るというストーリーにのっとってちょっとずつ難しいことを教えてもらえます。
 無機質で膨大なデータが載っているような本は読む気にならないという方は、こういうストーリー仕立ての本でチャレンジしてみてはいかがでしょうか?(注:RPGを作る為の本ではありません。)

[オススメpoint]

 ある程度、Javaを読み書きできるようになったら、オブジェクト指向について学ぶべきです。本書は、抽象的で分かったような分からんようなオブジェクト指向について、非常に分かりやすい例を出して説明してくれています。オブジェクト指向とは何なのか?という本質を掴むのにこれほど適した本はないと思います。オブジェクト志向の理念を理解できれば、より効率のいいコードをより楽に書けるようになるはずです。Java上級者を目指すなら必読の一冊!

只今、急拡大中

ゲームを作りたい人専門

個人フットサル予約サイト

ガチ専門

JavaからのRuby on Rails入門

JavaからのRuby on Rails入門