まずはコードを見てからの方が説明しやすいと思います。
using System;
using System.Collections.Generic;
using System.Diagnostics;
public abstract class AKey<T> {
public abstract Boolean KeyEquals(T other);
public abstract Int32 KeyGetHashCode();
}
public class Key:AKey<Key>,IEquatable<Key> {
private Int32 K0;
public Key(Int32 K0) {
this.K0=K0;
}
public bool Equals(Key other) {
return this.KeyEquals(other);
}
public override bool Equals(object obj) {
var other=obj as Key;
if(other==null) return false;
return this.Equals(other);
}
public override int GetHashCode() {
return this.KeyGetHashCode();
}
public override Boolean KeyEquals(Key other) {
return this.K0.Equals(other.K0);
}
public override Int32 KeyGetHashCode() {
return this.K0.GetHashCode();
}
}
public class A:Key,IEquatable<A> {
public Int32 A0;
public A(Int32 K0,Int32 A0):base(K0) {
this.A0=A0;
}
public bool Equals(A other) {
if(!this.Equals(other as Key)) return false;
return this.A0.Equals(other);
}
public override bool Equals(object obj) {
var other=obj as A;
if(other==null) return false;
return this.Equals(other);
}
public override int GetHashCode() {
var r=base.GetHashCode();
r<<=1; r^=this.A0.GetHashCode();
return r;
}
}
public class B:A,IEquatable<B> {
public Int32 B0;
public B(Int32 K0,Int32 A0,Int32 B0)
: base(A0,K0) {
this.B0=B0;
}
public bool Equals(B other) {
if(!this.Equals(other as A)) return false;
return this.B0.Equals(other);
}
public override bool Equals(object obj) {
var other=obj as B;
if(other==null) return false;
return this.Equals(other);
}
public override int GetHashCode() {
var r=base.GetHashCode();
r<<=1; r^=this.B0.GetHashCode();
return r;
}
}
public sealed class PrimaryKeyEqualityComparer<T>:EqualityComparer<T> where T:AKey<T> {
public override bool Equals(T x,T y) {
return x.KeyEquals(y);
}
public override int GetHashCode(T obj) {
return obj.KeyGetHashCode();
}
}
class Program {
static void Main() {
//B重複しない
{
var array=new Key[]{
new B(0,0,0),
new B(0,0,1),
};
//配列要素インスタンスはIEqutable<B>.Equalsが使われているこれはK0,A0,B0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array);
Debug.Assert(h.Count==array.Length);
}
//B重複する
{
var array=new Key[]{
new B(0,0,0),
new B(0,0,0),
};
//配列要素インスタンスはIEqutable<B>.Equalsが使われているこれはK0,A0,B0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array);
Debug.Assert(h.Count==1);//重複しているので1つにまとめられる
}
//A重複しない
{
var array=new Key[]{
new A(0,0),
new A(0,1),
};
//配列要素インスタンスはIEqutable<A>.Equalsが使われているこれはK0,A0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array);
Debug.Assert(h.Count==array.Length);
}
//A重複する
{
var array=new Key[]{
new A(0,0),
new A(0,0),
};
//配列要素インスタンスはIEqutable<A>.Equalsが使われているこれはK0,A0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array);
Debug.Assert(h.Count==1);//重複しているので1つにまとめられる
}
//Key重複しない
{
var array=new Key[]{
new Key(0),
new Key(1),
};
//配列要素インスタンスはIEqutable<Key>.Equalsが使われているこれはK0,A0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array);
Debug.Assert(h.Count==array.Length);
}
//Key重複する
{
var array=new Key[]{
new Key(0),
new Key(0),
};
//配列要素インスタンスはIEqutable<Key>.Equalsが使われているこれはK0,A0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array);
Debug.Assert(h.Count==1);//重複しているので1つにまとめられる
}
//ここからが問題。A,Bのインスタンスで比較基準をKey.Equals,Key.GetHashCodeを使うことは出来ないか？
{
//↓例えばこのデータはKeyを基準にすると重複している
var array=new Key[]{
new A(0,0),
new A(0,1),
};
//配列要素インスタンスはIEqutable<A>.Equalsが使われているこれはK0,A0全体で一致しているか判定しているため重複は除かれない
var h=new HashSet<Key>(array,new PrimaryKeyEqualityComparer<Key>());
Debug.Assert(h.Count==1);
}
//AKeyを継承したもの、していないもを共通メソッド名でオーバーロードで処理したい
{
//↓例えばこのデータはKeyを基準にすると重複している
var array=new Key[]{
new A(0,0),
new A(0,1),
};
重複チェックオーバーロード(array);//コンパイルエラー。オーバーロードできない。
}
{
//↓例えばこのデータはKeyはないので全体の値の集合として重複している
var array=new[] { 0,0 };
重複チェックオーバーロード(array);//コンパイルエラー。オーバーロードできない。
}
}
//コンパイルエラー。オーバーロードできない。
static void 重複チェックオーバーロード<T>(T[] array) where T:AKey<T> {
var h=new HashSet<T>(array,new PrimaryKeyEqualityComparer<T>());
Debug.Assert(h.Count==array.Length);
}
//コンパイルエラー。オーバーロードできない。
static void 重複チェックオーバーロード<T>(T[] array) {
var h=new HashSet<T>(array);
Debug.Assert(h.Count==array.Length);
}
}
これをコンソールプロジェクトの1つのソースに張り付ければ現在問題になっているコンパイルエラーが出ます。
その部分を取り除けばそれ以外は動作します。
つまりクラスB.EqualsはメンバB0,A0,K0が一致しているかどうかを評価しHashSet<>で重複を除く処理をやっているのです。
これをクラスBのクラスKeyのメンバK0のみで一致しているか評価しHashSet<>で重複を除きたいのです。
「重複チェックオーバーロード」という名前を変えれば希望の動作になりますが使い勝手がよくありません。
オーバーロードではなく単一のメソッドでよいので内部で処理を切り替えるという方法でも構いません、よひ方法はないものでしょうか？
