标签：span position tom each type first child extend ali
类型别名就是给一种类型起个别的名字，之后只要使用这个类型的地方，都可以用这个名字作为类型代替。它只是起了一个名字，并不是创建了一个新类型。
定义类型别名，使用 type 关键字：
type StringType = string let s: StringType s = ‘hello‘ s = 123 // error，不能将类型“123”分配给类型“string”。
类型别名也可以使用泛型：
type PositionType<T> = { x: T, y: T } let p1: PositionType<number> = { x: 3, y: 5 } let p2: PositionType<string> = { x: ‘right‘, y: ‘top‘ }
使用类型别名时也可以在属性中引用自己：
type Next<T> = { val: T, next?: Next<T> // 这里属性引用类型别名自身 } let list: Next<string> = { val: ‘first‘, next: { val: ‘second‘, next: { val: ‘third‘, next: ‘test‘ // 这里不符合类型别名规定，导致最外层 next 报错 } } }
但要注意，只可以在对象属性中引用类型别名自己，不能直接使用，比如这样是不行的：
type Child = Child[]
这样定义后会循环引用自身，无法使用，记住类型别名不能出现在声明右侧的任何地方。
类型别名和接口很类似，有时候起到同样作用：
type Alias = { num: number } interface Interface{ num: number } let _alias: Alias = {num: 1} let _interface: Interface = {num: 2} _alias = _interface
例子中使用类型别名和接口都可以定义一个只包含 num 属性的对象类型，而且类型是兼容的。到底用接口还是类型别名，通过两点选择：
1. 类型别名无法被 extends 和 implements，所以类型需要拓展时，需使用接口；
2. 当无法通过接口，并且需要使用联合类型或者元组类型时，用类型别名。
字符串字面量类型其实就是字符串常量，与字符串类型不同的是它是具体的值：
type Name = ‘Tom‘ let name1: Name = ‘Bob‘ // error，不能将类型“"Bob"”分配给类型“"Tom"” let name2: Name = ‘Tom‘
还可以使用联合类型来使用多个字符串
type Fruit = ‘apple‘ | ‘pear‘ | ‘orange‘ | ‘banana‘ let f1: Fruit = ‘peach‘ // error，不能将类型“"peach"”分配给类型“Fruit” let f2: Fruit = ‘apple‘
数字字面量类型和字符串字面量类型差不多，都是指定类型为具体的值：
type Age = 18 let age1: Age = 17 // error，不能将类型“17”分配给类型“18”。 let age2: Age = 18
标签：span position tom each type first child extend ali
原文地址：https://www.cnblogs.com/wjaaron/p/12930899.html
