结构如何从类型参数约束中继承？

Question

我看到以下代码行:

class Sample<T,U> where T:class where U: struct, T

在上面的例子中,参数U是值类型,它派生自引用类型 T.

这条线怎么合法？
此外,如果值类型继承自引用类型,则在哪里分配内存:堆或堆栈？

Answer 1

与另一个答案相反,有超出T = System.Object的类型,其中编译:

class Samplewhere T:class where U:struct, T

"T:class"约束实际上并不意味着T必须是一个类.这意味着T必须是参考类型.这包括接口,结构可以实现接口.因此,例如,T = IConvertible,U = System.Int32非常有效.

我无法想象这是一个特别常见的或有用的约束,但它不是很,因为它似乎一见钟情的常理.

至于更一般的观点:正如Obiwan Kenobi所说,这一切都取决于你的观点.CLI规范对此有一个非常复杂的解释,其中"派生自"和"继承自"并不意味着完全相同的事情,IIRC.但不,你不能指定一个值类型的基本类型 - 它总是System.ValueType或者System.Enum(源自System.ValueType),并且根据你是否声明一个struct或一个来选择enum.有些令人困惑的是,这两者本身都是参考类型......