`==`は真であるが、 `equals`は偽であるシナリオはありますか？

Question

標準Java APIでは、がtrueを返すシナリオがありますが、equalsはfalseを返します。この

class A { 
    public boolean equals(Object o) { 
     return this != o; 
    } 
} 

が実際にいくつかのオブジェクトbとcのための例どこで焼いいずれかがありますように、理論的に、これはかなり自明ユーザー定義クラスに書き込むことができますが、b == cはtrueが、b.equals(c)戻りfalseを返すのだろうか？さらに、そのような行動をとる可能性はありますか？

Answer 1

いいえ*。

The contract for equals has 5 rules、および最初のものは、このケースを覆う：

ザメソッドがnull以外のオブジェクト参照に同値関係を実装等しい：

• これは再帰である：任意の非ヌル参照用値x、x.equals（x）はtrueを返す必要があります。
• 対称です。null以外の参照値xとyについて、y.equals（x）がtrueを返す場合に限り、x.equals（y）はtrueを返す必要があります。
• 推移的である：x.equals（y）がtrueを返し、y.equals（z）がtrueを返した場合、x.equals（z）はtrueを返す。
• null以外の参照値xおよびyに対して、x.equals（y）の複数の呼び出しは、オブジェクトの等価比較で使用される情報が変更されていない限り、一貫してtrueを返し、常にfalseを返します。
• null以外の参照値xの場合、x.equals（null）はfalseを返す必要があります。

再帰性はバグでは、あなたがAPIでこのようなオブジェクトを発見しない場合は、Oracleにそれを報告する違反するJavaの標準ライブラリ内の任意のオブジェクト。

*サードパーティ製のライブラリではあまり意味がありません。開発者は間違いを犯したり、equals契約を知らない。一般的に、これはサードパーティ製のライブラリのバグとしても機能しますが、YMMVになります。標準のJava APIで

Answer 2

equalsは、x == xではなく!x.equals(x)のように実装することができます。ただし、これを行うとdocumentated behavior of equalsに違反します。有効な実装であれば、このプロパティは保持されている必要があります。だから、あなたはどこかにバグがない限り、これを行うJava標準APIのサンプルを見つけることはできません。equalsではこのように動作しない暗黙的または明示的に依存するたくさんのコードが見つかります。

Answer 3

、==はtrueを返しますが、equalsがfalse戻ります任意のシナリオがされている[は？]

ない限り、私は承知しています、と私はどんなことを確信していて発見した例はバグと見なされます。特に

、xとyはx == y、それはx.equals(y)がx.equals(x)と同じ結果に評価される場合でなければならないような参照である場合。それは再帰ある

• ：

  equalsメソッドがnull以外の オブジェクト参照上の同値関係を実装します（そのドキュメントで）Object.equals()の契約は、部分的に、このことを言ういずれかのためにnull以外の参照値x,x.equals(x)はtrueを返す必要があります。

それが生成する場合はこのようにObject.equals()のいずれかのオーバーライドは、すべての参照xとyため、x == y && !x.equals(y)が真実であることの結果、意味的に間違っています。標準のJava APIで

Answer 4

、==はtrueを返しますが、equalsはfalseを返します。いずれかのシナリオがあります。

私は、これはあなたが考えている正確に何であるかどうかわからないんだけど、equalsの実装はスレッドセーフである必要はなく、引数がthisと同じインスタンスである場合には明示的にチェックする必要はありません。つまり、foo.equals(foo)がfooが別のスレッドで同時に変更されている場合は、falseを返すことが原則として可能です。

このチェックを含むではないと明示的に文書化されているのではないかと疑います。むしろ、これは唯一のチェックであるクラスを除いて実装の詳細とみなされます。しかし、私はsb.equals(sb)を少なくともArrayIndexOutOfBoundsExceptionになるように管理しました。sbがStringBuilderの場合、別のスレッドが忙しく要素を追加しています。あなたのタイミングで特に不運な場合は、falseも返すことができます。

また、このような動作を行う可能性はありますか？

私は本当にそうは思わない。 equalsの全目的はSetとMapとAssert.assertEqualsのようなものをサポートすることです。 equalsを一切使用しないユースケースがたくさんありますが、はを使用します。ではなくは、満足している平等の形式を表しています。身元。

しかし、ひどく重大でないコードでも、誤ってこれを引き起こすバグがある可能性は確かです。たとえば、上記のコメントで、java.util.Dateとjava.sql.Timestampにはデザインミスがありました（現在正式に成文化されています）。date.equals(ts)はtrueですが、ts.equals(date)はfalseです。この種の問題に対処しようとする人はjava.util.Dateに、if (that.getClass() == Date.class)のチェックを含むように修正するかもしれません。この場合、親実装を明示的にオーバーライドしていないサブクラスでは、非リフレクティブequalsの実装が行われます。 （もちろん、私はJDKにこのような間違いがあるとは思わないでしょう）

実際には継承の面でequalsを書くのはやや難しいですが、幸いにもすべての複雑さを簡単な方法で解決する既知の解決法があります。 http://www.artima.com/lejava/articles/equality.html。