我有一个类A <T>：IEnumerable <T>，我想添加IEquatable <A<T>>如果T：IEquatable <T>。我该怎么做，并保持IEnumerable呢？

Question

我有一个树型的类Foo<T>与它的接口IFoo<T>。

我想Foo<T>能够实现IEquatable<Foo<T>>时T : IEquatable<T>（或者更一般地，如果T : I<T>我可能会在另外的其他实现的接口要Foo<T> : I<Foo<T>>）。

我试图伪下面的代码：

public interface IFoo<T> : IEnumerable<IFoo<T>> 
... 


public class Foo<T> : IFoo<T> 
... 


public interface IFooTwo<T> : IFoo<T>, IEquatable<IFooTwo<T>> 
    where T : IEquatable<T> 
... 

public class FooTwo<T> : IFooTwo<T> { 
... // I implement Equals 
    public bool NewMethod(FooTwo<T> Other) { ... } 
}  

所以，现在我已成功实施Equals（我也overrided的geniric平等相待，等等）。

但FooTwo<T>现在不执行IEnumerable<IFooTwo<T>>（而是它实现IEnumerable<IFoo<T>>）。

所以我有两个问题：

1. 有没有更好的办法，我来组织我的代码以实现我的目标（如果T : IEquatable<T>我希望能够实现IEquatable<Foo<T>>为Foo<T>）？一种有条件的where。
2. 如何使用 Foo<T> IEnumerable快速轻松地实现FooTwo<T> implements IEnumerable <FooTwo<T>>？

编辑：

在IEquatable<Foo<T>>的特殊情况下，我有疑问1.一个简单的答案我可以测试是否T:IEquatable<T>并根据需要更改我的执行IEquatable<Foo<T>>。不过，我仍然想知道如何在更一般的情况下做到这一点。

Answer 1

因为你实质上是在试图让一些IFoo<T>对象是IEquatable<T>而有些不是，这显然与类型系统不一致，所以我完全避免IEquatable<T>。使用IEqualityComparer<T>。只需提供一种方法，在给定IEqualityComparer<T>（或使用默认比较器T，如果需要）时创建IEqualityComparer<IFoo<T>>。

通过这样做，任何IFoo<T>对象都有义务进行比较，但只要知道如何比较基础对象，任何人都可以创建共同对象的方法。

这也完全不需要多个实现IFoo<T>，大大简化了整个代码库，并完全消除了其他问题。

我怎样才能让FooTwo<T>器具IEnumerable<FooTwo<T>>使用一个快速简便的方法 Foo<T> IEnumerable实施？

（如果您选择不跟随我的建议改变你如何处理平等:)

如果你知道所有的序列中的项目是在正确的类型其实，你可以简单地使用Cast<FooTwo<T>>()。

如果序列中的项目实际上不是FooTwo<T>对象，那么您需要将项目投影到一个新的序列中，在此将每个IFoo<T>项目映射到FooTwo<T>项目。

Answer 2

对于问题1，你应该考虑你是否真的需要这个。 IEquatable<T>mostly exists for performance reasons relating to value types。在你的情况下，不应该有任何理由，你需要确保你使用的是平等而不是目标。例如，这是Tuple<T>所做的。那么你可以只有一个没有约束的接口：

public interface IFoo<T> : IEnumerable<IFoo<T>>, IEquatable<IFoo<T>> 

对于问题2，你可能不需要这个。 IEnumerable<T>为covariant，这意味着如果您有IEnumerable<A>，则只要A可以分配给B，就可以将其分配给IEnumerable<B>类型的变量。在你的情况，这意味着如果你有，例如，其采取的方法的IEnumerable<IFoo<T>>还将接受IEnumerable<IFooTwo<T>>因为IFooTwo<T> : IFoo<T>

但是，如果你想拥有，比如说，一类MyFoo<T> : IFoo<T>是IEnumerable<MyFoo<T>>型的，有没有自动执行该操作的方法。这是因为完全有可能有IEnumerable<IFoo<T>>的有效实现，这不是IEnumerable<MyFoo<T>>的实现。您应该将此要求视为设计气味，并尽量避免它。