如何解决为什么要在接口约束下使用泛型?
在创建通用接口时,我可以定义通用参数应从特定接口(IBase)继承的约束。
interface IGeneric<T> where T : IBase
{
List<T> property{get; set;}
}
有什么用吗?因为我可以用以下接口代替它,该接口将达到相同的目的,并且更加简单。
interface IGeneric
{
List<IBase> property{get; set;}
}
在我看来,在这种情况下我们根本不需要泛型,因为我们已经知道T将是IBase。 IBase属性已经可以容纳其所有派生类型。那么泛型在特定接口约束下的用途是什么?
解决方法
这两个接口非常不同,因为List<T>
和List<IBase>
非常不同。假设有一个实现A
的类IBase
。首先,这不会编译:
IGeneric noTypeParameter = ...
noTypeParameter.property = new List<A>();
但是这样做:
IGeneric<A> hasTypeParameter = ...
noTypeParameter.property = new List<A>();
这是因为List
与T
不协变。实际上,它是不变的。另请参阅:Convert List<DerivedClass> to List<BaseClass>
如果使用IEnumerable<T>
和IEnumerable<IBase>
,则上面的两个代码段都将编译,但是两个IGeneric
接口仍然不同,因为:
IGeneric noTypeParameter = ...
IEnumerable<A> enumerable = noTypeParameter.property; // does not compile
IGeneric<A> hasTypeParameter = ...
IEnumerable<A> enumerable = noTypeParameter.property; //does compile
因此,基本上,使用通用参数,您可以将特定类型的List
传递给接口,并获得特定类型的List
。但是,您不能“存储任何property
实现的IBase
”。如果没有类型参数,则可以存储任何property
实现的IBase
,但不能从IGeneric
中获取特定类型。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。