C# 从泛型类中继承
上例中的Farm<T>类以及本章前面介绍的其他几个类都继承自一个泛型类型。在Farni<T>中,这个类型是一个接口IEnumerable<T>。这里Farm<T>在T上提供的约束也会在IEnumerable<T>中使用的T上添加一个额外的约束。这可以用于限制未约束的类型,但需要遵循一些规则。
首先,如果某个类型所继承的基类型中受到了约束,该类型就不能“解除约束”。也就是说,类型丁在所继承的基类型中使明时,该类型必须受到至少与基类型相同的约束。例如,下面的代码是正确的:
class SuperFarm<T> : Farm<T>
where T : SuperCow {}
因为T在Farrn<T>中被约束为Animal,把它约束为SuperCow,就是把T约束为这些值的一个子集,所以这是可行的。但是,以下代码不会编译:
class SuperFarm<T> : Farm<T>
where T : struct{}
可以肯定地讲,提供给SuperFarm<T>的类型T不能转换为可由Farm<T>使用的T,所以代码无法编译。甚至对于约束为超集的情况,也会出现相同的问题:
class SuperFarm<T> : Farm<T>
where T : class{}
即使SuperFarm<T>允许存在像Animal这样的类型,Farm<T>中也不允许有满足类约束的其他类型。否则编译就会失败。
另外,如果继承自一个泛型类型,就必须提供所有必需的类型信息,这可以使用其他泛型类型参数的形式来提供,如上所述,也可以显式提供。这也适用于继承了泛型类型的非泛型类。例如:
public class Cards : List<Card>, ICloneable{}
这是可行的,但下面的代码会失败:
public class Cards : List<T>, ICloneable{}
因为没有提供T的信息,所以无法编译。
点击加载更多评论>>