文字列リテラルにおいて、文字列の内容が一致する場合の”＝＝”における真偽について

Question

String s1 = "abc";
String s2 = "abc";
String s3 = "a" + "b" + "c";
String s4 = "ab";
s4 += "c";

この文字列リテラル全てを"=="で比較したところ、s1, s2, s3を比較した場合は、全てtrueだったのに対して、s4を他のs1, s2, s3と比較するとfalseになってしまいました。

s4においても文字列の内容は他のs1, s2, s3と同じであるのに、偽になってしまうのかがわかりません。

"+="を用いると、StringBuilderのappendが内部で呼ばれることはわかっています。
このappendが内部で呼ばれることによって、オブジェクトを参照するアドレスが変わってしまうから偽になってしまうのでしょうか。
また、もしそうであるとしたら、s3では"+"を用いているので、ここでも新しいStringオブジェクトが生成されています。これは、Stringオブジェクトだから文字列リテラルにおいては問題はないということでしょうか。

equalsメソッドを使えば、こんなことを考えなくてもいいことはわかっています。
しかし、わからなくて、もやもやしてます。
お時間のある方、ぜひご教授ください。

Answer 1

文字列リテラルにおいては、同じ文字列を表すオブジェクトを何度も新規生成しなくてすむように、文字列をプールしています。同じ文字列リテラルが代入される場合には、この仕組みにより同じオブジェクトへの参照を帰します。これにより、s1とs2は同じという判定になります。
また、文字列リテラル同士の+演算子連結については、コンパイル時に最適化され、連結せずに一続きのリテラルで書いたのと同じ意味になります。従ってs3も"abc"と書いて代入したのと同じになり、s1,s2と同じになります。
s4はおっしゃるとおり、+演算子により新規のオブジェクトが生成されます。当然これまでのオブジェクトとは異なるものなので、これだけ「違う」という判定になるのです。

Comments

[Velonica]

回答ありがとうございます。
なるほど、コンパイル時にそのような最適化がされていたんですね！

回答において、一つだけ質問があります。
s4においては、新規のオブジェクトが生成されるとありますが、s4は、
文字列リテラルではなく、String s4 = new String("abc");
のようなオブジェクトを生成した時と同じような状態になるということでしょうか？

[swordone]

その通りです。

[Velonica]

なるほど。
Stringクラスは使用者に見えないところですごいことをしてるんですね。
すごく勉強になりました。
ありがとうございました。