本章我们来学习联合类型以及类型别名。

联合类型

在基础类型一文中我们提到过，将变量定义为字符串类型后是不能再赋值为其他类型的，那如果我们需要这个变量既可以是字符串也可以是数值该怎么办？此时我们就可以使用联合类型来实现需求。

联合类型（Union Types）表示取值可以为多种类型中的一种，除此以外的类型则会报错。举个例子：

let field: string | number
field = 'first' // 成功
console.log(field.length) // 5
field = 1 // 成功
console.log(field.length) // error TS2339: Property 'length' does not exist on type 'number'
field = false // error TS2322: Type 'boolean' is not assignable to type 'string | number'

联合类型使用 | 分隔每个类型，上面例子中 field 既可以是 string 也可以是 number 类型。当它是 string 时可以使用 string 的属性或方法，比如属性 length ；当它是 number 时，因为 number 没有 length 属性，所以会编译报错。

上面的例子是通过 类型推论 得到变量准确的类型，从而可以使用相应类型的属性或方法。当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候，我们只能访问此联合类型的所有类型里 共有的 属性或方法。举个例子：

function getLength(something: string | number): number {
  return something.length; // error TS2339: Property 'length' does not exist on type 'string | number'.  Property 'length' does not exist on type 'number'
}

上面例子中，因为 length 不是 string 和 number 共有的属性，所以会报错。访问 string 和 number 的共有属性是没问题的，举个例子：

function getLength(something: string | number): string {
  return something.toString();
}

联合类型不仅可以是基础类型，也可以是接口或者类，举个例子：

interface Bird {
  fly(): void;
  layEggs(): void;
}

interface Fish {
  swim(): void;
  layEggs(): void;
}

function getSmallPet(): Fish | Bird {
  let bird: Bird = {
    fly() {},
    layEggs() {}
  }
  return bird
}

let pet = getSmallPet();
pet.layEggs(); // 成功
pet.swim(); // error TS2339: Property 'swim' does not exist on type 'Bird | Fish'.Property 'swim' does not exist on type 'Bird'
pet.fly(); // error TS2339: Property 'fly' does not exist on type 'Bird | Fish'.Property 'fly' does not exist on type 'Fish'

上面例子中联合类型为 Fish 和 Bird ，只有它们共有的方法 layEggs 可以访问，因此 swim 和 fly 都会编译报错。

看了上面的介绍，你可能会觉得 any 也能实现同样的效果，就代码方面而言确实是这样的，将联合类型改为 any 是不会编译报错的，但是与此同时你也失去了 TypeScript 最大的功能。在基础类型一文中有介绍 any 的使用场景，比如在编译阶段不清楚类型的情况下可以使用。

类型别名

类型别名用来给一个类型起个新名字。起别名的方法很简单，使用type关键字。

type 别名 = 类型(原始类型、联合类型、元组…)

举个例子：

type Name = string;
type NameResolver = () => string;
type NameOrResolver = Name | NameResolver;
function getName(n: NameOrResolver): Name {
  if (typeof n === 'string') {
    return n;
  } else {
    return n();
  }
}

起别名不会新建一个类型，它是创建了一个新名字来引用那个类型。比如上面例子，Name 和 string 其实是一样的类型。通常来说给 原始类型 起别名没有特别用处，更多的用于 联合类型 ，举个例子：

type Field = string | number
let field: Field
field = 'first'
field = 1

类型别名有时和接口很像，但是可以作用于 原始值，联合类型，元组以及其它任何你需要手写的类型。类型别名与接口刚接触时可能会混淆，举个例子：

type Field = {
  num: number;
  str: string;
}

interface inter {
  num: number;
  str: string;
}

上面例子中类型别名和接口使用上比较类似，但是还是有很明显的区别的，具体区别我会放在下一篇接口篇中细谈。

类型别名是可以使用泛型 的，关于 泛型 的内容会在之后介绍，此处简单讲下在类型别名中的使用。举个例子：

type Container<T> = {
  value: T
}

let container: Container<string> = {
  value: 'str'
}

此时 value 的类型是根据传递的类型参数决定的。

我们也可以使用类型别名来在属性里引用自己：

type Container<T> = {
  value: T;
  children?: Container<T>
}

let container: Container<string> = {
  value: 'str',
  children: {
    value: 'str2'
  }
}