Java Silverの問題を教えてください

Question

Java Silverの問題で分からない箇所があるので教えてください。

写真の問題の7行目は、4行目のプール内の文字列str2を参照すると答えに書かれています。7行目はstr1==str3なので3行目と5行目のstr1とstr3を見るのだと思っていました。なぜstr1==str3なのにstr2を参照してるか見るんですか？
また、8行目がどのようになるかも教えてほしいです。

よろしくお願い致します。

解答です。

Comments

[m.ts10806]

Stringの比較が==な時点で結果は見えてると思います。
ただ、実際のコードを書いて実行してみては。
BronzeでもSilverでもGoldでも問題集や参考書読んでるだけでは身に付きませんし、意味ないかと。

[Zuishin]

別の解答を見ているのでは？

[mmmmmm]

見てる解答は合ってます。解答の写真も追加しました。

[Zuishin]

4 行目が終わった時点で str1 と str2 は別の場所を指します。
ただし str2 は定数なので文字列プールに入れられ、次回同じ文字列がリテラルで参照された場合、新しく文字列を作るのではなく、プール内の既存の文字列が返されます。
intern は文字列をプールに入れるメソッドであり、プールの中に既に同じ文字列がある場合にはそれを返します。
ここで str2 が既にあるので、str3 にはプール内の str2 が返され、同じ参照を指します。
== は文字列の値ではなく参照が同じかどうかを判定するもので、この場合 str2 と str3 がプール内の同じものなので true になります。
str1 は new で作ったもので、その参照は自動更新されないため、違うものになります。

[jimbe]

全部解答で解説されているようですが。
「オブジェクトを指す変数」と「オブジェクト自体」とを区別出来る必要があります。

[BeatStar]

解決したのならベストアンサーを決めるか「自己解決」をしてください。

Answer 1

7行目は、4行目のプール内の文字列str2を参照すると答えに書かれています。

それは正確ではありません。『プール内の文字列（str2 が参照している文字列）を参照』です。
5 行目まで実行した結果は(解答の説明によれば)以下のようになります。

矢印が "参照" です。
"==" が "参照先が同じか" を返す時、各変数同士の比較がどうなるのかは読み取れるのでは無いでしょうか。

Answer 2

ハッシュコード値を調べる

System#identityHashcodeを使ってStringオブジェクト本来のハッシュコード値を見ることができます。

  String str1 = new String("Java");
  String str2 = "Java";
  String str3 = str1.intern();
      
  System.out.println("str1 : "+System.identityHashCode(str1));
  System.out.println("str2 : "+System.identityHashCode(str2));
  System.out.println("str3 : "+System.identityHashCode(str3));

文字列リテラルはJVMでintern()されている

文字列リテラルは以下の等式が成り立ちます。

  System.out.println("Java" == "Java");
  System.out.println("Java".intern() == "Java");
  System.out.println("Java" == "Java".intern());

新しくStringオブジェクトを作成する

Stringを生成すると、どれも文字列リテラルとは異なるインスタンスが作成されます。

  System.out.println(new String("Java") == "Java");
  System.out.println(new String(new char[] {'J','a','v','a'}) == "Java");
  System.out.println("      Java    ".trim() == "Java"); 

しかしintern()すれば、文字列リテラルと同じインスタンスになります。出題されているのは１番目のケースです。

  System.out.println(new String("Java").intern() == "Java");
  System.out.println(new String(new char[] {'J','a','v','a'}).intern() == "Java");
  System.out.println("      Java    ".trim().intern() == "Java");

文字列リテラルの結合だけは、コンパイル時に結合されて常に同じインスタンスになります。 この出題はないと思いますが、いかがですか。

  System.out.println(("Ja" + "va") == "Java");
  System.out.println(("Ja" + "va").intern() == "Java"); 

インスタンスが文字列プールに登録されるのはいつか(追記)

最初にインスタンスが文字列プールへ登録されるのはどのタイミングですか。

• 最初にString.intern()したとき
• 最初に文字列リテラルを使ったとき

  String str1 = new String(new char[] {'J','a','v','a'});
  String str3 = str1.intern();
  String str2 = "Java";

このような出題 もないと思います。

Comments

[jimbe]

>System#identityHashcodeを使って参照(32ビットの整数)を見ることができます。

identityHashcode は参照で無くハッシュコード値であって、 Object.hashcode と同じ要件ではないでしょうか。
資格試験の勉強中であれば参照とハッシュコード値は区別出来ていた方が良いように思います。

System.identityHashcode
https://docs.oracle.com/javase/jp/15/docs/api/java.base/java/lang/System.html#identityHashCode(java.lang.Object)
Object.hashcode
https://docs.oracle.com/javase/jp/15/docs/api/java.base/java/lang/Object.html#hashCode()

[xebme]

jimbeさん
>identityHashcode は参照で無くハッシュコード値であって、 Object.hashcode ...
おっしゃるとおり、参照とハッシュコード値は同じではありません。訂正します。
> identityHashcode はObject.hashcode と同じ
おっしゃるとおり。しかし、Object.hashcodeはString.hashcodeでオーバーライドされていて、文字列が同じなら全て同じハッシュコード値になります。internされた時、インスタンスが入れ替わったことを調べるのにidentityHashcodeを使いました。
また、 identityHashcode はハッシュコード値ゆえに理論的にはユニークでない可能性があります。コード例は、実質ユニークとみなして使っています。

[xebme]

文字列プールへの登録タイミングを追記しました。ぜひ調べてみてください。