参照に関連した出題：３問目（SJC-P対策無料問題集）

参照に関連した出題：３問目

【３問目・問題】
以下のようなコードがあります（開始から終了までの部分）。


//開始
class Test{
   public static void main( String argv[ ] ){
      Card c1 = new Card();
      Card c2 = c1;
      c1.deposit = 1000;
      c2.deposit = 2000;
      Bank.useCard( c1 );
      Bank.useCard( c2 );
      /* Ａ */
   }
}

class Card{ int deposit; }

class Bank{
   public static void useCard( Card c ){ c.deposit -= 500; }
}
//終了

このコードを実行したとき、コード中のＡの時点において
c1.deposit と c2.deposit の関係はどうなっていますか。

a.  c1.deposit < c2.deposit

b.  c1.deposit > c2.deposit

c.  c1.deposit == c2.deposit

d.  コンパイルエラーとなる。

e.  実行時エラーとなる。

f.  いずれの選択肢にも該当しない。

参照の問題３（解答）

c.  c1.deposit == c2.deposit

参照の問題３（解説）

今回は参照についての問題です。
参照についてはSJC-P対策Java用語集でも説明しているので参考にして下さいね。
SJC-P対策Java用語集：参照

ところで、この問題文中のコードで Card のインスタンスはいくつ生成されているでしょうか。
これが正しく理解できていれば、最後までコードを見なくても正しい解答を選ぶこと ができます。

まずは順を追ってコードを見てみましょう。

最初に

      Card c1 = new Card();

の new Card( ) という処理によって、Card クラスのインスタンスが生成されています。
また、new Card( ) は処理結果として生成されたインスタンスへの参照を返すので、その参照が 参照変数である c1 に格納されています。

次に

      Card c2 = c1;

という処理では、 c1 に格納されている値（＝参照）を c2 にコピーしています。
ここで行われているのは参照のコピーだけであり、新しくインスタンスは生成されていません。
この状態を図示すると以下のようになります。

その後、 c1、 c2 を通じてフィールドを設定している様子を連続して見てみます。

      c1.deposit = 1000;

      c2.deposit = 2000;

c1、 c2 は同一のインスタンスを指し示しているため、c1 、 c2 を通じて行った操作が 同じインスタンスに作用している様子が分かると思います。
その後、メソッドの引数として c1、 c2 を渡していますが、ここでも参照のコピーが行われる だけで、新たなインスタンスの生成は発生しません。
処理の様子を見てみます。

      Bank.useCard( c1 );

            ↓

   public static void useCard( Card c ){
      c.deposit -= 500;
   }

上記のコードにおいては、まず引数として渡された c1 が c にコピーされます。

続いて、 c を通じてフィールドの操作をしています。

      Bank.useCard( c1 );

            ↓

   public static void useCard( Card c ){
      c.deposit -= 500;
   }

そして useCard メソッドの処理を抜けると c は破棄されます。

次の

      Bank.useCard( c2 );

            ↓

   public static void useCard( Card c ){
      c.deposit -= 500;
   }

についても流れはまったく同様です。
最初に c2 が c にコピーされて、 c を通じて deposit の操作を行っています。

      Bank.useCard( c2 );

            ↓

   public static void useCard( Card c ){
      c.deposit -= 500;
   }

      Bank.useCard( c2 );

            ↓

   public static void useCard( Card c ){
      c.deposit -= 500;
   }

メソッドを抜けてしまえばローカル変数である c は破棄されます。

さて、これでコード中のＡに達するわけですが、c1.deposit と c2.deposit の関係は もうお分かりですね。
両方とも同じインスタンスを参照しているわけですから、フィールドの値も当然同じに なります。
そのため、解答は c となります。

念のため、Ａの部分でフィールドの内容を出力してみましょう。

//開始
class Test{
   public static void main( String argv[ ] ){
      Card c1 = new Card();
      Card c2 = c1;
      c1.deposit = 1000;
      c2.deposit = 2000;
      Bank.useCard( c1 );
      Bank.useCard( c2 );
      /* Ａ */
      System.out.println( "c1.deposit == " + c1.deposit );
      System.out.println( "c2.deposit == " + c2.deposit );
   }
}

class Card{ int deposit; }

class Bank{
   public static void useCard( Card c ){ c.deposit -= 500; }
}
//終了

>javac Test.java

>java Test
d1.deposit == 1000
d2.deposit == 1000

当然のことながら、同じ値が出力されます。

関連ページ：SJC-P対策Java用語集・参照