C# 泛型约束 xxx Where T:约束(二)

简介:



 

泛型是什么?

通过上篇的实例  C# 泛型约束 xxx<T> Where T:约束(一),我们对泛型有一定的认识。

所谓泛型,即通过参数化类型来实现在同一份代码上操作多种数据类型,泛型编程是一种编程范式,它利用“参数化类型”将类型抽象化,从而实现更为灵活的复用。

在定义泛型类时,可以对代码能够在实例化类时用于类型参数的类型种类施加限制。如果代码尝试使用某个约束所不允许的类型来实例化类,则会产生编译时错误。这些限制称为约束。约束是使用 where 上下文关键字指定的。

五种类型的约束

下表列出了五种类型的约束:

约束 说明
T:struct 类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。
T:class 类型参数必须是引用类型,包括任何类、接口、委托或数组类型。
T:new () 类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时,new() 约束必须最后指定。
T:<基类名> 类型参数必须是指定的基类或派生自指定的基类。
T:<接口名称> 类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。
T:U 为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。这称为裸类型约束.

image

1. 派生约束

1.常见的

public class MyClass5<T> where T :IComparable { }

2.约束放在类的实际派生之后

public class B { }

public class MyClass6<T> : B where T : IComparable { }

3.可以继承一个基类和多个接口,且基类在接口前面

public class B { }

public class MyClass7<T> where T : B, IComparable, ICloneable { }

2. 构造函数约束

1.常见的

public class MyClass8<T> where T :  new() { }

2.约束组合

可以将构造函数约束和派生约束组合起来,前提是构造函数约束出现在约束列表的最后

public class MyClass8<T> where T : IComparable, new() { }

3. 值约束

1.常见的

public class MyClass9<T> where T : struct { }

2. 接口约束同时使用

与接口约束同时使用,在最前面(不能与基类约束,构造函数约束一起使用)

public class MyClass11<T> where T : struct, IComparable { }

4. 引用约束

1.常见的

public class MyClass10<T> where T : class { }

5. 多个泛型参数

public class MyClass12<T, U> where T : IComparable  where U : class { }

6. 继承和泛型

public class B<T>{ }

1.类型实参

1. 在从泛型基类派生时,可以提供类型实参,而不是基类泛型参数

    public class SubClass11 : B<int>{ }

2.子类泛型作为基类泛型的指定类型

2.如果子类是泛型,而非具体的类型实参,则可以使用子类泛型参数作为泛型基类的指定类型

    public class SubClass12<R> : B<R>{ }

3.子类重复基类的约束

3.在子类重复基类的约束(在使用子类泛型参数时,必须在子类级别重复在基类级别规定的任何约束)
    public class B<T> where T : ISomeInterface { }
    public class SubClass2<T> : B<T> where T : ISomeInterface { }

4.构造函数约束

复制代码
public class B<T> where T : new()
{
    public T SomeMethod()
    {
        return new T();
    }
}
public class SubClass3<T> : B<T> where T : new() { }
复制代码

 

7. 泛型方法

C#2.0泛型机制支持在"方法声名上包含类型参数",这就是泛型方法)

1.泛型类型/非泛型类型

泛型方法既可以包含在泛型类型中,又可以包含在非泛型类型中

public class MyClass5
{
    public void MyMethod<T>(T t){ }
}

2.泛型方法的声明与调用

复制代码
public class MyClass5
{
    public void MyMethod<T>(T t)
    {
    }
}

public class App5
{
    public void CallMethod()
    {
        MyClass5 myclass5 = new MyClass5();
        myclass5.MyMethod<int>(3);
    }
}
复制代码

3.泛型方法的重载

复制代码
//第一组重载
void MyMethod1<T>(T t, int i) { }

void MyMethod1<U>(U u, int i) { }

//第二组重载
void MyMethod2<T>(int i) { }
void MyMethod2(int i) { }

//第三组重载,假设有两个泛型参数
void MyMethod3<T>(T t) where T : A { }
void MyMethod3<T>(T t) where T : B { }

//第四组重载

public class MyClass8<T, U>
{
    public T MyMothed(T a, U b)
    {
        return a;
    }
    public T MyMothed(U a, T b)
    {
        return b;
    }
    public int MyMothed(int a, int b)
    {
        return a + b;
    }
}
复制代码

4.泛型方法的覆写

复制代码
public class MyBaseClass1
{
    public virtual void MyMothed<T>(T t) where T : new() { }
}
public class MySubClass1 : MyBaseClass1
{
    //不能重复任何约束
    public override void MyMothed<T>(T t) { }
}

public class MyBaseClass2
{
    public virtual void MyMothed<T>(T t){ }
}
public class MySubClass2 : MyBaseClass2
{
    //重新定义泛型参数T
    public override void MyMothed<T>(T t){ }
}
复制代码

8. 虚拟方法

复制代码
public class BaseClass4<T>
{
    public virtual T SomeMethod()
    {
        return default(T);
    }
}
public class SubClass4 : BaseClass4<int> //使用实参继承的时候方法要使用实参的类型
{
    public override int SomeMethod()
    {
        return 0;
    }
}

public class SubClass5<T> : BaseClass4<T> //使用泛型继承时,方法也是泛型
{
    public override T SomeMethod()
    {
        return default(T);
    }
}
复制代码

9. 泛型参数强制转换到Object或约束指定的类型

编译器只允许将泛型参数隐式强制转换到 Object 或约束指定的类型

复制代码
class MyClass<T> where T : BaseClass, ISomeInterface
{
    void SomeMethod(T t)
    {
        ISomeInterface obj1 = t;
        BaseClass obj2 = t;
        object obj3 = t;
    }
}

//变通方法:使用临时的 Object 变量,将泛型参数强制转换到其他任何类型

class MyClass2<T>
{
    void SomeMethod(T t)
    {
        object temp = t;
        BaseClass obj = (BaseClass)temp;
    }
}
复制代码

10. 泛型参数强制转换到其他任何接口

编译器允许您将泛型参数显式强制转换到其他任何接口,但不能将其转换到类

复制代码
class MyClass1<T>
{
    void SomeMethod(T t)
    {
        ISomeInterface obj1 = (ISomeInterface)t;
        //BaseClass obj2 = (BaseClass)t;           //不能通过编译
    }
}
复制代码

11. 泛型参数强制转换到其他任何类型

使用临时的 Object 变量,将泛型参数强制转换到其他任何类型

复制代码
class MyClass2<T>
{
    void SomeMethod(T t)
    {
        object temp = t;
        BaseClass obj = (BaseClass)temp;
    }
}
复制代码

12. 使用is和as运算符

复制代码
public class MyClass3<T>
{
    public void SomeMethod(T t)
    {
        if (t is int) { }
        if (t is LinkedList<int>) { }
        string str = t as string;
        if (str != null) { }
        LinkedList<int> list = t as LinkedList<int>;
        if (list != null) { }
    }
}
复制代码

参考资料

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

部分内容参考:http://www.cnblogs.com/andrew-blog/archive/2012/03/21/ListT_Where.html

作者:赵青青        出处: http://www.cnblogs.com/zhaoqingqing/
关于我:乐于学习未知技术和知识,擅长Unity3D,游戏开发,.NET等领域。
本文版权归作者和博客园共有欢迎转载,转载之后请务必在文章明显位置标出原文链接和作者,谢谢。
如果本文对您有帮助,请点击 【推荐】您的赞赏将鼓励我继续创作!想跟我一起进步么?那就 【关注】我吧。
标签: C#
posted @ 2014-08-06 12:00 赵青青 阅读( 1186) 评论( ...) 编辑 收藏

本文转自赵青青博客园博客,原文链接:http://www.cnblogs.com/zhaoqingqing/p/3894229.html,如需转载请自行联系原作者
相关文章
|
7月前
|
存储 安全 编译器
C# 11.0中的泛型属性:类型安全的新篇章
【1月更文挑战第23天】C# 11.0引入了泛型属性的概念,这一新特性为开发者提供了更高级别的类型安全性和灵活性。本文将详细探讨C# 11.0中泛型属性的工作原理、使用场景以及它们对现有编程模式的改进。通过深入了解泛型属性,开发者将能够编写更加健壮、可维护的代码,并充分利用C#语言的最新发展。
|
3月前
|
安全 程序员 编译器
C#一分钟浅谈:泛型编程基础
在现代软件开发中,泛型编程是一项关键技能,它使开发者能够编写类型安全且可重用的代码。C# 自 2.0 版本起支持泛型编程,本文将从基础概念入手,逐步深入探讨 C# 中的泛型,并通过具体实例帮助理解常见问题及其解决方法。泛型通过类型参数替代具体类型,提高了代码复用性和类型安全性,减少了运行时性能开销。文章详细介绍了如何定义泛型类和方法,并讨论了常见的易错点及解决方案,帮助读者更好地掌握这一技术。
84 11
|
7月前
|
开发框架 .NET C#
C#学习相关系列之Linq用法---where和select用法(二)
C#学习相关系列之Linq用法---where和select用法(二)
447 2
|
4月前
|
编译器 C#
C#中内置的泛型委托Func与Action
C#中内置的泛型委托Func与Action
70 4
|
4月前
|
C#
C# 面向对象编程(三)——接口/枚举类型/泛型
C# 面向对象编程(三)——接口/枚举类型/泛型
38 0
|
7月前
|
存储 安全 Java
34.C#:listT泛型集合
34.C#:listT泛型集合
63 1
|
7月前
|
开发框架 安全 .NET
C# .NET面试系列三:集合、异常、泛型、LINQ、委托、EF!
<h2>集合、异常、泛型、LINQ、委托、EF! #### 1. IList 接口与 List 的区别是什么? IList 接口和 List 类是C#中集合的两个相关但不同的概念。下面是它们的主要区别: <b>IList 接口</b> IList 接口是C#中定义的一个泛型接口,位于 System.Collections 命名空间。它派生自 ICollection 接口,定义了一个可以通过索引访问的有序集合。 ```c# IList 接口包含一系列索引化的属性和方法,允许按索引访问、插入、移除元素等。 由于是接口,它只定义了成员的契约,而不提供具体的实现。类似于 IEnumera
364 2
|
7月前
|
C# 开发者 索引
C# 11.0中的所需成员:强化接口与抽象类的约束
【1月更文挑战第24天】C# 11.0引入了所需成员(Required members)的概念,这一新特性允许在接口和抽象类中定义必须被实现的成员,包括方法、属性、索引器和事件。通过所需成员,C# 强化了对接口实现和抽象类继承的约束,提高了代码的一致性和可维护性。本文将详细探讨C# 11.0中所需成员的工作原理、使用场景及其对现有编程模式的影响。
|
1月前
|
C# 开发者
C# 一分钟浅谈:Code Contracts 与契约编程
【10月更文挑战第26天】本文介绍了 C# 中的 Code Contracts,这是一个强大的工具,用于通过契约编程增强代码的健壮性和可维护性。文章从基本概念入手,详细讲解了前置条件、后置条件和对象不变量的使用方法,并通过具体代码示例进行了说明。同时,文章还探讨了常见的问题和易错点,如忘记启用静态检查、过度依赖契约和性能影响,并提供了相应的解决建议。希望读者能通过本文更好地理解和应用 Code Contracts。
36 3
|
3天前
|
存储 安全 编译器
学懂C#编程:属性(Property)的概念定义及使用详解
通过深入理解和使用C#的属性,可以编写更清晰、简洁和高效的代码,为开发高质量的应用程序奠定基础。
31 12