zoukankan      html  css  js  c++  java
  • where 子句还可以包括构造函数约束

    今天,在网上猛然间发现where 子句还可以包括构造函数约束!
    哈哈,我立刻将自己的反射创建对象的方式给改掉了,C#果然是强悍呀。

    顺便贴一下
    五种约束类型
    (1)可以使用“基类约束”(base class constraint)来指定某个基类必须出现在类型实参中。这种约束是通过指定基类名称来实现的。
    (2)可以使用“接口约束”(interface constraint)来指定某个类型实参必须实现一个或多个接口。这种约束是通过指定接口名称来实现的。
    (3)可以要求类型实参必须提供一个无参数的构造函数,这被称为“构造函数约束”(constructor constraint)。它是通过new()指定的。
    (4)可以通过关键字class指定“引用类型约束”(reference type constraint)来限制某个类型实参必须是引用类型。
    (5)可以通过关键字struct指定“值类型约束”(vlaue type constraint)来限制某个类型实参必须是值类型。
    1 基类约束
    使用基类约束,我们可以指定某个类型实参必须继承的基类。
    基类约束有两个功能:
    (1)它允许在泛型类中使用由约束指定的基类所定义的成员。例如,可以调用基类的方法或者使用基类的属性。如果没有基类约束,编译器就无法知道某个类型实参拥有哪些成员。通过提供基类约束,编译器将知道所有的类型实参都拥有由指定基类所定义的成员。
    (2)确保类型实参支持指定的基类类型参数。这意味着对于任意给定的基类约束,类型实参必须要么是基类本身,要么是派生于该基类的类,如果试图使用没有继承指定基类的类型实参,就会导致编译错误。
    基类约束使用下面形式的where子句:
    where T:base-class-name
    T是类型参数的名称,base-class-name是基类的名称,这里只能指定一个基类。

    2 接口约束
    接口约束用于指定某个类型参数必须应用的接口。接口的两个主要功能和基类约束完全一样。
    基本形式 where T:interface-name
    interface-name是接口的名称,可以通过使用由逗号分割的列表来同时指定多个接口。
    如果某个约束同时包含基类和接口,则先指定基类列表,再指定接口列表。

    3 new()构造函数约束
    new()构造函数约束允许开发人员实例化一个泛型类型的对象。
    一般情况下,我们无法创建一个泛型类型参数的实例。然而,new()约束改变了这种情况,他要求类型参数必须提供一个无参数的构造函数。
    在使用new()约束时,可以通过调用该无参构造函数来创建对象。
    基本形式: where T : new()
    使用new()约束时应注意两点:
    (1)它可以与其他约束一起使用,但是必须位于约束列表的末端。
    (2)new()仅允许开发人员使用无参构造函数来构造一个对象,即使同时存在其他的构造函数。换句话说,不允许给类型参数的构造函数传递实参。

    4 引用类型和值类型约束
    如果引用类型和值类型之间的差别对于泛型代码非常重要,那么这些约束就非常有用。
    基本形式:
    where T : class
    where T : struct
    若同时存在其他约束的情况下,class或struct必须位于列表的开头。

    另外可以通过 使用约束来建立两个类型参数之间的关系
    例如 class GenericClass2<T, V> where V:T{} -------- 要求V必须继承于T,这种称为裸类型约束(naked type constraint)
  • 相关阅读:
    C++拷贝构造函数(深拷贝,浅拷贝)
    c++ string assign =
    undefined与null的区别---js
    Cocos2d-x内存自动释放机制--透彻篇
    cocos2d-x 坐标系
    cocos-html5 JS 写法基础 语言核心
    selenium--更改标签的属性值
    selenium--高亮显示正在操作的元素
    selenium--页面元素是否可见和可操作
    selenium--拖拽页面元素
  • 原文地址:https://www.cnblogs.com/zhaoguan_wang/p/1186930.html
Copyright © 2011-2022 走看看