C# 泛型的拳击枚举错误

Question

我不明白这里发生了什么...

我收到以下错误： 类型 'TestApp.TestVal' 不能用作泛型类型或方法 'TestApp.SomeClass' 中的类型参数 'T'。 没有从 'TestApp.TestVal' 到 'System.IComparable' 的装箱转换。

以下代码会发生此错误

public enum TestVal
{
    First,
    Second,
    Third
}

public class SomeClass<T>
    where T : IComparable<T>
{
    public T Stored
    {
        get
        {
            return storedval;
        }
        set
        {
            storedval = value;
        }
    }
    private T storedval;
}

class Program
{
    static void Main(string[] args)
    {
        //Error is on the next line
        SomeClass<TestVal> t = new SomeClass<TestVal>(); 
    }
}

：默认情况下，枚举是一个 int 并且 int 实现了 IComparable 接口，看起来不应该有错误......

Answer 1

首先，我不确定将 IComparable 与枚举一起使用是否明智...IEquatable，当然 - 但比较呢？

作为更安全的替代方案； 可以在类中使用 Comparer.Default，而不是使用通用约束强制使用 IComparable。 这样做的优点是支持 IComparable 和 IComparable - 这意味着您的传播限制更少。

例如：

public class SomeClass<T> { // note no constraint
    public int ExampleCompareTo(T other) {
        return Comparer<T>.Default.Compare(Stored, other);
    }
    ... [snip]
}

这适用于枚举：

SomeClass<TestVal> t = new SomeClass<TestVal>();
t.Stored = TestVal.First;
int i = t.ExampleCompareTo(TestVal.Second); // -1

Answer 2

枚举不是从 System.Int32s 派生的 - 它们从 System.Enum 派生，而 System.Enum 不实现 IComparable（但它确实实现了 IComparable）。

尽管默认情况下枚举的基础值是 int，但枚举本身却不是。 因此，两者之间不存在转换。

Answer 3

Enum 不实现 IComparable，但它实现了 IComparable。 因此，枚举可以是 where 子句中的 T，例如：

    where T : IComparable

但这会产生错误：

    where T : IComparable<T>

然后我想您希望 SomeClass 具有可比性。 为此，它必须自己实现 IComparable。

这是两者的示例（使用公共成员来保持代码简单）：

public class SomeClass<T>
    : IComparable<SomeClass<T>>
    where T : IComparable
{
    public T storedval;

    public int CompareTo(SomeClass<T> other)
    {
        return storedval.CompareTo(other.storedval);
    }
}

Answer 4

在 C# 中，枚举实现了 IComparable，但不是通用的 IComparable。 我不确定这是为什么，但也许您可以在 where 子句中切换到非通用 IComparable 。