c# - 为什么将泛型参数指定为接口(interface)不是类约束的错误？

Question

如果我有一个像这样的通用方法:

static void Foo<T>() where T : class
{

}

我可以通过指定接口(interface)类型来调用它，例如 ICollection<int>

Foo<ICollection<int>>();

现在假设我有一个实现了 ICollection<int> 的结构:

struct Bar : ICollection<int>

我不能将它明确指定为类型参数，但如果我有一个类型为 ICollection<int> 的变量具有基础类型 Bar ，并更改我的通用方法以采用 T 类型的参数，我能做到:

static void Foo<T>(T arg) where T : class
{

}

ICollection<int> bar = new Bar();
Foo <ICollection<int>>(bar);

如您所见，它完全忽略了通用约束。所以我的问题是为什么当我们有 class 时允许将接口(interface)指定为类型参数约束？

Answer 1

“类”约束实际上是一个“引用类型”约束——它不是具体的意思。 (它也适用于委托(delegate)类型。)来自 the MSDN page on generic type constraints :

The type argument must be a reference type; this applies also to any class, interface, delegate, or array type.

现在举个例子:

As you can see it completely avoids the generic constraint.

不，它没有。它使用 ICollection<int>作为类型参数，是一个引用类型。请注意，由于装箱原因，您传递给方法的值是一个引用。