一、类型别名
类型别名用来给一个类型起个新名字。
简单的例子
type Name = string; type NameResolver = () => string; type NameOrResolver = Name | NameResolver; function getName(n: NameOrResolver): Name { if (typeof n === 'string') { return n; } else { return n(); } }
上例中，我们使用 type 创建类型别名。
类型别名常用于联合类型。
二、字符串字面量类型
简单的例子
type EventNames = 'click' | 'scroll' | 'mousemove'; function handleEvent(ele: Element, event: EventNames) { // do something } handleEvent(document.getElementById('hello'), 'scroll'); // 没问题 handleEvent(document.getElementById('world'), 'dbclick'); // 报错，event 不能为 'dbclick' // index.ts(7,47): error TS2345: Argument of type '"dbclick"' is not assignable to parameter of type 'EventNames'.
上例中，我们使用 type 定了一个字符串字面量类型 EventNames，它只能取三种字符串中的一种。
注意，类型别名与字符串字面量类型都是使用 type 进行定义。
三、元组
1、简单的例子
定义一对值分别为 string 和 number 的元组：
let xcatliu: [string, number] = ['Xcat Liu', 25];
当赋值或访问一个已知索引的元素时，会得到正确的类型：
let xcatliu: [string, number]; xcatliu[0] = 'Xcat Liu'; xcatliu[1] = 25; xcatliu[0].slice(1); xcatliu[1].toFixed(2);
也可以只赋值其中一项：
let xcatliu: [string, number]; xcatliu[0] = 'Xcat Liu';
但是当直接对元组类型的变量进行初始化或者赋值的时候，需要提供所有元组类型中指定的项。
let xcatliu: [string, number]; xcatliu = ['Xcat Liu', 25];
错误：
let xcatliu: [string, number] = ['Xcat Liu']; let xcatliu: [string, number]; xcatliu = ['Xcat Liu']; xcatliu[1] = 25;
2、越界的元素
当添加越界的元素时，它的类型会被限制为元组中每个类型的联合类型：
let xcatliu: [string, number]; xcatliu = ['Xcat Liu', 25]; xcatliu.push('http://xcatliu.com/'); xcatliu.push(true); // index.ts(4,14): error TS2345: Argument of type 'boolean' is not assignable to // parameter of type 'string | number'. // Type 'boolean' is not assignable to type 'number'.
