声明合并
如果定义了两个相同名字的函数、接口或类,那么它们会合并成一个类型:
函数的合并
之前学习过,我们可以使用重载定义多个函数类型:
123456789function reverse(x: number): number;function reverse(x: string): string;function reverse(x: number | string): number | string { if (typeof x === 'number') { return Number(x.toString().split('').reverse().join('')); } else if (typeof x === 'string') { return x.split('').reverse().join(''); }}
接口的合并
接口中的属性在合并 ...
类
传统方法中,JavaScript
通过构造函数实现类的概念,通过原型链实现继承。而在 ES6
中,我们终于迎来了 class。
TypeScript 除了实现了所有 ES6
中的类的功能以外,还添加了一些新的用法。
这一节主要介绍类的用法,下一节再介绍如何定义类的类型。
类的概念
虽然 JavaScript 中有类的概念,但是可能大多数 JavaScript
程序员并不是非常熟悉类,这里对类相关的概念做一个简单的介绍。
类(Class):定义了一件事物的抽象特点,包含它的属性和方法
对象(Object):类的实例,通过 new 生成
面向对象(OOP)的三大特性:封装、继承、多态
封装(Encapsulation):将对数据的操作细节隐藏起来,只暴露对外的接口。外界调用端不需要(也不可能)知道细节,就能通过对外提供的接口来访问该对象,同时也保证了外界无法任意更改对象内部的数据
继承(Inheritance):子类继承父类,子类除了拥有父类的所有特性外,还有一些更具体的特性
多态(Polymorphism):由继承而产生了相关的不同的类,对同一个方法可以有不同的响应。比如
Cat ...
枚举
枚举(Enum)类型用于取值被限定在一定范围内的场景,比如一周只能有七天,颜色限定为红绿蓝等。
简单的例子
枚举使用 enum 关键字来定义:
1enum Days {Sun, Mon, Tue, Wed, Thu, Fri, Sat};
枚举成员会被赋值为从 0
开始递增的数字,同时也会对枚举值到枚举名进行反向映射:
1234567891011enum Days {Sun, Mon, Tue, Wed, Thu, Fri, Sat};console.log(Days["Sun"] === 0); // trueconsole.log(Days["Mon"] === 1); // trueconsole.log(Days["Tue"] === 2); // trueconsole.log(Days["Sat"] === 6); // trueconsole.log(Days[0] === "Sun"); // trueconsole.log ...
Extended Opportunity -
Mar 2, 2024
A.I Create & Sell Unlimited Audiobooks to 2.3 Million Users -
https://ext-opp.com/ECCO
元组
数组合并了相同类型的对象,而元组(Tuple)合并了不同类型的对象。
元组起源于函数编程语言(如 F#),这些语言中会频繁使用元组。
简单的例子
定义一对值分别为 string 和 number
的元组:
1let tom: [string, number] = ['Tom', 25];
当赋值或访问一个已知索引的元素时,会得到正确的类型:
123456let tom: [string, number];tom[0] = 'Tom';tom[1] = 25;tom[0].slice(1);tom[1].toFixed(2);
也可以只赋值其中一项:
12let tom: [string, number];tom[0] = 'Tom';
但是当直接对元组类型的变量进行初始化或者赋值的时候,需要提供所有元组类型中指定的项。
1234567let tom: [string, number];tom = ['Tom', 25];``````let tom: [string, number];tom = ...
字符串字面量类型
字符串字面量类型用来约束取值只能是某几个字符串中的一个。
简单的例子
123456789type EventNames = 'click' | 'scroll' | 'mousemove';function handleEvent(ele: Element, event: EventNames) { // do something}handleEvent(document.getElementById('hello'), 'scroll'); // 没问题handleEvent(document.getElementById('world'), 'dblclick'); // 报错,event 不能为 'dblclick'// index.ts(7,47): error TS2345: Argument of type '"dblclick"' ...
类型别名
类型别名用来给一个类型起个新名字。
简单的例子
12345678910type Name = string;type NameResolver = () => string;type NameOrResolver = Name | NameResolver;function getName(n: NameOrResolver): Name { if (typeof n === 'string') { return n; } else { return n(); }}
上例中,我们使用 type 创建类型别名。
类型别名常用于联合类型。
参考
Advanced
Types # Type Aliases(中文版)
内置对象
JavaScript 中有很多内置对象,它们可以直接在
TypeScript 中当做定义好了的类型。
内置对象是指根据标准在全局作用域(Global)上存在的对象。这里的标准是指
ECMAScript 和其他环境(比如 DOM)的标准。
ECMAScript 的内置对象
ECMAScript 标准提供的内置对象有:
Boolean、Error、Date、RegExp
等。
我们可以在 TypeScript 中将变量定义为这些类型:
1234let b: Boolean = new Boolean(1);let e: Error = new Error('Error occurred');let d: Date = new Date();let r: RegExp = /[a-z]/;
更多的内置对象,可以查看 MDN
的文档。
而他们的定义文件,则在 TypeScript
核心库的定义文件中。
DOM 和 BOM 的内置对象
DOM 和 BOM 提供的内置对象有:
Document、HTMLElement、Event、NodeList
等。
TypeSc ...
声明文件
当使用第三方库时,我们需要引用它的声明文件,才能获得对应的代码补全、接口提示等功能。
新语法索引
由于本章涉及大量新语法,故在本章开头列出新语法的索引,方便大家在使用这些新语法时能快速查找到对应的讲解:
declare var
声明全局变量
declare function
声明全局方法
declare class
声明全局类
declare enum
声明全局枚举类型
declare namespace
声明(含有子属性的)全局对象
interface 和
type 声明全局类型
export 导出变量
export namespace
导出(含有子属性的)对象
export default ES6
默认导出
export = commonjs 导出模块
export as namespace
UMD 库声明全局变量
declare global
扩展全局变量
declare module
扩展模块
/// <reference />
三斜线指令
什么是声明语句
假如我们想使用第三方库 jQuery,一种常见的方式是在 html 中通过
<script ...
类型断言
类型断言(Type Assertion)可以用来手动指定一个值的类型。
语法
1值 as 类型
或
1<类型>值
在 tsx 语法(React 的 jsx 语法的 ts 版)中必须使用前者,即
值 as 类型。
形如 <Foo> 的语法在 tsx 中表示的是一个
ReactNode,在 ts
中除了表示类型断言之外,也可能是表示一个[泛型][]。
故建议大家在使用类型断言时,统一使用 值 as 类型
这样的语法,本书中也会贯彻这一思想。
类型断言的用途
类型断言的常见用途有以下几种:
将一个联合类型断言为其中一个类型
之前提到过,当
TypeScript
不确定一个联合类型的变量到底是哪个类型的时候,我们只能访问此联合类型的所有类型中共有的属性或方法:
123456789101112interface Cat { name: string; run(): void;}interface Fish { name: string; swim(): void;}function getNam ...