泛型铸造答案

【问题标题】：Generics Casting泛型铸造
【发布时间】：2011-06-11 23:38:23
【问题描述】：

interface Base { ... }
class Sub : Base { ... }

class OtherBase<T> where T : Base { ... }
class OtherSub<T> : OtherBase<T> where T : Base { ... }

//...in some class
void Call<T>() where T : OtherBase<Base> { }

//...
Call<OtherSub<Sub>>(); //compile fails...

似乎在使用泛型时，编译器不会在泛型类型（OtherBase/OtherSub）。为什么会这样？

更新：还请解释上面和下面的区别（有效）

void Call<T>() where T : Base { }
//...
Call<Sub>();

【问题讨论】：

标签： c# generics

【解决方案1】：

禁止这种行为（称为“通用方差”）是必要的，否则以下代码将编译：

List<string> strlist = new List<string>();
List<object> objlist = strlist;
objlist.Add(42);

我们在字符串列表中添加了一个数字。不好。（顺便说一句，代码会为 arrays 而不是 Lists 编译，因为 Java 出于某种原因允许这样做；但是，这会引发运行时异常。）

不过，您可以避免这种情况：

static void Call<U, T>(T x) where U : Base where T : OtherBase<U> { }

然后这样称呼它：

Call(new OtherSub<Sub());

C# 4.0 还提供了generic variance for interfaces。但是，通常不需要使用它们。

【讨论】：

这对于给定的示例很有意义，但对于方法调用仍然没有意义。您能否解释一下您的示例与“void Call() where T : Base { }”、“Call_{()”之间的区别？}
@james 没错，我的错。解决了这个问题。您的扩展问题与通用方差完全无关，因此没有理由不这样做。

【解决方案2】：

您的问题与称为方差/协方差的概念有关。事实上，如果A 继承自B，Class<A> 就不是Class。

看这个例子：

Class<T> 公开了一个公共方法foo(T param)

如果Class<A> 是Class，那么引用Class 作为Class<A> 并调用foo(B param)（带有B 实例）的方法将调用foo(A param)。而B 不是A。

事实上，Class<A> 可以从 Class 继承，仅当 T 仅在 Class<T> 中用作返回值时。

这是在 .NET 4 中通过泛型接口的 out 关键字强制执行的。 Class<T> 因此可以实现 IClass<out T>。

【讨论】：

【解决方案3】：

Konrad 对如何修复您的代码提出了很好的建议。如果你想使用 C# 4 的变体，你可以这样做：

interface IOtherBase<out T> where T : Base { }

class OtherBase<T> : IOtherBase<T> where T : Base { }
class OtherSub<T> : OtherBase<T> where T : Base { }

static void Call<T>() where T : IOtherBase<Base> { }

Call<OtherSub>() 这样就可以了。

【讨论】：