图片 1

中泛型类,泛型编程之泛型类

前言

所谓泛型,即通过参数化类型来落到实处在一样份代码上操作多样数据类型。

泛型编制程序是一种编制程序范式,它利用“参数化类型”将品种抽象化,进而完毕更灵活的复用。在概念泛型类时,在对客商端代码可以在实例化类时,可以用项目参数的门类连串施加限制。在搭建底层框架时,是最广泛的编制程序方式。

 

来自Hauk的文章 C#
泛型编制程序之泛型类、泛型方法、泛型约束

泛型类

泛型类榜样:

namespace ORDER.SYSTEM.DAL.Data
{
    public abstract class AgentBase<T> where T : class, new()
    {

        //私有实例
        private static T _instance;

        // 定义一个标识确保线程同步
        private static readonly object locker = new object();

        /// <summary>
        /// 返回单例对象
        /// </summary>
        /// <returns></returns>
        public static T Instance()
        {
            if (_instance == null)
            {
                lock (locker)
                {
                    if (_instance == null)
                    {
                        switch (typeof(T).FullName)
                        {
                            case "ORDER.SYSTEM.BLL.TextImpl":
                                _instance = new T(); //此处的T表示命名空间的下的某个类被托管或重写,只保留功能
                                break;
                            default:
                                _instance = new T();
                                break;
                        }
                    }
                }
            }
            return _instance;
        }

    }
}

泛型类的指标是为了约束泛型方法传参数类型或回到值类型。

 

  

泛型方法

在C# 2.0中,方法能够定义特定于其实践范围的泛型参数,如下所示:

public class MyClass<T>
{
    //指定MyMethod方法用以执行类型为X的参数
    public void MyMethod<X>(X x) 
    {
        //
    }

    //此方法也可不指定方法参数
    public void MyMethod<X>() 
    {
        //
    }
}   

就算满含类不适用泛型参数,你也得以定义方法特定的泛型参数,如下所示:

public class MyClass
{
    //指定MyMethod方法用以执行类型为X的参数
    public void MyMethod<X>(X x) 
    {
        //
    }

    //此方法也可不指定方法参数
    public void MyMethod<X>() 
    {
        //
    }
}

注意:本性和索引器不可能钦点自个儿的泛型参数,它们只好选用所属类中定义的泛型参数进行操作。

在调用泛型方法的时候,你能够提供要在调用地方采纳的种类,如下所示:

//调用泛型方法
MyClass myClass = new MyClass();
myClass.MyMethod<int>(3);

 

泛型推理:

在调用泛型方法时,C#编写翻译器丰盛聪明,基于传入的参数类型来揆度出准确的体系,而且它同意完全省略类型标准,如下所示:

//泛型推理机制调用泛型方法
MyClass myClass = new MyClass();
myClass.MyMethod(3);

在意:泛型方法不可能只依照重返值的类型推测出类型,代码如下:

public GenericMethodDemo()
{        
    MyClass myClass = new MyClass();
    /****************************************************
    无法从用法中推理出方法“GenericMethodDemo.MyClass.MyMethod<T>()”的类型参数。
    请尝试显式指定类型参数。
    ***************************************************/
    int number = myClass.MyMethod();
}

public class MyClass
{
    public T MyMethod<T>() 
    {
        //
    }
}

泛型方法中泛型参数的牢笼,如下:

public class MyClass
{

    public void MyMethod<X>(X x) where X:IComparable<X>
    {
        //
    }
}

 

  所谓泛型,即透过参数化类型来完成在同等份代码上操作各类数据类型。

.NET泛型约束

比如顾客端代码尝试利用有个别约束所不允许的连串来实例化类,则会时有爆发编写翻译时不当。这几个限制称为约束。约束是利用
where 上下文关键字钦点的。

下表列出了五系列型的羁绊:

 

约束 说明

T:struct

类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。

T:class

类型参数必须是引用类型,包括任何类、接口、委托或数组类型。

T:new()

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

T:<基类名>

类型参数必须是指定的基类或派生自指定的基类。

T:<接口名称>

类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。

T:U

为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。这称为裸类型约束.

 

 

 

派生约束

1.常见的

public class MyClass5 where T :IComparable { }

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

public class B { }

public class MyClass6 : B where T : IComparable { }

3.得以持续贰个基类和几个接口,且基类在接口前面

public class B { }

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

 

构造函数约束

1.常见的

public class MyClass8 where T : new() { }

2.足以将构造函数约束和派生约束组合起来,前提是构造函数约束出现在封锁列表的终极

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

 

值约束

1.常见的

public class MyClass9 where T : struct { }

2.与接口约束同期选拔,在最后面(不能够与基类约束,构造函数约束共同利用)

public class MyClass11 where T : struct, IComparable { }

 

引用约束

常见的

public class MyClass10 where T : class { }

多少个泛型参数

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

 

 

PS:迎接扫描下方二维码,加入QQ群

图片 1

 

作者:Jacky

来源:

宣示:本文版权归我和微博共有,招待转发,但未经作者同意必需保留此段证明,且在篇章页面明显地方给出原著连接,不然保留追究法律权利的职务。

  泛型编制程序是一种编制程序范式,它应用“参数化类型”将项目抽象化,进而达成更为灵活的复用。在概念泛型类时,在对客商端代码能够在实例化类时,能够用项目参数的门类类别施加限制。

泛型方法

在C#
2**.0**中,方法能够定义特定于其实践范围的泛型参数,如下所示:

public class MyClass<T>
{
    //指定MyMethod方法用以执行类型为X的参数
    public void MyMethod<X>(X x) 
    {
        //
    }

    //此方法也可不指定方法参数
    public void MyMethod<X>() 
    {
        //
    }
}   

不怕包含类不适用泛型参数,你也足以定义方法特定的泛型参数,如下所示:

public class MyClass
{
    //指定MyMethod方法用以执行类型为X的参数
    public void MyMethod<X>(X x) 
    {
        //
    }

    //此方法也可不指定方法参数
    public void MyMethod<X>() 
    {
        //
    }
}

注意:属性和**索引器**不可能钦赐自个儿的泛型参数,它们只好利用所属类中定义的泛型参数举行操作。

在调用泛型方法的时候,你能够提供要在调用地方选择的种类,如下所示:

//调用泛型方法
MyClass myClass = new MyClass();
myClass.MyMethod<int>(3);

 

泛型推理:

在调用泛型方法时,C#编写翻译器丰裕聪明,基于传入的参数类型来推论出正确的类别,并且它同意完全县略类型规范,如下所示:

//泛型推理机制调用泛型方法
MyClass myClass = new MyClass();
myClass.MyMethod(3);

瞩目:泛型方法无法只依照再次来到值的类型推测出类型,代码如下:

public GenericMethodDemo()
{        
    MyClass myClass = new MyClass();
    /****************************************************
    无法从用法中推理出方法“GenericMethodDemo.MyClass.MyMethod<T>()”的类型参数。
    请尝试显式指定类型参数。
    ***************************************************/
    int number = myClass.MyMethod();
}

public class MyClass
{
    public T MyMethod<T>() 
    {
        //
    }
}

泛型方法中泛型参数的约束,如下:

public class MyClass
{

    public void MyMethod<X>(X x) where X:IComparable<X>
    {
        //
    }
}

泛型类

敬敏不谢为类级其余泛型参数提供情势等级的束缚。类等第泛型参数的有所约束都不可能不在类功用范围中定义,代码如下所示

public class MyClass<T>
{

    public void MyMethod<X>(X x,T t) where X:IComparable<X> where T:IComparer<T>
    {
        //
    }
}

而上面包车型客车代码是理当如此的:

public class MyClass<T> where T:IComparable<T>
{

    public void MyMethod<X>(X x,T t) where X:IComparable<X> 
    {
        //
    }
}

泛型参数虚方法的重写:子类方法必须重新定义该措施特定的泛型参数,代码如下

public class MyBaseClass
{
    public virtual void SomeMethod<T>(T t)
    {
        //
    }
}
public class MyClass :MyBaseClass
{
    public override void SomeMethod<X>(X x)
    {

    }
}

并且子类中的泛型方法不可能再一次基类泛型方法的束缚,那或多或少和泛型类中的虚方法重写是有分别的,代码如下

public class MyBaseClass
{
    public virtual void SomeMethod<T>(T t) where T:new()
    {
        //
    }
}
public class MyClass :MyBaseClass
{
    //正确写法
    public override void SomeMethod<X>(X x)
    {

    }

    ////错误 重写和显式接口实现方法的约束是从基方法继承的,因此不能直接指定这些约束
    //public override void SomeMethod<X>(X x) where X:new()
    //{

    //}
}

 

子类方法调用设想方法的基类完结:它必得钦点要代表泛型基础措施类型所运用的花色实参。你可以和煦显式的钦命它,也得以借助类型推理(假若大概的话)代码如下:

public class MyBaseClass
{
    public virtual void SomeMethod<T>(T t) where T:new()
    {
        //
    }
}
public class MyClass :MyBaseClass
{
    //正确写法
    public override void SomeMethod<X>(X x)
    {
        base.SomeMethod<X>(x);
        base.SomeMethod(x);
    }
}

 

泛型委托

在有个别类中定义的嘱托能够行使该类的泛型参数,代码如下

public class MyClass<T>
{
    public delegate void GenericDelegate(T t);
    public void SomeMethod(T t)
    {

    }
}
public GenericMethodDemo()
{
    MyClass<int> obj = new MyClass<int>();
    MyClass<int>.GenericDelegate del;
    del = new MyClass<int>.GenericDelegate(obj.SomeMethod);
    del(3);
}

 

信托推理:C#2.0让你能够将艺术援用的直白分配调换为委托变量。将方面包车型大巴代码退换如下

public class MyClass<T>
{
    public delegate void GenericDelegate(T t);
    public void SomeMethod(T t)
    {

    }
}
public GenericMethodDemo()
{
    MyClass<int> obj = new MyClass<int>();
    MyClass<int>.GenericDelegate del;

    //委托推理
  del = obj.SomeMethod;
    del(3);
 }  

泛型委托的羁绊

信托级其余束缚只在宣称委托变量和实例化委托时利用,类似于在品种和艺术的机能范围中实施的别的任何约束。

泛型和反光

在Net2.0中间,扩大了反光以支撑泛型参数。类型Type以往能够象征带有一定项指标实参(或绑定类型)或未钦点类型的泛型(或称未绑定类型)。像C#1.第11中学那样,您能够通过应用typeof运算符或透过调用每种项目协助的GetType()来赢得任何项目标Type。代码如下:

LinkedList<int> list = new LinkedList<int>();
 Type type1 = typeof(LinkedList<int>);
 Type type2 = list.GetType();
 Response.Write(type1 == type2);
 typeof和GetType()也可以对泛型参数进行操作,如下

public class MyClass<T>
{
public void SomeMethod(T t)
{
    Type type = typeof(T);
    HttpContext.Current.Response.Write(type==t.GetType());
}
}

typeof还足以对未绑定的泛型实行操作,代码如下

protected void Page_Load(object sender, EventArgs e)
{
    if (!IsPostBack)
    {
        Type unboundType = typeof(MyClass<>);
        Response.Write(unboundType.ToString());
    }
}

public class MyClass<T>
{
    public void SomeMethod(T t)
    {
        Type type = typeof(T);
        HttpContext.Current.Response.Write(type==t.GetType());
    }
}

 

请小心”<>”的用法。要对满含多个品类参数的未绑定泛型类实行操作,请在”<>”中央银行使”,”

Type类中增加了新的不二等秘书籍和特性,用于提供关于该类型的泛型方面包车型客车反光音讯,见MSDN。

 

 

.net泛型约束  

  假若顾客端代码尝试使用某些约束所不容许的花色来实例化类,则会发出编写翻译时不当。这么些限制称为约束。约束是行使
where 上下文关键字钦赐的。

一、 约束

  下表列出了多种档案的次序的约束:

约束 说明

T:struct

类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。

T:class

类型参数必须是引用类型,包括任何类、接口、委托或数组类型。

T:new()

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

T:<基类名>

类型参数必须是指定的基类或派生自指定的基类。

T:<接口名称>

类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。

T:U

为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。这称为裸类型约束.

 

 

派生约束

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 { }

发表评论

电子邮件地址不会被公开。 必填项已用*标注