为什么我不能使用System.ValueType作为泛型约束？

Question

• 为什么我不能使用约束 where T : System.ValueType？
• 为什么Microsoft会阻止此类型成为约束？

---

例:

为什么我不能做以下事情？

// Defined in a .Net class
public void bar<T>(T a) where T : ValueType {...}

// Defined in my class
public void foo<T>(T a) where T : ValueType 
{ bar<T>(a); }

使用struct而不是ValueType有什么区别？

// Defined in my class
public void foo<T>(T a) where T : struct 
{ bar<T>(a); }

Answer 1

使用之间有两点不同

where T : struct

和

where T : ValueType

• 后者将允许T为ValueType本身,这是一个引用类型.
• 后者也允许T成为可以为空的值类型

这些差异中的第一个几乎不是你想要的.第二个偶尔会有用; Nullable<T>是它满足无论是有点奇怪where T : struct,也不where T : class约束.

更有用的是约束

where T : struct, System.Enum

这是C#所禁止的,没有任何理由我可以告诉.有关详细信息,请参阅我的博客文章和Unconstrained Melody项目.

Answer 2

ValueType不是值类型的基类,它只是盒子化时值的容器.由于它是一个容器类,而不是您想要使用的实际类型的任何层次结构,因此它不能用作通用约束.

Answer 3

使用struct作为通用约束在功能上等同于"ValueType"约束.在.NET中,struct是值类型.