【发布时间】:2008-10-23 17:56:50
【问题描述】:
泛型接口的类型是否可以基于特定的父类?
例如:
public interface IGenericFace<T : BaseClass>
{
}
显然上面的代码不起作用,但如果它起作用了,我想告诉编译器T 必须是BaseClass 的子类。能不能做到,有没有计划之类的?
我认为它对特定项目很有用,确保通用接口/类在编译时不与非预期类型一起使用。或者也用于某种自我记录:显示预期的类型。
【问题讨论】:
泛型接口的类型是否可以基于特定的父类?
例如:
public interface IGenericFace<T : BaseClass>
{
}
显然上面的代码不起作用,但如果它起作用了,我想告诉编译器T 必须是BaseClass 的子类。能不能做到,有没有计划之类的?
我认为它对特定项目很有用,确保通用接口/类在编译时不与非预期类型一起使用。或者也用于某种自我记录:显示预期的类型。
【问题讨论】:
public interface IGenericFace<T> where T : SomeBaseClass
【讨论】:
您所指的是“通用约束”。可以对泛型类型施加许多约束。
一些基本的例子如下:
where T: struct - 类型参数必须是值类型。可以指定除Nullable 之外的任何值类型。请参阅Using Nullable Types (C# Programming Guide) 了解更多信息。
where T : class - 类型参数必须是引用类型;这也适用于任何类、接口、委托或数组类型。
where T : new() - 类型参数必须具有公共无参数构造函数。当与其他约束一起使用时,new() 约束必须最后指定。
where T : <base class name> - 类型参数必须是或派生自指定的基类。
where T : <interface name> - 类型参数必须是或实现指定的接口。可以指定多个接口约束。约束接口也可以是通用的。
where T : U - 为T 提供的类型参数必须是或派生自为U 提供的参数。这称为裸类型约束。
这些也可以像这样链接在一起:
C#
public class TestClass<T> where T : MyBaseClass, INotifyPropertyChanged, new() { }
public interface IGenericFace<T> where T : SomeBaseClass
VB
Public Class TestClass(Of T As {MyBaseClass, INotifyPropertyChanged, New})
Public Interface IGenericInterface(Of T As SomeBaseClass)
【讨论】:
是的。
public interface IGenericFace<T>
where T : BaseClass
{
}
【讨论】: