＜Java＞Java Silver黒本の問題です。Stringの参照値の切り替わりについて

Java Silver黒本の問題です。以下コード↓↓↓

public class Sample {
public static void main(String[] args) {
String str = "apple";
String[] array = {"a","p","p","l","e"};
String result = "";
for(String val : array) {
result = result + val;
}
boolean a = str == result;
boolean b = str.equals(result);
System.out.println(a + ":" + b);
}
}

こちらのコードを実行した結果はどうなるのか？という問題なのですが、
その解答は false : true　です。

大枠としては納得できるしこの問題の意図も理解できるのですが、この解答に一つ違和感があります。

resultにvalが代入されて行く過程で、最終的にresultの値は"apple"という文字列になります。

その時点でstrにもともと定義されていた**"apple"という文字列にresultの参照値が切り替わる可能性があるのではないか？**と私は思いました。

つまり、実行結果は true : true　となる可能性があるので、一概に　false : true　と言い切れるわけではないと思います。

実際のところどうなのでしょうか？ご教授よろしくお願い致します。

追記です。
「resultの参照値が切り替わる可能性がある」については以下のコードを実行した際に思いつきました。↓↓↓

String s = "moji";
String str = "moji";
System.out.println(str == s); //true

上記のコードのように同一の文字列"moji"をstrに代入した場合は"moji"のインスタンスが新たに生成され、sとstrの参照値が異なるものになるのではないか？と思ったのですが結果はtrueとなり、別々に生成したものなのに参照値が同じであることに気づいたからです。

m.ts10806

2019/11/21 02:24

>resultの参照値が切り替わる可能性があるこれはどういう理屈でそういう可能性を思い立ったのか、具体的に記載していただけますか？

m.ts10806

2019/11/21 02:26 編集

そもそも文字列はequalsで比較しようねというだけの単純な例題に思うのですが

maisumakun

2019/11/21 02:37 編集

Pythonなど、「同じ表記の文字列は自動でインターンされて、参照値まで一致する（ことがある）」という言語環境も存在します。

cateye

2019/11/21 02:29

〉"apple"という文字列にresultの参照値が切り替わる可能性があるのではないか？と私は思いました。（strとresultは別変数なのに）何故そう思われたのでしょう？

行動規範の内容に同意します

回答2件

ベストアンサー

その時点でstrにもともと定義されていた"apple"という文字列にresultの参照値が切り替わる可能性があるのではないか？

Oracleのリファレンスを読むと、文字列連結の結果は新たに生成されたStringオブジェクトになることになっています。既存のオブジェクトを使い回すことはありません。

文字列連結はStringBuilder (またはStringBuffer)クラスとそのappendメソッドを使って実装されています。（String）

このシーケンス内のデータを表す文字列を返します。新しいStringオブジェクトが割り当てられ、現在このオブジェクトで表されている文字シーケンスを含むように初期化されます。（StringBuilder#toString）

もっとも、「Stringのインスタンスが同じか違うか」を気にしないといけないコードは、それ自体が適切ではないので、実用的には考える必要はないかと思います。

投稿2019/11/21 02:27

maisumakun

総合スコア145973

kytm

2019/11/21 03:06

なるほど、「文字列連結の結果は新たに生成されたStringオブジェクトになる」からなのですね。解決しました、ありがとうございます。

行動規範の内容に同意します

自動で切り替わることはないと思いますよ。
不変オブジェクトであればメモリ効率のため、おなじオブジェクトは同じ参照になったら
良いなぁと思うかもしれませんが（いずれにせよ、メモリ効率の話で＝＝で比較することはないと思います）

で、自動でなく手動で切り替えることは可能かといえば可能です。
String#intern()で、同じオブジェクトを参照します。

Stringでいうと、newでなくstr = "apple"という構文が、それです。
以下の場合、ｃはtrueになります。し、new String("apple")で初期化したら、falseになります。

java
1String str2 = "apple";
2result = result.intern();
3boolean a = str == result;
4boolean b = str.equals(result);
5boolean c = str == str2;
6System.out.println(a + ":" + b + ":" + c);

ちなみに、このケースを想定しているのであれば、それは言語仕様で決まっているからです。

java
1result = "a" + "p" + "p" + "l" + "e";
2boolean a = str == result;
3boolean b = str.equals(result);
4System.out.println(a + ":" + b);  // true:true