结构、接口和装箱

Question

可能的重复：
结构实现接口安全吗？

获取此代码：

interface ISomeInterface
{
    public int SomeProperty { get; }
}

struct SomeStruct : ISomeInterface
{
    int someValue;

    public int SomeProperty { get { return someValue; } }

    public SomeStruct(int value)
    {
        someValue = value;
    }
}

然后我在某处执行此操作：

ISomeInterface someVariable = new SomeStruct(2);

在这种情况下 SomeStruct 是否已装箱？

Answer 1

乔恩的观点是正确的，但作为旁注，该规则有一个轻微的例外：仿制药。如果您有 where T : ISomeInterface，那么这是受约束的，并且使用 特殊操作码。这意味着该接口可以在没有装箱的情况下使用。例如：

public static void Foo<T>(T obj) where T : ISomeInterface {
    obj.Bar(); // Bar defined on ISomeInterface
}

这不涉及装箱，即使对于值类型T也是如此。但是，如果（在同一个 Foo 中）您这样做：

ISomeInterface asInterface = obj;
asInterface.Bar();

那么该框将像以前一样。 受约束仅直接适用于T。

Answer 2

是的。基本上，每当您需要引用并且您只有一个值类型值时，该值就会被装箱。

这里，ISomeInterface是一个接口，它是一个引用类型。因此，someVariable 的值始终是一个引用，因此必须对新创建的结构体值进行装箱。

Answer 3

我添加此内容是为了希望对 Jon 和 Marc 提供的答案有更多的了解。

考虑这个非泛型方法：

public static void SetToNull(ref ISomeInterface obj) {
    obj = null;
}

嗯...将 ref 参数设置为 null。这可能仅适用于引用类型，对吗？ （好吧，或者对于 Nullable；但是让我们忽略这种情况以保持简单。）因此，此方法编译的事实告诉我们，声明为某种接口类型的变量必须是被视为引用类型。

这里的关键短语是“声明为”：考虑调用上述方法的尝试：

var x = new SomeStruct();

// This line does not compile:
// "Cannot convert from ref SomeStruct to ref ISomeInterface" --
// since x is declared to be of type SomeStruct, it cannot be passed
// to a method that wants a parameter of type ref ISomeInterface.
SetToNull(ref x);

当然，您无法将上述代码中的 x 传递给 SetToNull 的原因是x 需要声明为 ISomeInterface 以便您能够传递 ref x ——而不能 因为编译器神奇地知道 SetToNull 包含行 obj = null。但在某种程度上，这只是强化了我的观点：obj = null 行是合法的，正是因为传递变量非法 >未声明为该方法的ISomeInterface。

换句话说，如果将变量声明为 ISomeInterface，则可以将其设置为 null，纯粹且简单。这是因为接口是引用类型——因此，将对象声明为接口并将其分配给值类型对象会将该值框起来。

现在，另一方面，考虑这个假设的通用方法：

// This method does not compile:
// "Cannot convert null to type parameter 'T' because it could be 
// a non-nullable value type. Consider using 'default(T)' instead." --
// since this method could take a variable declared as, e.g., a SomeStruct,
// the compiler cannot assume a null assignment is legal.
public static void SetToNull<T>(ref T obj) where T : ISomeInterface {
    obj = null;
}

Answer 4

MSDN 文档告诉我们结构体是有价值的，不是引用类型。当与 object 类型的变量进行转换时，它们会被装箱。但这里的核心问题是：接口类型的变量怎么样？由于接口也可以由类实现，那么这必定相当于从值转换为引用类型，正如 Jon Skeet 已经说过的那样，因此会发生装箱。 在 msdn 博客上进行更多讨论。