TypeScript躬行记(5)——类型兼容性
TypeScript是一种基于结构类型的语言,可根据其成员来描述类型。以结构相同的Person接口和Programmer类为例,如下所示。
interface Person {
name: string;
}
class Programmer {
name: string;
}
let person: Person = new Programmer();
由于结构类型的关系,因此当变量声明为Person类型时,可通过Programmer类实例化。由此可知,结构类型只关注类型的组成结构,而名称并不重要。
一、函数
在判断两个函数的兼容性时,需要考虑参数数量、返回值类型等多个方面。
1)参数数量
假设有两个函数add()和sum(),它们的参数数量不同,后者比前者多一个参数,而函数的返回值类型相同,如下所示。
let add = (x: number) => 0;
let sum = (y: number, z: number) => 0;
当把add赋给sum时,编译能成功执行;而反之,则会报错,如下所示。
sum = add; //正确
add = sum; //错误
由此可知,参数少的函数不能赋给参数多的;而反过来时,需要确保每个位置所对应的参数类型保持一致,不过参数名称可以不同。
2)返回值类型
假设有两个函数add()和sum(),它们没有参数,后者的返回值比前者多一个属性,如下所示。
let add = () => ({ x: 1 });
let sum = () => ({ x: 1, y: 2});
当把sum赋给add时,编译能成功执行;而反之,则会报错,如下所示。
add = sum; //正确
sum = add; //错误
由此可知,源函数的返回值类型得是目标函数返回值的子类型。
3)参数类型
TypeScript中的参数类型需要同时满足协变和逆变,即双向协变。协变比较好理解,是指子类型兼容父类型,而逆变正好与协变相反。在下面的示例中,定义了父类Person和子类Programmer,Programmer类覆盖了Person类中的work()方法,并且其参数类型声明的更加宽泛。
class Person {
work(msg: string | undefined) { }
}
class Programmer extends Person {
work(msg: string) { }
}
接下来声明两个函数,它们的参数类型分别是Person和Programmer两个类,如下所示,其中person()函数是programmer()函数的子类型。
let person = (x: Person) => 0;
let programmer = (x: Programmer) => 0;
由于参数类型是双向协变的,因此两个变量之间可相互赋值,如下所示。
person = programmer;
programmer = person;
4)可选参数和剩余参数
在比较函数的兼容性时,不需要匹配可选参数。以下面的pls()和add()两个函数为例,pls()中的两个参数必传,而add()中的第二个参数是可选的。
let pls = (x: number, y: number) => 0;
let add = (x: number, y?: number) => 0;
pls = add;
add = pls;
虽然参数不同,但是两个函数仍然是兼容的,并且可以相互赋值。剩余参数相当于无限个可选参数,也不会被匹配。下面示例中的sum()函数只声明了剩余参数,它与pls()和add()两个函数都是兼容的。
let sum = (...args: number[]) => 0;
pls = sum;
sum = pls; add = sum;
sum = add;
5)函数重载
当比较存在多个重载的函数时,其每个重载都要在目标函数上找到对应的函数签名,以此确保目标函数能在源函数所有可调用的地方调用,如下所示。
interface add {
(x: number, y: string): any;
(x: number, y: number): number;
}
function sum(x: number, y: string): any;
function sum(x: number, y: number): number;
let func: add = sum;
二、枚举
来自于不同枚举类型的枚举值,被认为是不兼容的,如下所示,当把Direction.Up赋给color变量时,在编译阶段会报错。
enum Color { Red, Green, Blue }
enum Direction { Up, Down, Left, Right }
let color = Color.Red; //正确
color = Direction.Up; //错误
数字枚举和数字类型相互兼容,如下所示,color变量被赋予了枚举成员,digit变量是一个数字,它们之间可以相互赋值。
let color = Color.Red;
let digit = 1;
color = digit;
digit = color;
字符串枚举无法兼容字符串类型,如下所示,当把field变量赋给Color的枚举成员时,在编译阶段会报错,但反过来可以正确执行。
enum Color { Red = "RED", Green = "GREEN", Blue = "BLUE" }
let color = Color.Red;
let field = "PURPLE";
color = field; //错误
field = color; //正确
三、类
类与对象字面量和接口类似,但类包含静态和实例两部分。在比较两个类实例时,仅匹配它们的实例成员,而静态成员和构造函数不影响兼容性,因为它们在比较时会被忽略。
在下面的示例中,创建了Person和Programmer两个类,虽然Programmer类包含了一个静态属性,并且其构造函数与Person类不同,但是它们之间可以相互兼容。
class Person {
name: string;
constructor(name: string) { }
}
class Programmer {
name: string;
static age: number;
constructor(name: string, age: number) { }
} let person: Person;
let programmer: Programmer;
person = programmer;
programmer = person;
类的私有成员和受保护成员会影响兼容性,TypeScript要求它们必须来源于同一个类,从而既能保证父类兼容子类,也能避免与其它相同结构的类兼容。
在下面的示例中,Person和Teacher两个类都包含一个同名的私有属性,Programmer是Person的子类,三个变量的类型对应这三个类。
class Person {
private name: string;
}
class Teacher {
private name: string;
}
class Programmer extends Person { } let person: Person;
let programmer: Programmer;
let teacher: Teacher;
person和programmer两个变量可相互赋值,因为它们的私有成员来源于同一个类,如下所示。
person = programmer;
programmer = person;
虽然person和teacher两个变量的结构相同,但是它们的私有成员来源于两个不同的类,因此无法相互赋值,如下所示。
person = teacher; //错误
teacher = person; //错误
四、泛型
当泛型接口中的类型参数未使用时,不会影响其兼容性,如下所示,x和y两个变量可相互赋值。
interface Person<T> { }
let x: Person<number>;
let y: Person<string>; x = y;
y = x;
当泛型接口中的类型参数被一个成员使用时,就会影响其兼容性,如下所示,x和y两个变量不可相互赋值。
interface Person<T> {
data: T;
}
let x: Person<number>;
let y: Person<string>; x = y; //错误
y = x; //错误
当比较未指定参数类型的泛型函数时,在检查兼容性之前会将其替换成any类型,例如下面的两个函数,相当于对“(x: any)=>any”和“(y: any)=>any”进行匹配,因此可相互赋值。
let send = function<T>(x: T): T {
return x;
}
let func = function<U>(y: U): U {
return y;
} send = func;
func = send;
泛型类的兼容性规则与之前所述一致。
TypeScript躬行记(5)——类型兼容性的更多相关文章
- TypeScript躬行记(3)——类
类是对对象的抽象,描述了对象的特征和行为,而对象就是类的实例.ES6引入了类的概念(相关内容可参考ES类和ES6类的继承两节),TypeScript在此基础上,不仅根据ES7等规范完善了类的语法,还添 ...
- TypeScript躬行记(6)——高级类型
本节将对TypeScript中类型的高级特性做详细讲解,包括交叉类型.类型别名.类型保护等. 一.交叉类型 交叉类型(Intersection Type)是将多个类型通过“&”符号合并成一个新 ...
- TypeScript躬行记(8)——装饰器
装饰器(Decorator)可声明在类及其成员(例如属性.方法等)之上,为它们提供一种标注,用于分离复杂逻辑或附加额外逻辑,其语法形式为@expression.expression是一个会在运行时被调 ...
- TypeScript躬行记(1)——数据类型
TypeScript不仅支持JavaScript所包含的数据类型,还额外扩展了许多实用的数据类型,例如枚举.空值.任意值等. 一.JavaScript的数据类型 JavaScript的数据类型包括6种 ...
- TypeScript躬行记(2)——接口
在传统的面向对象语言中,接口(Interface)好比协议,它会列出一系列的规则(即对行为进行抽象),再由类来实现这些规则.而TypeScript中的接口更加灵活,除了包含常规的作用之外,它还能扩展其 ...
- TypeScript躬行记(4)——泛型
泛型是程序设计语言中的一种风格或范式,相当于类型模板,允许在声明类.接口或函数等成员时忽略类型,而在未来使用时再指定类型,其主要目的是为它们提供有意义的约束,提升代码的可重用性. 一.泛型参数 当一个 ...
- TypeScript躬行记(7)——命名空间
TypeScript中的命名空间可将那些具有内在联系的接口.类或对象等代码组织在一起,既能隔离作用域,也能避免命名冲突,并且使得代码结构清晰,更易追踪.在命名空间内部,所有实体部分默认都是私有的,需要 ...
- ES6躬行记(1)——let和const
古语云:“纸上得来终觉浅,绝知此事要躬行”.的确,不管看了多少本书,如果自己不实践,那么就很难领会其中的精髓.自己研读过许多ES6相关的书籍和资料,平时工作中也会用到,但在用到时经常需要上搜索引擎中查 ...
- ES6躬行记 笔记
ES6躬行记(18)--迭代器 要实现以下接口## next() ,return,throw 可以用for-of保证迭代对象的正确性 例如 var str = "向
随机推荐
- IDF-CTF-牛刀小试 writeup
题目链接:http://ctf.idf.cn/index.php?g=game&m=list&a=index&id=16 被改错的密码 从前有一个熊孩子入侵了一个网站的数据库, ...
- inclusion_tag 基本使用
inclusion_tag的用途 inclusion_tag可以实现从后台往前端传递绑定数据的样式,一般用来动态显示模板页面中显示固定格式的数据. inclusion_tag的用法 step1: 编写 ...
- solr的moreLikeThis实现“相似数据”功能
在我们使用网页搜索时,会注意到每一个结果都包含一个 “相似页面” 链接,单击该链接,就会发布另一个搜索请求,查找出与起初结果类似的文档.Solr 使用 MoreLikeThisComponent(ML ...
- python之从文件中按行读取数据
#!/usr/bin/env python3 # -*- coding: utf-8 -*- __author__ = 'jiangwenwen' # 从文件中按行读取数据 file = open(& ...
- ES6---new Promise()讲解,Promise对象是用来干嘛的?
ES6---new Promise()讲解,Promise对象是用来干嘛的? :https://blog.csdn.net/Wbiokr/article/details/79490390
- Python入门习题2.蟒蛇绘制(turtle库)
例2.调用turtle库中的若干函数来绘制蟒蛇,要求:(1)主体窗口宽650像素,高度350像素,窗口左侧与屏幕左侧像素距离200,窗口顶部与屏幕顶部像素距离200:(2)画笔落点在原点反向前进250 ...
- 38.0到n-1中缺失的数字
题目描述: 一个长度为n-1的递增排序数组中的所有数字都是唯一的,并且每个数字的范围都在0到n-1之内.在范围0到n-1内的n个数字中有且仅有一个数字不在该数组中,求出该数字. 思路分析: 因 ...
- owaspbwa tickets
owaspbwa tickets 来源 https://sourceforge.net/p/owaspbwa/tickets/ 192 SQL Injection in pic_id paramet ...
- elasticsearch 基础 —— URI搜索
URI搜索 可以通过提供请求参数使用URI来执行搜索请求.使用此模式执行搜索时,并非所有搜索选项都会暴露.这是一个例子: GET twitter/_search?q=user:kimchy 示例响应: ...
- Java虚拟机——Java内存区域与内存溢出
内存区域 Java虚拟机在执行Java程序的过程中会把他所管理的内存划分为若干个不同的数据区域.Java虚拟机规范将JVM所管理的内存分为以下几个运行时数据区:程序计数器.Java虚拟机栈.本地方法栈 ...