我有许多派生自类 BaseClass
的类,其中 BaseClass
仅具有一个“Id 属性”。
我现在需要对其中一些对象的集合进行区分。我为每个子类一遍又一遍地编写以下代码:
public class PositionComparer : IEqualityComparer<Position>
{
public bool Equals(Position x, Position y)
{
return (x.Id == y.Id);
}
public int GetHashCode(Position obj)
{
return obj.Id.GetHashCode();
}
}
鉴于逻辑仅基于 Id
,我想创建一个比较器以减少重复:
public class BaseClassComparer : IEqualityComparer<BaseClass>
{
public bool Equals(BaseClass x, BaseClass y)
{
return (x.Id == y.Id);
}
public int GetHashCode(BaseClass obj)
{
return obj.Id.GetHashCode();
}
}
但这似乎无法编译:
IEnumerable<Position> positions = GetAllPositions();
positions = allPositions.Distinct(new BaseClassComparer())
...正如它所说,它无法从 BaseClass
转换为 Position
。为什么比较器强制返回此 Distinct()
调用的返回值?
最佳答案
更新:这个问题是 the subject of my blog in July 2013 .感谢您提出很好的问题!
您在泛型方法类型推理算法中发现了一个不幸的边缘案例。我们有:
Distinct<X>(IEnumerable<X>, IEqualityComparer<X>)
接口(interface)在哪里:
IEnumerable<out T> -- covariant
和
IEqualityComparer<in T> -- contravariant
当我们从 allPositions
进行推断时至 IEnumerable<X>
我们说“IEnumerable<T>
在 T 中是协变的,所以我们可以接受 Position
或任何更大的类型。(基本类型比派生类型“更大”;在 T 中有比长颈鹿更多的动物世界。)
当我们从比较器进行推断时,我们说“IEqualityComparer<T>
在 T 中是逆变的,因此我们可以接受 BaseClass
或任何更小的类型。”
那么当实际推导类型参数时会发生什么呢?我们有两个候选人:Position
和 BaseClass
. 两者都满足规定的界限。 Position
满足第一个界限,因为它与第一个界限相同,并且满足第二个界限,因为它小于第二个界限。 BaseClass
满足第一个界限,因为它大于第一个界限,并且与第二个界限相同。
我们有两个赢家。我们需要决胜局。在这种情况下我们该怎么办?
这是一些争论的焦点,并且存在三个方面的争论:选择更具体的类型,选择更通用的类型,或者让类型推断失败。我不会重复整个论点,但足以说明“选择更一般”的一方赢得了胜利。
(更糟糕的是,规范中有一个拼写错误说“选择更具体的”是正确的做法!这是设计过程中的编辑错误的结果,从未得到更正。编译器实现“选择更通用的”。我已经提醒 Mads 这个错误,希望这会在 C# 5 规范中得到修复。)
就这样吧。在这种情况下,类型推断会选择更通用的类型并推断调用意味着 Distinct<BaseClass>
。 .类型推断从不考虑返回类型,当然也不考虑表达式被分配给什么,所以它选择的类型是与赋值变量不兼容不是问题。
我的建议是在这种情况下明确说明类型参数。
关于c# - 使用基类 IEqualityComparer 执行 Distinct(),并且仍然返回子类类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15851399/