インスタンスは、より具体的なタイプの他のインスタンスと同等ですか？

私はこの記事を読みました：Javaで平等メソッドを書く方法。

基本的に、継承をサポートするequals（）メソッドのソリューションを提供します。

Point2D twoD   = new Point2D(10, 20);
Point3D threeD = new Point3D(10, 20, 50);
twoD.equals(threeD); // true
threeD.equals(twoD); // true

しかし、それは良いアイデアですか？これらの2つのインスタンスは同じように見えますが、2つの異なるハッシュコードを持つ場合があります。それは少し間違っていませんか？

代わりにオペランドをキャストすることで、これがよりよく達成されると思います。

これは推移性を破壊するので平等ではありません。次の2つの式を検討してください。

new Point3D(10, 20, 50).equals(new Point2D(10, 20)) // true
new Point2D(10, 20).equals(new Point3D(10, 20, 60)) // true

平等は推移的であるため、これは次の式も真であることを意味するはずです。

new Point3D(10, 20, 50).equals(new Point3D(10, 20, 60))

しかし、もちろん-そうではありません。

したがって、キャストの考え方は正しいです。Javaでは、キャストとは単に参照の型をキャストすることを意味します。ここで本当に必要なのは、Point2Dオブジェクトから新しいオブジェクトを作成する変換メソッドですPoint3D。これにより、式がより意味のあるものになります。

twoD.equals(threeD.projectXY())

アランJ.ペルリスの知恵について考えている記事を読むことから離れます。

Epigram9。10個のデータ構造で10個の関数を使用するよりも、100個の関数を1つのデータ構造で操作する方が適切です。

「平等」を正しく実現することは、ScalaのMartin Orderskyの発明者を夜にしておくような種類の問題であるという事実equalsは、継承ツリーでのオーバーライドが良いアイデアかどうかについて一時停止を与えるべきです。

を取得できなかった場合に起こるのColoredPointは、1つの良いデータ型を作成するのではなく、継承を使用してデータ型を増殖したため、ジオメトリが失敗することです。これは、戻って機能するために継承ツリーのルートノードを変更する必要があるにもかかわらずequalsです。なぜ単にa zとa colorを追加しないのPointですか？

正当な理由は、PointそれColoredPointが異なるドメインで動作することです...少なくともそれらのドメインが混ざらない場合。ただし、その場合は、オーバーライドする必要はありませんequals。比較ColoredPointとPoint平等性は、それらが交わることが許可されている第三のドメインでのみ意味があります。そして、その場合、混合ドメインの一方または他方または両方から等値セマンティクスを適用しようとするよりも、その3番目のドメインに合わせて「平等」を調整する方がおそらく良いでしょう。言い換えれば、「平等」は、6か月前の午前2時に良いアイデアだと思った著者でもColoredPoint.equals(pt)失敗しないようにするために、両側から泥が流れ込む場所のローカルで定義する必要があります。PointColoredPoint

古いプログラミングの神がクラスを使ってオブジェクト指向プログラミングを発明していたとき、彼らはオブジェクトに対して「is a」と「has a」という2つの関係を持つことを構成と継承に至りました。
これにより、サブクラスが親クラスと異なるという問題は部分的に解決されましたが、コードを壊すことなく使用できるようになりました。サブクラスインスタンスはスーパークラスオブジェクト「である」ため、サブクラスにさらに多くのメンバー関数またはデータメンバーがある場合でも、直接置換できるため、「持っている」ことにより、親のすべての機能を実行し、メンバー。したがって、Point3Dが「ポイント」であり、Point2Dが「ポイント」であると言えます。さらに、Point3DはPoint2Dのサブクラスになります。

ただし、クラス間の平等はドメイン固有の問題であり、上記の例は、プログラムが正しく機能するためにプログラマが必要とするものに関してあいまいです。一般に、比較の範囲をこの場合は2次元に制限すると、すべてのデータメンバーを比較する場合ではなく、数学ドメインの規則に従い、データの値は同等になります。

したがって、等式を狭める表が得られます。

Both objects have same values, limited to subset of shared members

Child classes can be equal to parent classes if parent and childs
data members are the same.

Both objects entire data members are the same.

Objects must have all same values and be similar classes. 

Objects must have all same values and be the same class type. 

Equality is determined by specific logical conditions in the domain.

Only Objects that both point to same instance are equal. 

通常、問題のドメインで必要なすべての機能を実行できる、最も厳しいルールを選択します。数値の組み込みの等値性テストは、数学的な目的のためにできる限り制限するように設計されていますが、プログラマーは、切り上げ、切り捨て、gt、ltなどを含む、それが目標でない場合、それを回避する多くの方法を持っています。タイムスタンプを持つオブジェクトは、多くの場合、生成時間によって比較されるため、各インスタンスは一意である必要があるため、比較は非常に具体的になります。

この場合の設計要素は、オブジェクトを比較する効率的な方法を決定することです。すべてのオブジェクトのデータメンバーの再帰的な比較が必要な場合があり、多くのデータメンバーを持つオブジェクトがたくさんある場合、非常に高価になる可能性があります。代替手段は、関連するデータ値のみを比較するか、オブジェクトに関連するデータメンバーのハッシュ値を生成させ、他の類似オブジェクトとの迅速な比較を行い、コレクションをソートおよびプルーニングして、比較をより速く、CPU集約度を低くし、おそらくカリングされるデータは同一であり、単一のオブジェクトへの複製ポインターがその場所に配置されます。

ルールは、をオーバーライドするたびにhashcode()、をオーバーライドしequals()、その逆も同様です。これが良いアイデアであるかどうかは、使用目的によって異なります。個人的にはisLike()、同じ効果を得るために別の方法（または同様の方法）を使用します。

非公開クラスには、異なるタイプのオブジェクトが同じ情報を表す場合にお互いを「等しい」と見なすことができる等価性テストメソッドがあると便利ですが、Javaはクラスがそれぞれを偽装する手段を許可しないためその他、異なる表現を持つ同等のオブジェクトを持つことができる場合に、単一の公開用のラッパー型を持つことはしばしば良いことです。

たとえば、double値の不変の2Dマトリックスをカプセル化するクラスを考えます。外部メソッドの1つがサイズ1000の単位行列を要求する場合、2番目は対角行列を要求して1000を含む配列を渡し、3番目は2D行列を要求し、主対角要素がすべて1.0である1000x1000配列を渡しますそして、他のすべてがゼロである場合、3つのクラスすべてに与えられたオブジェクトは、異なるバッキングストアを内部的に使用できます[1つ目はサイズの単一フィールド、2つ目は1000要素の配列、3つ目は1000要素の配列]相互に同等として報告する必要があります（3つすべてが1000x1000の不変行列をカプセル化し、対角に1を、他のすべてに0を含む）

異なるバッキングストアタイプの存在を隠すという事実以外に、ラッパーは比較を容易にするのにも役立ちます。これは、同等のアイテムをチェックすることは一般にマルチステッププロセスになるためです。最初のアイテムが2番目のアイテムと等しいかどうかを確認してください。わからない場合は、2番目に、最初のものと等しいかどうかを確認します。どちらのオブジェクトも認識していない場合は、各配列に個々の要素の内容を尋ねます[長い個別のアイテム比較ルートを実行する前に他のチェックを追加する場合があります]。

このシナリオの各オブジェクトの等価テストメソッドは、3つの状態の値（「はい、私は同等です」、「いいえ、私は同等ではありません」、または「わからない」）を返す必要があります。したがって、通常の「等しい」方法は適切ではありません。他のことについて尋ねられたとき、オブジェクトは単に「わからない」と答えることができますが、例えば、対角行列にロジックを追加して、主対角線から外れた要素について単位行列または対角行列を求めないようにします。タイプ。