RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题 / 1354728
Accepted
Demon __
Demon __
Asked:2022-04-28 04:43:55 +0000 UTC2022-04-28 04:43:55 +0000 UTC 2022-04-28 04:43:55 +0000 UTC

逆变函数是什么意思

  • 772

打字稿文档

在 strictFunctionTypes 下,函数类型参数位置以逆变方式而不是双变量方式进行检查。有关方差对函数类型意味着什么的背景知识,请查看什么是协方差和逆变?。

我也读过这个,但不明白什么是逆变?

javascript
  • 1 1 个回答
  • 10 Views

1 个回答

  • Voted
  1. Best Answer
    Gleb Kemarsky
    2022-04-28T21:09:31Z2022-04-28T21:09:31Z

    泛型接口的协变和逆变:

    协变和逆变的概念与在应用程序中使用的能力有关,而不是某种类型,而是在继承层次结构中较低或较高的另一种类型。

    • 协方差允许您使用比最初指定的类型更具体的类型。
    • 逆变允许您使用比最初指定的更通用的类型。

    因此,如果我们创建一个数据类型животные及其子类型собакиor кошки,那么在我们的函数类型中,不同的参数将对另一种类型的值做出不同的反应:

    • covariant ( covariant ) 允许您转移给他собак或кошек代替животных最初分配的那些;
    • 逆变将接受животных而不是,собак但反之亦然;
    • bivariant ( bivariant ) 将允许两种选择;
    • invariant不允许替换,只允许指定的数据类型。

    通常,打字稿中的参数将允许不变性,而 costrictFunctionTypes参数将需要逆变性。因此,例如:

    type Animal = 'cat1' | 'cat2' | 'dog1' | 'dog2' | 'elephant1' | 'elephant2';
    type Dog = 'dog1' | 'dog2';
    
    declare let f1: (x: Animal) => void;
    declare let f2: (x: Dog) => void;
    

    那么这两个分配对于普通参数(沙箱)都是有效的:

    f1 = f2; // Ok without --strictFunctionTypes
    f2 = f1; // Ok
    

    和 costrictFunctionTypes第一个将导致错误消息(沙箱):

    f1 = f2; // Error with --strictFunctionTypes
    f2 = f1; // Ok
    

    如果我们添加第三个子类型

    type Cat = 'cat1' | 'cat2';
    
    declare let f3: (x: Cat) => void;
    

    那么第三个赋值在这两种情况下都会导致错误 - 无论有strictFunctionTypes没有它:

    f2 = f3; // Error
    

    接口

    对于接口来说,重要的是它们之间是否存在结构上的差异,仅仅继承这一事实是不够的。

    类型兼容性:

    TypeScript 的结构化类型系统是根据 JavaScript 代码的典型编写方式设计的。因为 JavaScript 广泛使用匿名对象,如函数表达式和对象字面量,所以用结构化类型系统而不是名义上的类型系统来表示 JavaScript 库中发现的各种关系要自然得多。

    此代码不会显示错误(沙箱):

    interface Animal{}
    interface Dog extends Animal{}
    interface Cat extends Animal{}
    
    declare let f1: (x: Animal) => void;
    declare let f2: (x: Dog) => void;
    declare let f3: (x: Cat) => void;
    
    f1 = f2;
    f2 = f1;
    f2 = f3;
    

    但是在此代码中,如果在设置中启用此选项,则会出现一个错误或strictFunctionTypes两个错误:

    interface Animal{}
    interface Dog extends Animal{
        breed: string;
    }
    interface Cat extends Animal{
        name: string;
    }
    
    declare let f1: (x: Animal) => void;
    declare let f2: (x: Dog) => void;
    declare let f3: (x: Cat) => void;
    
    f1 = f2; // Error with --strictFunctionTypes
    f2 = f1; // Ok
    f2 = f3; // Error
    

    和错误文本:

    “动物”类型不能分配给“狗”类型。

    • 7

相关问题

  • 第二个 Instagram 按钮的 CSS 属性

  • 由于模糊,内容不可见

  • 弹出队列。消息显示不正确

  • 是否可以在 for 循环中插入提示?

  • 如何将 JSON 请求中的信息输出到数据表 Vuetify vue.js?

Sidebar

Stats

  • 问题 10021
  • Answers 30001
  • 最佳答案 8000
  • 用户 6900
  • 常问
  • 回答
  • Marko Smith

    表格填充不起作用

    • 2 个回答
  • Marko Smith

    提示 50/50,有两个,其中一个是正确的

    • 1 个回答
  • Marko Smith

    在 PyQt5 中停止进程

    • 1 个回答
  • Marko Smith

    我的脚本不工作

    • 1 个回答
  • Marko Smith

    在文本文件中写入和读取列表

    • 2 个回答
  • Marko Smith

    如何像屏幕截图中那样并排排列这些块?

    • 1 个回答
  • Marko Smith

    确定文本文件中每一行的字符数

    • 2 个回答
  • Marko Smith

    将接口对象传递给 JAVA 构造函数

    • 1 个回答
  • Marko Smith

    正确更新数据库中的数据

    • 1 个回答
  • Marko Smith

    Python解析不是css

    • 1 个回答
  • Martin Hope
    Alexandr_TT 2020年新年大赛! 2020-12-20 18:20:21 +0000 UTC
  • Martin Hope
    Alexandr_TT 圣诞树动画 2020-12-23 00:38:08 +0000 UTC
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Qwertiy 号码显示 9223372036854775807 2020-07-11 18:16:49 +0000 UTC
  • Martin Hope
    user216109 如何为黑客设下陷阱,或充分击退攻击? 2020-05-10 02:22:52 +0000 UTC
  • Martin Hope
    Qwertiy 并变成3个无穷大 2020-11-06 07:15:57 +0000 UTC
  • Martin Hope
    koks_rs 什么是样板代码? 2020-10-27 15:43:19 +0000 UTC
  • Martin Hope
    Sirop4ik 向 git 提交发布的正确方法是什么? 2020-10-05 00:02:00 +0000 UTC
  • Martin Hope
    faoxis 为什么在这么多示例中函数都称为 foo? 2020-08-15 04:42:49 +0000 UTC
  • Martin Hope
    Pavel Mayorov 如何从事件或回调函数中返回值?或者至少等他们完成。 2020-08-11 16:49:28 +0000 UTC

热门标签

javascript python java php c# c++ html android jquery mysql

Explore

  • 主页
  • 问题
    • 热门问题
    • 最新问题
  • 标签
  • 帮助

Footer

RError.com

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

帮助

© 2023 RError.com All Rights Reserve   沪ICP备12040472号-5