ts协变与逆变

最新推荐文章于 2024-09-13 10:46:15 发布
最新推荐文章于 2024-09-13 10:46:15 发布
阅读量121 收藏
点赞数
文章标签： 前端 javascript 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44754507/article/details/131966112
版权
文章讲述了TypeScript中如何定义接口Fans和IKun，以及如何创建类型转换函数typeTransform和subTransform。subTransform函数接收IKun类型的参数，调用其tiao方法并返回任何类型的值。transform变量被赋值为subTransform，展示了接口和类型之间的关系。
摘要由CSDN通过智能技术生成

interface Fans {

    call: any

}

interface IKun extends Fans {

    tiao: () => void

};


 

type Transform = (x: Fans) => Fans;

type SubTransform = (x: IKun) => IKun;

const subTransform: SubTransform = (x: IKun) => {

    console.log(x.tiao());

    return x as any

};

const transform: Transform = subTransform;

console.log(transform({

    call: function(){

    }

}));

weixin_44754507
关注
ts 协变和逆变 一个不怎么有趣的问题
阿豪
08-30 233
原文链接: ts 协变和逆变 一个不怎么有趣的问题 ...
Typescript中的协变和逆变
天地会珠海分舵
09-07 2283
最近用TS时碰到协变和逆变的一些概念，发现有篇外国人写的文章比较容易理解的，这里记录下。 1. 协变和逆变简单理解 先简单说下协变和逆变的理解。 首先，无论协变还是逆变，必然是存在于有继承关系的类当中，这个应该好理解吧。如果你只有一个类，那没有什么好变的。 其次，无论协变还是逆变，既然是变，那必然是存在不同类之间的对象的赋值，比如子类对象赋值给父类对象，父类对象赋值给子类对象，这样才叫做变。 结合上面两条，我觉得协变和逆变在我的字典中就能定义成：支持子类对象赋值给父类对象的情况称之为协变；反之，支持父类对象
ts：协变与逆变
包磊磊的博客
11-29 315
(a: 1) => void 是 (a: number) => void 的父类型。(a: 1) => void 是 (a: number) => void 的父类型。我们可以发现， 参数的子类型关系倒过来了，但是返回值位置的子类型关系依旧保留。我们可以发现， 参数的子类型关系倒过来了，但是返回值位置的子类型关系依旧保留。() => 1 是 () => number 的子类型。() => 1 是 () => number 的子类型。所以函数中，参数是逆变的，返回值是协变的。1 是 number 的子类型，
TS进阶 协变 逆变 双向协变
小余的前端博客
04-21 416
在 TypeScript 中，鸭子类型是一种使用接口（interfaces）和类型断言（type assertions）来模拟动态类型系统的方法。A B 两个类型完全不同但是竟然可以赋值并无报错B类型充当A类型的子类型，当子类型里面的属性满足A类型就可以进行赋值，也就是说不能少可以多，这就是协变。是一个术语，用于描述动态类型语言中的类型系统的一种特殊方式。所谓的类型兼容性，就是用于确定一个类型是否能赋值给其他的类型。小满的解释：一只鸟 走路像鸭子 ，游泳也像，做什么都像，那么这只鸟就可以成为鸭子类型。
JAVA中的协变和逆变
景月娇-Kathy
12-27 2553
协变逆变的概念 可变性是以一种类型安全的方式，将一个对象当做另一个对象来使用。如果不能将一个类型替换成为另一个类型，那么这个类型就称之为：不变量。 协变：如果某个返回的类型可以由其派生类替换，那么这个类型就是支持协变的。 逆变：如果某个参数类型可以由其基类替换，那么这个类就是支持逆变的。 如Function, 在这里R 作为函数的返回值, 所以这个泛型要协变, 而T用在函数的参数上所以要用逆变 Function<? super Dog,? extends Animal> f1; 协变 如: L
TypeScript笔记——数组、元组、（协变、逆变、双向协变）、Symbol类型、类型断言
不学会react不改名的博客
04-23 422
ts笔记——数组、元组、(协变、逆变、双向协变)、Symbol类型、类型断言
ts函数兼容性、逆变与协变
weixin_44050919的博客
12-19 605
ts逆变与协变、typescript逆变与协变
java协变和逆变
xxhhbb1538的专栏
05-17 1500
java中的协变和逆变理论，在网络上有很多，但是理解起来需要花费点时间。 协变和逆变一般都是作为方法的参数存在的，常常看到PECS理论，exends作为用来限制生产者，super用来限制消费者。 使用extends产生协变，传入方法的参数，必须是T的类型或者子类型的集合，此时集合不能add，只能get。如果能够add，那么在调用方法内，如果我add了一个T的子类对象，这个对象类型又跟传入的list中的对象类型 不一样，那么就会导致在调用方法外，出现类型错误。这样就产生了限制生产者的作用。 ..
【软件构造】--Java中的协变与逆变
qq_53094471的博客
06-11 871
JAVA
31-协变-逆变-双向协变(赋值操作).ts
03-06
31-协变-逆变-双向协变(赋值操作)
TypeScript 中的逆变、协变和双向协变
qq_34998786的博客
12-21 542
前言为什么需要引入逆变、协变和双向协变这些概念因为考虑到类型兼容,详情参考https://www.typescriptlang.org/docs/handbook/type-compati...
聊聊TypeScript类型兼容，协变、逆变、双向协变以及不变性
Hitxzi的博客
05-26 1265
前言 学过集合论的同学一定知道子集的概念，使用ES6 class写过继承的同学一定知道子类的概念，而使用过TypeScript的同学，也许知道子类型的概念。 但是你知道协变 (Covariant)、逆变 (Contravariant)、双向协变 (Bivariant) 和不变 (Invariant) 这些概念吗？你知道像TypeScript这种强大的静态类型检查的编程语言，是怎么做类型兼容的吗？我们今天来聊聊。 关于Subtyping 子类型是编程语言中一个有趣的概念，源自于数学中子集的概念： 如果集合
水平居中的几种方法（总结）
致未来的你。的博客
09-11 751
水平居中的几种方法（总结）
基于Spring Boot构建一个点餐系统
嵌入式行业打工人，不定期更新博客。
09-08 1048
这个示例提供了一个非常基础的框架，你可以在此基础上扩展更多的功能，如用户认证、购物车管理、支付接口等。在实际开发过程中，还需要考虑诸如错误处理、事务管理、日志记录等方面的问题。此外，确保所有的API调用都是安全的，并且正确处理用户的输入数据，防止SQL注入等安全风险。如有疑问和需求，可以私信联系我。
构建高效 Python Web API：RESTful 设计与 GraphQL 实践
weixin_52392194的博客
09-11 1302
在现代 Web 开发中，API 是前后端通信的核心枢纽，设计一个高效且易于扩展的 API 是保证系统良好运行的基础。本文详细探讨 RESTful API 的设计准则，如何生成 API 文档，GraphQL 的应用，以及如何在 FastAPI 和 Django REST Framework 中实现分页、过滤、认证等功能。
计算机毕业设计 基于SpringBoot的课程教学平台的设计与实现 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试
weixin_19164791635
09-12 855
本文介绍了一款基于Java、SpringBoot和Vue.js技术的课程教学平台。该平台服务于管理员、学生和教师，提供教学资源管理、课程信息浏览、作业提交与批改等功能，旨在优化教学流程，提升教育质量，促进教育资源的数字化共享，推动教育信息化发展。
（微服务项目）新闻头条——Day1
最新发布
weixin_73253843的博客
09-13 827
（微服务项目）新闻头条——Day1
2024伊语IM即时通讯源码/im商城系统/纯源码IM通讯系统安卓+IOS前端纯原生源码
翎风世界
09-10 684
2.4 node安装wget "https://nodejs.org/dist/v12.18.3/node-v12.18.3-linux-x64.tar.xz"资料参考地址：https://www.1234f.com/sj/GitHub/qtym/20240910/677.html。源码下载地址：https://www.123pan.com/s/LA1bVv-5l5Vv。备用下载地址：http://pan.1234f.com:5212/s/5PrS4。api.xxx.com接口。im.xxx.com通讯。
ts 之 函数参数双向协变
06-08
在 TypeScript 中，函数参数双向协变指的是函数参数类型在函数类型中既可以作为参数类型，也可以作为返回值类型。具体来说，如果一个函数类型中，参数类型是可赋值给传入参数类型，同时传入参数类型也是可赋值给参数类型，则称这种情况为参数双向协变。 例如，考虑下面这个示例： ```typescript type Func = (arg: string) => number; let f: Func = (arg: any) => 1; ``` 在这个示例中，我们定义了一个函数类型 `Func`，它接受一个 `string` 类型的参数并返回一个 `number` 类型的值。然后，我们将一个函数赋值给 `f` 变量，该函数接受任意类型的参数并返回一个 `number` 类型的值。 这个赋值操作是合法的，因为在函数类型中，参数类型是可赋值给传入参数类型的（即 `string` 类型可以赋值给任意类型），同时传入参数类型也是可赋值给参数类型的（即任意类型可以赋值给 `string` 类型）。因此，函数参数双向协变是 TypeScript 中的一个重要特性，它允许我们更灵活地定义和使用函数类型。
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值