[Java]同じ？違う？

Question

いつもこちらでお世話になっています。

文字列の扱いについて質問です。

String str1 = "hoge";
String str2 = "hoge";
String str3 = new String("hoge");

System.out.println( str1 == str2 );
System.out.println( str2 == str3 );
System.out.println( str1.equals( str3 ) );

上記のように、文字列を３つ用意し、それぞれを比較した結果を出力するプログラムがあります。

「"～"で囲われた文字列は、常にnew String()されて生成される」
という認識だったので、出力結果は

false
false
true

だと思っていたのですが、実際は

true
false
true

でした。

str3は明らかに違うというのは分かるのですが、
str1とstr2は別のインスタンスではなく、同一インスタンスになるのですか？
メカニズム等分かる方、教えてください！

Answer 1

string interingというメカニズムのようです。
https://en.wikipedia.org/wiki/String_interning

以下のリンクにその説明がありますが、
http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html

Compile-time constant expressions of type String are always "interned" so as to share unique instances, using the method String.intern.

コンパイル時にconstant（この場合、リテラルのことでしょうか？）として宣言されたStringインスタンスは全てinternという仕組みに登録され、
共有されるようです。

Comments

[kaputaros]

なるほど！プールですね！！
遠い昔に勉強したので、すっかり存在を忘れていました^^;
ありがとうございました！

[KiyoshiMotoki]

kaputaros様、コメントありがとうございます。

普段、何となく「そういうもの」と受け入れている事実も、
改めて調べてみると新たな発見があって面白いですね。

Answer 2

Newを使わない文字列生成は、メモリ節約になります。

String str1 = "hoge";
これが実行されるとメモリ上に"hoge"が生成されます。

String str2 = "hoge";
これを実行するとメモリ上に"hoge"があるので、それへの参照を取得します。

String str3 = new String("hoge");
これを実行すると毎回異なるインスタンスが生成されますね。

これでどうでしょうか。

Comments

[kaputaros]

回答ありがとうございました。

[kaputaros]

回答ありがとうございました。

[kaputaros]

連投になってしまいました、すいません･･･

Answer 3

javaでは(他も？)同じ値の文字列リテラルは再利用されます。
こちらのサイトが参考になるかと

Comments

[kaputaros]

回答ありがとうございました。

Answer 4

javaでStringは特殊な位置づけです。クラスなのにnew String()書かなくても動きますし特殊です。
オブジェクトなので参照型になりますが、動作的には基本型と結果が一致します。
内部挙動はともかくStringの挙動は基本型(intなど)と覚えると間違えません。

Comments

[kaputaros]

回答ありがとうございます。
特殊なのは認識しております。
内部挙動のほうを知りたかったのですが。。。('･_･`)

プリミティブ型と一緒と覚えると、比較するときなどに混乱が生じる気がします。
あくまで、Stringは参照型ですよね？

Answer 5

str1 と str2 ともに同じ文字列"hoge"です。
この場合、str1・str2 ともに同一のアドレスを指します。
その為、str1 == str2 は true になります。

この認識であってると思いますが

Comments

[kaputaros]

回答ありがとうございました。
説明がわるかったのですが、どうして同じになるかが知りたかったです。