枚举
枚举(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 ...
函数的类型
函数是
JavaScript 中的一等公民
函数声明
在 JavaScript 中,有两种常见的定义函数的方式——函数声明(Function
Declaration)和函数表达式(Function Expression):
123456789// 函数声明(Function Declaration)function sum(x, y) { return x + y;}// 函数表达式(Function Expression)let mySum = function (x, y) { return x + y;};
一个函数有输入和输出,要在 TypeScript
中对其进行约束,需要把输入和输出都考虑到,其中函数声明的类型定义较简单:
123function sum(x: number, y: number): number { return x + y;}
注意,输入多余的(或者少于要求的)参数,是不被允许的:
12345678910111213function sum(x: numbe ...
数组的类型
在 TypeScript 中,数组类型有多种定义方式,比较灵活。
「类型 + 方括号」表示法
最简单的方法是使用「类型 + 方括号」来表示数组:
1let fibonacci: number[] = [1, 1, 2, 3, 5];
数组的项中不允许出现其他的类型:
123let fibonacci: number[] = [1, '1', 2, 3, 5];// Type 'string' is not assignable to type 'number'.
数组的一些方法的参数也会根据数组在定义时约定的类型进行限制:
1234let fibonacci: number[] = [1, 1, 2, 3, 5];fibonacci.push('8');// Argument of type '"8"' is not assignable to parameter of type 'number'.
上例中,push 方法只允许传 ...