TypeScript 的 Substitutability
Substitutability
中文含义是 可代替性,这个词我未在 TypeScript
的语言特性相关文档上看到,百度、谷歌搜索也寥寥无几。仅在TypeScript FAQ 找到相关描述。
有关类型系统的许多答案都提到了可替代性。 这是一个原则,即如果可以使用对象
X
代替某些对象Y
,则X
是Y
的子类型。我们通常也说X
可以分配给Y
(这些术语在TypeScript
中的含义略有不同,但是 区别在这里并不重要)。
这段描述很好理解,大体就是子类型可以用在父类型出现的地方。但实际涉及的TypeScript
使用场景,和这个词不是很契合,也许是语言的差异,中文含义不便于理解。
实际 Substitutability
解决的场景是:TypeScript
允许 function
作为回调函数时,入参个数、返回类型可以不符合方法签名。
回调 Function 入参比签名少
fetchResults
有一个参数,即回调函数。 该方法从某处获取数据,然后执行回调。 回调的方法签名有两个参数, statusCode
和results
。
function fetchResults(callback: (statusCode: number, results: number[]) => void) {
const results = [1,2,3];
...
callback(200, results);
}
我们用下面的方式调用 fetchResults
,注意方法签名是不同的,它没有第二个参数 results
。
function handler(statusCode: number) {
// 业务处理
...
}
fetchResults(handler); // ️
可以正常编译,没有任何错误或警告。 看起来有点奇怪,但细想一下,你一直在这么用。
Array.prototype.forEach
方法签名
/**
* Performs the specified action for each element in an array.
* @param callbackfn A function that accepts up to three arguments. forEach calls the callbackfn function one time for each element in the array.
* @param thisArg An object to which the this keyword can refer in the callbackfn function. If thisArg is omitted, undefined is used as the this value.
*/
forEach(callbackfn: (value: T, index: number, array: T[]) => void, thisArg?: any): void
实际使用:
let items = [1, 2, 3];
items.forEach(arg => console.log(arg));
在运行时,forEach使用三个参数(value、index、array)调用给定的回调函数,但大多数时候回调函数只使用其中的一个或两个参数。
那为什么不干脆将forEach 参数声明为可选。
forEach(callback: (element?: T, index?: number, array?: T[]))
如果声明为可选,由于回调的提供者不知道调用方何时会传递多少参数,将不得不检查各个参数,这显然不是你想要的。
function maybeCallWithArg(callback: (x?: number) => void) {
if (Math.random() > 0.5) {
callback();
} else {
callback(42);
}
}
声明非可选,是站在调用者的角度,保证按声明传递参数,可以兼容需要不同个数参数的回调函数;
这么处理的合理性在于,回调函数自身是最了解如何处理入参的,如果它不关心某些入参,它可以安全的忽略。
回调返回类型不匹配签名 return void
如果函数类型指定返回类型 void,则也接受具有不同的、更具体的返回类型的函数。同样,用前面的例子,这次增加handle的返回类型声明。
function handler(statusCode: number): {age:number}{
// 业务处理
...
return {"age": 4};
}
fetchResults(handler); // ️
fetchResults 接受的回调函数返回类型是void,而这次的handler 返回{age:number}
类型,依然正常编译。
你依然可以将callback结果赋值给一个变量,但仅仅限于声明语句,其他操作都将编译失败。
function fetchResults(callback: (statusCode: number, results: number[]) => void) {
const results = [1,2,3];
...
let didItWork = callback(200, results); // ️ 1)
console.log(didItWork); // ️
console.log(didItWork.age) //
didItWork = {"age": 4} ; //
}
// 注意虽然编译报错,但不影响最后js执行,Playground 运行结果
[LOG]: {
"age": 4
}
[LOG]: 4
可能有人困惑既然void类型无法进行其他操作,为什么要允许1)处赋值void类型给变量。TypeScript 1.4语言规范 给出了如下说明:
注意:我们考虑过禁止声明Void类型的变量,因为它们没有用处。 但是,由于允许将Void作为泛型类型或函数的类型参数,因此不允许Void属性或参数是不可行的。
function foo<T>(param:T) {
let localParam:T = param;
}
foo<number>(3); // ️
foo<void>(undefined); // ️
这么处理的合理性在于,回调函数的调用者通过声明callback 返回void, 它最清楚也可以保证返回值不会被使用。
TypeScript 的 Substitutability的更多相关文章
- TypeScript: Angular 2 的秘密武器(译)
本文整理自Dan Wahlin在ng-conf上的talk.原视频地址: https://www.youtube.com/watch?v=e3djIqAGqZo 开场白 开场白主要分为三部分: 感谢了 ...
- TypeScript为Zepto编写LazyLoad插件
平时项目中使用的全部是jQuery框架,但是对于做webapp来说jQuery太过于庞大,当然你可以选择jQuery 2.*针对移动端的版本. 这里我采用移动端使用率比较多的zepto框架,他跟jqu ...
- TypeScript Vs2013 下提示Can not compile modules unless '--module' flag is provided
VS在开发TypeScript程序时候,如果import了模块有的时候会有如下提示: 这种情况下,只需要对当前TypeScript项目生成设置为AMD规范即可!
- TypeScript
TypeScript: Angular 2 的秘密武器(译) 本文整理自Dan Wahlin在ng-conf上的talk.原视频地址: https://www.youtube.com/watch? ...
- 打造TypeScript的Visual Studio Code开发环境
打造TypeScript的Visual Studio Code开发环境 本文转自:https://zhuanlan.zhihu.com/p/21611724 作者: 2gua TypeScript是由 ...
- 转职成为TypeScript程序员的参考手册
写在前面 作者并没有任何可以作为背书的履历来证明自己写作这份手册的分量. 其内容大都来自于TypeScript官方资料或者搜索引擎获得,期间掺杂少量作者的私见,并会标明. 大部分内容来自于http:/ ...
- Webstorm编译TypeScript
下载webstorm 下载node.js编译器npm Webstorm的安装很简单.但如果没有Java For Mac 环境打开Webstorm时会有提示,点击提示会跳转下载链接,下载安装就好. ...
- CSS3与页面布局学习总结(七)——前端预处理技术(Less、Sass、CoffeeScript、TypeScript)
CSS不像其它高级语言一样支持算术运算.变量.流程控制与面向对象特性,所以CSS样式较多时会引起一些问题,如修改复杂,冗余,某些别的语言很简单的功能实现不了等.而javascript则是一种半面向对象 ...
- 使用TypeScript拓展你自己的VS Code!
0x00 前言 在前几天的美国纽约,微软举行了Connect(); //2015大会.通过这次大会,我们可以很高兴的看到微软的确变得更加开放也更加务实了.当然,会上放出了不少新产品和新功能,其中就包括 ...
随机推荐
- .NET 云原生架构师训练营(模块二 基础巩固 MongoDB API重构)--学习笔记
2.5.8 MongoDB -- API重构 Lighter.Domain Lighter.Application.Contract Lighter.Application LighterApi Li ...
- 8. 格式化器大一统 -- Spring的Formatter抽象
目录 ✍前言 本文提纲 版本约定 ✍正文 Printer&Parser Formatter 时间日期格式化 Date类型 代码示例 JSR 310类型 整合DateTimeFormatter ...
- 【转】借助LVS+Keepalived实现负载均衡
一.负载均衡:必不可少的基础手段 1.1 找更多的牛来拉车吧 当前大多数的互联网系统都使用了服务器集群技术,集群即将相同服务部署在多台服务器上构成一个集群整体对外提供服务,这些集群可以是Web应用服务 ...
- Oracle 锁表以及解锁
-- kill_exec 列为解锁的语句,copy出来执行即可.select 'alter system kill session ''' || s.sid || ',' || s.serial# | ...
- Maven项目编译之后xml文件不存在
如题: 问题请看图,target目录是编译之后的,发现并没有对应的mapper.xml文件 原因: maven项目默认不加载此类文件 解决办法有两个: 其一是将mybatis的xml映射文件放在mav ...
- Array.apply(null, {length: 2}) 的理解
// apply 的第二参数通常是数组 但是也可以传递类数组对象{length: 2}console.log(Array.apply(null, {length: 2})) // [undefined ...
- 肌肤管家SkinRun V3S智能皮肤检测仪,用AI探索肌肤问题
继肌肤管家SkinRun V3皮肤检测仪之后,肌肤管家SkinRun近期又一重磅推出的肌肤管家SkinRun V3S 智能肌肤测试仪引起了美业人的广泛关注.据了解它汇集百万皮肤数据,利用五光谱原理和人 ...
- Head First 设计模式 —— 15. 与设计模式相处
模式 是在某情境(context)下,针对某问题的某种解决方案. P579 情景:应用某个模式的情况 问题:你想在某情境下达到的目标,但也可以是某情境下的约束 解决方案:一个通用的设计,用来解决约束. ...
- ctfshow—web—web2
打开靶机,根据提示是SQL注入 打开后看到登录窗口 方法一.手工注入 抓取数据包 开始SQL注入测试 利用万能密码,登录成功 查看回显位置 查询数据库 查询数据库内数据表 如果想整齐一点显示可以添加g ...
- 关于BAPI_TRANSACTION_COMMIT一点说明
我们调用bapi做了相关的业务操作后,通常都要在后面调用 BAPI_TRANSACTION_COMMIT来提交所做得更改 然而,有时候,在程序中需要调用多个不同的BAPI实现不同的功能,那么这个时候就 ...