首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    TypeScript 中的逆、协和双向协

    前言 为什么需要引入逆、协和双向协这些概念 因为考虑到类型兼容,详情参考https://www.typescriptlang.org/docs/handbook/type-compatibility.html...animal 实例上缺少属性 'bark' 协和逆 如何处理类型兼容呢?...通过协和逆原则 协与逆(covariance and contravariance)是在计算机科学中,描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语...维基百科上关于协和逆的解释有点晦涩难懂。...这里,我们用更通俗一点的语言来表述: 协:允许子类型转换为父类型(可以里式替换LSP原则进行理解) 逆:允许父类型转换为子类型 逆 // Dog ≼ Animal var feedAnimal

    1.1K20

    认真CS☀️协、逆 & 不变

    in关键字指明类型参数是逆的 逆:在类型参数前加in 基类对象的引用期望的是传入到基类对象,但实际上(也允许它)传入到派生对象,这叫做逆 这样可以工作,因为在调用的时候,调用代码传入了派生类型的变量...“逆”->”逆常的”->”不正常的变化”->object->string 逆。...协(out)是将派生类对象的引用传入到基类对象,输出派生类的值 逆(in)是将基类对象的引用传入到派生对象,派生对象只能操作基类部分 接口的协和逆 1️⃣ 接口的协 using System...DoSomething(father); } } 3️⃣ 协和逆的隐式强制转换 编译器自动识别某个已构建的委托是协或是逆并且自动进行强制转换 using System;...这些类型参数不能用于协或逆 delegate T Factory(); // 协 不变 大家还有什么问题,欢迎在下方留言

    10110

    C#协和逆

    msdn 解释如下:  “协”是指能够使用与原始指定的派生类型相比,派生程度更大的类型。  “逆”则是指能够使用派生程度更小的类型。  解释的很正确,大致就是这样,不过不够直白。 ...直白的理解:  “协”->”和谐的”->”很自然的变化”->string->object :协。  “逆”->”逆常的”->”不正常的变化”->object->string 逆。 ...上面是个人对协和逆的理解,比起记住那些派生,类型,原始指定,更大,更小之类的词语,个人认为要容易点。 ...我个人的理解: 因为协和逆的英文太复杂了,并没有体现协和逆的不同,但是out 和 in 却很直白。...上面演示的是协,接下来要演示下逆

    94830

    泛型协与抗(二)

    NET 4通过协和抗变为泛型接口和泛型委托添加了一个重要的扩展。协和抗指对参数和返回值的类型进行转换。   ...我们来看下到底什么是协什么是抗: 如果某个返回的类型可以由其基类替换,那么这个类型就是支持协的   如果某个参数类型可以由其派生类替换,那么这个类型就是支持逆(抗)的。...这里就比较接近泛型接口的协和抗的概念了。...理解泛型接口的协和抗(in、out)   我们下面来看看泛型接口的协及抗的例子:   首先我们看下协,在C#高级编程(第十一版)中指出,如果泛型类型用out关键字标注,泛型接口就是协的。...协:(使用关键字out)返回类型可以由其基类所替代的时候,就是支持协的。     抗(逆):(使用关键字in)传入参数类型可以由其派生类所代替的时候,就是支持抗(逆)的。

    81920
    领券