为什么 .Net 引用类型中有接口？答案

【问题标题】：Why are interfaces in .Net reference types?为什么 .Net 引用类型中有接口？
【发布时间】：2011-06-06 00:28:00
【问题描述】：

为什么接口是引用类型？据我了解，接口是类（或结构）之间的契约，那么为什么它是一种类型呢？我会认为它既不是值类型也不是引用类型。

【问题讨论】：

【解决方案1】：

要被视为结构，编译器必须在编译时知道具体类型是什么，以便在堆栈上保留正确的空间。这意味着即使一个结构实现了IFoo，那么使用：

var ms = new MyStruct();
IFoo foo = ms;

那么对foo 的赋值是一个装箱操作。你可以说“编译器应该发现它只是一个 foo 并使用 'constained' 操作码”，但是在一般情况下（对foo 等进行多次分配）这不是可能（我会冒险猜测它会遇到“停止问题”）。

还有一个虚拟与静态调用的问题，但“受约束”的操作码可以解决这个问题。

基本上，接口的任何使用都必须始终被视为参考。

对此有一个例外：通用约束。

如果你有

static void DoBar<T>(T target) where T : IFoo {
    target.Bar();
}

这里的方法对每个值类型进行一次 JIT 处理，因此T 所需的堆栈空间是已知的；对Bar 的调用是“受约束的”，可以根据需要自动为虚拟或静态。

【讨论】：

好的，我明白了。所以 MyStruct 实现了 foo，它仍然是一个值类型。但是一旦你将 MyStruct 转换为 foo，它就会被装箱。 foo 的行为使其成为引用类型。此外， foo 可以被分配一个值类型，然后是一个引用类型，它永远不知道，所以它必须表现为一个引用类型来涵盖所有场景......这一切都正确吗？

【解决方案2】：

它们是引用类型，因为值类型在编译时具有固定大小，因此可以在堆栈上分配它们。引用类型是指针，所以指针是固定大小的，但它们可以指向任意大小的内存。

【讨论】：