C# 泛型约束和类型参数

我将以下基本抽象类定义为：

public abstract class BaseObject<T> : IComparable, IComparable<T>, IEquatable<T> {}

public interface ICode<T> where T : struct
{
    T Code { get; }
}

非常感谢

但是U是一个值类型，应该知道 与之相比

啊-不。Jusst因为U是一个值类型并不意味着它必须有COmpareTo，而且“应该知道”是你说的，但没有放在你的类定义中

要求U也实现IComparable和“应该知道”是编译器可以理解的。CompareTo不是struct的属性，而是因为所有主要结构都实现了IComparable

但是U是一个值类型，应该知道 与之相比

啊-不。Jusst因为U是一个值类型并不意味着它必须有COmpareTo，而且“应该知道”是你说的，但没有放在你的类定义中

---

要求U也实现IComparable和“应该知道”是编译器可以理解的。CompareTo不是struct的一个属性，但因为所有主要结构都实现了IComparable。

对于

struct

类型来说，没有必要使用

CompareTo

方法。您必须使用约束强制执行它：

public class DerivedObject<T, U> : BaseObject<T>, ICode<U>
    where T : DerivedObject<T, U>
    where U : struct, IComparable<U> {}

公共类派生对象：BaseObject，ICode
其中T:DerivedObject
其中U:struct，i可比较{}

---

CompareTo

方法是

i可比较

合同的一部分。它与

U

是一种值类型无关。这就是为什么您必须添加一个通用约束，该约束声明

U

是

i可比较的
对于
struct
类型来说，没有必要使用
CompareTo
方法。您必须使用约束强制执行它：

public class DerivedObject<T, U> : BaseObject<T>, ICode<U>
    where T : DerivedObject<T, U>
    where U : struct, IComparable<U> {}

公共类派生对象：BaseObject，ICode
其中T:DerivedObject
其中U:struct，i可比较{}

CompareTo
方法是
i可比较
合同的一部分。它与
U
是一种值类型无关。这就是为什么，你必须添加一个泛型约束，声明
U
是
I可比较的
我想这是因为U是一个结构，你没有对它指定任何泛型条件，但我不熟悉结构，因为我从来没有找到使用它们的理由。我想你正在陷入与我一样的困惑。。。struct关键字作为泛型类型参数意味着值类型，而不是真正的结构。不要问我为什么他们决定用同一个关键字来表示两件不同的事情！我想这是因为U是一个结构体，你没有在他身上指定任何通用条件，但我不熟悉结构体，因为我从来没有找到使用它们的理由。我想你和我一样困惑。。。struct关键字作为泛型类型参数意味着值类型，而不是真正的结构。不要问我为什么他们决定用同一个关键字来表示两件不同的事情！正如Tom所说，所有主要的结构都包括IComparable和IComparable，但并非编译器都接受这一点。谢谢正如Tom所说，所有主要的结构都包括IComparable和IComparable，但并非编译器都接受这一点。谢谢
public class DerivedObject<T, U> : BaseObject<T>, ICode<U>
    where T : DerivedObject<T, U>
    where U : struct, IComparable<U> {}