c# - 为什么不能从 C# 中的值类型派生？

Question

我知道所有值类型都是从 System.ValueType 隐式派生的。和结构可以实现接口(interface)，但我需要知道为什么不能从 C# 中的值类型派生。

Answer 1

首先，值类型没有对象 header (因为它们不是对象)，因此无法识别实际类型或进行虚拟分派(dispatch)。

其次 - 如何向子类型添加字段？编译器必须知道大小(用于堆栈空间等)，因此:

Foo foo = ...

必须始终占用相同数量的空间。

同样，抽象基类型也行不通，因为您总是可以构建一个结构。

基本上，它们会是可怕的畸形物，残废且丑陋。

我发现有趣的是您想要一个值的子类型——这听起来有点像结构的混淆用法。