java equalsの動き

Question

Javaのequalsついて質問があります。勉強始めたてです。
==は同一性、equalsはオーバーライドを前提とした同値性を調べるものと認識しています。
しかし、
String a1 = "abc";
String a2 = new String("abc");
System.out.println(a1 == a2); →false
System.out.println(a1.equals(a2); →true
といった実行結果になります。
equalsをオーバーライドしていないと同一性を確かめるメソッドだと思いますが、
なぜオーバーライドしていないのに a1.equals(a2)はtrueが返ってくるのでしょうか。

インスタンスを対象として同じ様なことをすると、
例えばnameというフィールドで同じ値を持った２つのインスタンスで調べても、
== でも equalsでも両方ともfalseと返ってきます。
Stringをequalsで比較する際には何か違いがあるのでしょうか。

Comments

[shiketa]

> インスタンスを対象として同じ様なことをすると、

a1もa2もString型のインスタタンス。なので、ここから先は、ちょっと意味がわからない。具体的なソースの提示を。

Answer 1

なぜオーバーライドしていないのに a1.equals(a2)はtrueが返ってくるのでしょうか。

a1, a2の型はなんですか?

そう。あなたが書いたとおり、java.lang.String型。java.lang.Stringクラスは、equalsメソッドをオーバーライドし、実装している。だから。

• https://github.com/eclipse-openj9/openj9/blob/master/jcl/src/java.base/share/classes/java/lang/String.java#L1674

public final class String implements Serializable, Comparable<String>, CharSequence
    ....
    public boolean equals(Object object) {
		if (object == this) {
			return true;
            ...

Comments

[nyn1130]

コメントありがとうございます。
なるほど。java.lang.Stringクラスはequalsメソッドをオーバーライドしていたのですね。
とてもスッキリしました！
一つ成長出来ました。ありがとうございます。

[YT0014]

「成長」したいのでしたら、疑問を感じたら正確な仕様を確認する、という習慣をつけましょう。
この質問も、公式ドキュメント https://docs.oracle.com/javase/jp/8/docs/api/java/lang/String.html#equals-java.lang.Object- に、オーバーライドされていることが明記されています。

[shiketa]

回答のリンク先をちょとずらしました。
公式ドキュメント(JavaDoc)は、ソースファイルのコメントから生成されています(もちろん英語版)。参考まで。