where(泛型类型约束)

定义:在定义泛型的时候,我们可以使用 where 限制参数的范围。

使用:在使用泛型的时候,你必须尊守 where 限制参数的范围,否则编译不会通过。

 // .NET支持的类型参数约束 :
//where T : struct | T必须是一个结构类型
//where T : class | T必须是一个Class类型
//where T : new() | T必须要有一个无参构造函数
//where T : NameOfBaseClass | T必须继承名为NameOfBaseClass的类
//where T : NameOfInterface | T必须实现名为NameOfInterface的接口

六种类型的约束:

T:类(类型参数必须是引用类型;这一点也适用于任何类、接口、委托或数组类型。)

1 class MyClass<T, U>
2 where T : class///约束T参数必须为“引用 类型{ }”
3 where U : struct///约束U参数必须为“值 类型”
4 { }

T:结构(类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。)

class MyClass<T, U>
where T : class///约束T参数必须为“引用 类型{ }”
where U : struct///约束U参数必须为“值 类型”
{ }

T:new()(类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时,new() 约束必须最后指定。)

class EmployeeList<T> where T : Employee, IEmployee, System.IComparable<T>, new()
{
// ...
}

T:<基类名>(类型参数必须是指定的基类或派生自指定的基类。)

public class Employee{}

public class GenericList<T> where T : Employee

T:<接口名称>(类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。)

  /// <summary>
    /// 接口
    /// </summary>
    interface IMyInterface
    {
    }

    /// <summary>
    /// 定义的一个字典类型
    /// </summary>
    /// <typeparam name="TKey"></typeparam>
    /// <typeparam name="TVal"></typeparam>
    class Dictionary<TKey, TVal>
        where TKey : IComparable, IEnumerable
        where TVal : IMyInterface
    {
        public void Add(TKey key, TVal val)
        {
        }
    }
T:U(为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。也就是说T和U的参数必须一样)
class List<T>
{
    void Add<U>(List<U> items) where U : T {/*...*/}
}

可用于类、方法、委托

public class MyGenericClass<T> where T:IComparable { }
public bool MyMethod<T>(T t) where T : IMyInterface { }
delegate T MyDelegate<T>() where T : new() 

当只希望传过来的泛型参数是限定范围的,需要用到 WHERE 来限定

比如希望是值类型,或者是引用类型,或者是继承至某个类型、或者是符合某个接扣的类型,

参考文档:

https://msdn.microsoft.com/zh-cn/library/d5x73970.aspx

https://msdn.microsoft.com/zh-cn/library/bb384067.aspx

时间: 2024-10-06 13:12:07

where(泛型类型约束)的相关文章

c# where(泛型类型约束)

定义:在定义泛型的时候,我们可以使用 where 限制参数的范围. 使用:在使用泛型的时候,你必须尊守 where 限制参数的范围,否则编译不会通过. 六种类型的约束: T:类(类型参数必须是引用类型:这一点也适用于任何类.接口.委托或数组类型.) class MyClass<T, U> where T : class///约束T参数必须为"引用 类型{ }" where U : struct///约束U参数必须为"值 类型" { } T:结构(类型参数

类的 where T : class 泛型类型约束

where T : struct | T必须是一个结构类型where T : class T必须是一个类(class)类型where T : new() | T必须要有一个无参构造函数where T : NameOfBaseClass | T必须继承名为NameOfBaseClass的类where T : NameOfInterface | T必须实现名为NameOfInterface的接口

where T : class泛型类型约束

类型参数约束,.NET支持的类型参数约束有以下五种: where T : struct | T必须是一个结构类型where T : class T必须是一个类(class)类型where T : new() | T必须要有一个无参构造函数where T : NameOfBaseClass | T必须继承名为NameOfBaseClass的类where T : NameOfInterface | T必须实现名为NameOfInterface的接口 微软MSDN详细说明:http://msdn.mi

C#学习(8):类型约束

where T : class泛型类型约束 类型参数约束,.NET支持的类型参数约束有以下五种: where T : struct | T必须是一个结构类型 where T : class T必须是一个类(class)类型 where T : new() | T必须要有一个无参构造函数 where T : NameOfBaseClass | T必须继承名为NameOfBaseClass的类 where T : NameOfInterface | T必须实现名为NameOfInterface的接口

泛型接口、泛型委托、泛型方法、泛型约束

泛型接口 没有泛型接口,每次试图使用一个非泛型接口(如IComparable)来操纵一个值类型时,都会进行装箱,而且会丢失编译时的类型安全性.这会严重限制泛型类型的应用.所以,CLR提供了对泛型接口的支持.一个引用类型或值类型为了实现一个泛型接口,可以具体指定类型实参:另外,一个类型也可以保持类型实参的未指定状态来实现一个泛型接口.来看一些例子: 以下泛型接口定义是作为FCL的一部分发布的: public interface IEnumerable<T> : IDisposable, IEnu

c#关键字和常用类型表快查

类型 字节 取值范围 说明 bool 1 true/false/null 布尔类型 char 2 0x0000~0xffff Unicode 16 位字符 byte 1 0~255 无符号的 8 位整数 sbyte 1 -128 到 127 8 位带符号整数 short 2 -32,768 到 32,767 有符号 16 位整数 ushort 2 0~65535 无符号 16 位整数 int 4 -2,147,483,648 到 2,147,483,647 带符号的 32 位整数 uint 4

语言独立性和与语言无关的组件

语言独立性和与语言无关的组件 .NET Framework 4.5 .NET Framework 是独立于语言的. 这意味着,作为开发人员,您可以使用面向 .NET Framework 的多种语言(例如,C#.C++/CLI.Eiffel.F#.IronPython.IronRuby.PowerBuilder.Visual Basic.Visual COBOL 以及 Windows PowerShell)之一进行开发. 您可以访问针对 .NET Framework 开发的类库的类型和成员,而不必

正确 C# 未来的期望

接触 C# 一年.整体上是一个很完好的语言,可是某些细节特征还是不够完美.这里记下我如今对它将来的一些期望. 更强大的泛型约束 与 C++ 的模板相似,C# 的泛型使得编写适用于多种类型的代码更加简洁.假设没有泛型.我们可能须要使用 object 并运行类型转换,或者针对每一种类型写大量雷同的代码.在泛型类型约束上.C# 一如既往的严格.可是因为泛型约束还不完好,有时不得不写一些反复的代码.比方以下这个样例: public static T MaxT(T a, T b) where T is i

Flink类型系统的根及基本接口

之前我们谈到了Flink通过自主管理内存的方式来,避免了让JVM管理内存带来的一些问题.自主管理内存之后,JVM中原生的类型也就不适合使用了.因此Flink也对Java的类型进行了扩展,这就是我们本节关注的内容. 本节探讨的相关类主要位于包:org.apache.flink.types 类型的根Value Value位于所有类型的继承链的最顶端,可以说是所有类型的根.它代指所有可被序列化为Flink二进制表示的类型.该接口本身并不提供任何接口方法,但它继承自两个接口.下图是它的继承关系图: 从上