专栏首页喵叔's 专栏规范约束条件

规范约束条件

我们在开发时往往会对泛型指定约束条件,只有类型参数符合条件的才允许用在这个泛型上面。但是有时我们会定义过多或过少的约束条件,过多的约束条件会导致其他开发人员在使用你所编写的方法或类时做很多的工作以满足这些约束,过少的约束又会导致程序在运行的时候必须做很多的检查,并执行更多的强制类型转化操作,有时我们还需要使用反射生成运行期错误,来防止用户误用这个类。要解决这些问题,我们就必须把确实需要的约束写出来,这句话说起来简单,其实做起来不太容易。下面我就来讲解一下如何正确的编写一个规范的约束。

零、简述

何为约束?所谓约束就是使得编译器能够知道 类型参数 除了具备 System.Object 所定义的公共接口外还需要满足的条件。在创建泛型类型时编译器必须为这个泛型类型定义有效的 IL 码,即使它不知道其中的类型参数会在什么时候替换成什么类型,也会设法创建出有效的程序集。如果我们不给它指明类型参数,那么它就会默认设置类型参数是 System.Object 类型。我们通过约束来表达对泛型类型的类型参数的约束要求会营销编译器和使用这个类的开发人员。编译器看到我们指定的约束后就会明白除了除了具备 System.Object 所定义的公共接口外还需要满足什么条件。对于编译器来说它获得了两个帮助:

  1. 可以令编译器在创建这个泛型类型的时候获得更多的信息;
  2. 编译器能够保证使用这个泛型的开发人员所提供的参数类型一定满足我们所指定的条件。

一、如何规范约束条件

讲解之前我们先来看一个例子,这个例子判断了输入的两个值是否相等。

public bool DemoEqual<T>(T t1, T t2)
{
    if(t1==null)
    {
        return t2==null;
    }
    if(t1 is IComparable<T>)
    {
        IComparable<T> val1 = t1 as IComparable<T>;
        if(t2 as IComparable<T>)
        {
            return val1.CompareTo(t2)==0;
        }
        else
        {
            throw new ArgumentException($"{nameof(t2)} 没有实现 IComparable<T>");
        }
    }
    else
    {
        throw new ArgumentException($"{nameof(t1)} 没有实现 IComparable<T>")
    }
}

这段代码中执行了大量的强类型转换,在转换之前还判断时传入的参数是否实现了 IComparable 接口。这段代码如果使用了泛型约束就会很简单:

public bool DemoEqual<T>(T t1, T t2) 
    where T : IComparable<T>
        => t1.CompareTo(t2)==0;

这段代码大大简化了前面的那段代码,并且把程序运行期可能出现的错误提前到了编译期,编译器提前阻止了不符合要求的用法。到这里你是不是以为上述代码就是很好的解决方案呢?其实严格来说上述代码矫枉过正了,为什么这么说呢?因为 IComparable 接口很常见,大部分开发人员在设计类型的时候都会事先这个接口,因此我们将上述代码修改一些,我们不使用 CompareTo 来对比两个值是否相等,我们这次使用 Equals 来对比:

public bool DemoEqual<T>(T t1, T t2) 
    => t1.Equals(t2);

上述代码有一点需要注意,如果 DemoEqual 是定义在泛型类里,并且泛型类也规定了 IComparable 约束,那么他调用的 Equals 是 IComparable.Equals ,反之调用的就是 System.Object.Equals 。这两个 Equals 在性能上没什么大的差别,前者的执行效率只比后者高了那么一丢丢,因为它只是不用在运行时检查程序有没有重写 System.Object.Equals ,以及泛型参数类型为值类型时它也不用执行装箱和拆箱操作。但是对于把性能看的特别重的开发人员来说,前者是最优的方案。

Tip:如果有较好的方法,我还是建议大家使用较好的方法,比如前面我们所说的 IComparable.Equals 。

我们在编写泛型类的时候,最好在内部编写相互重载的多个方法,这样就可以针对不同的情况调用不同的方法,并且其他开发人员调用起来也不会有过于严谨的约束。有时候我们定义的约束过于严谨,会导致泛型类的适用范围很狭窄,遇到这种情况时我们就应该考虑我们自己在泛型类种编写代码来判断传入的类型是否继承自某个类或者实现了某个接口。在泛型约束中有三种约束我们必须谨慎使用,它们就是 new 、 struct 以及 class 约束,因为它们会限定对象的构建方式,除非你要求对象的默认值必须是 0 、null 或者必须能以 new() 的形式创建,那么我们才可以使用这三种约束。

二、总结

约束是为了向调用方提出要求,但是如果约束太多调用方就需要做更多的工作来满足这些约束,因此在创建约束时应该权衡利弊,将多余的约束去掉只保留需要的约束。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • C#加解密

    加密解密在开发中经常用到,比如登录密码加密解密、消息传输加密解密等。但是很多人只会使用不理解其中的原理,这篇文章就带领大家快速学习加密解密的原理和使用。

    喵叔
  • 利用 IComparable<T> 以及 IComparer<T> 定义顺序关系

    我们都知道,在开发中如果想把某个类型的对象放入集合中执行排序和搜索功能,就需要定义出来对象与对象之间的关系。那么你知道怎么样定义对象关系才是正确的吗?下面就听我...

    喵叔
  • 一文搞定泛型知识

    泛型是程序设计语言的一种风格,允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型,在实例化时作为参数指明这些类型。泛型在 .NET 中应用尤其广...

    喵叔
  • 新闻动态|马化腾体验“游云南”APP刷脸入园,腾讯优图提供人脸识别技术支持

    10月8日,腾讯公司董事会主席兼首席执行官马化腾来到云南民族村,实地体验“游云南”APP上线的各项功能。在云南民族村门口,马化腾在App上购买了门票,并录入面部...

    优图实验室
  • SpringCloud-容错处理Hystrix熔断器(五)

  • echarts的tooltip 使用formatter后,图例小圆点不见了!

    用户4344670
  • OpenCV中BLOB特征提取与几何形状分类

    OpenCV中BLOB特征提取与几何形状分类 一:方法 二值图像几何形状提取与分离,是机器视觉中重点之一,在CT图像分析与机器人视觉感知等领域应用广泛,Open...

    OpenCV学堂
  • 视觉回顾智能手表的前世今生

    大数据文摘
  • 面向对象编程的正确姿势

    计算机程序=数据结构+算法。这是大学 C 语言教材里非常经典的一句话。这也道出了计算机程序的本质,即通过对一定的数据结构用相应的算法(逻辑)进行处理从而解决用户...

    CSDN技术头条
  • stack Error: EACCES: permission denied

    熟练地打开 Google 搜报错信息:stack Error: EACCES: permission denied

    Vance大飞

扫码关注云+社区

领取腾讯云代金券