在JS基础上，TS又扩展了一些类型的概念，为了和基础类型区分，暂定扩展类型概念。
TypeScript 最好玩的应该就是类型系统，随意组合创造，提供基础联合类型、交叉类型，还有一系列的高级函数可以玩转类型。
?
联合类型
联合类型是玩转类型的基础，用 | 表示，即是又是的意思。有时候我们希望一个变量既可以是字符串又可以是number，除了泛型之外，联合类型是很好的处理方式。
经常使用场景，属性初始值允许是null类型和自有类型。
?
定义联合类型
如下面例子，age可以是number 也可以是string ,初始值位null
let age:string | number | null = null
age = 3
age = '4'
function setAge(age:string | number | null ) {
age?.toString()
console.log(age);
}
setAge(age)
联合类型可以访问所有类型的成员如：
interface Bird {
fly();
layEggs();
}
interface Fish {
swim();
layEggs();
}
function getSmallPet(): Fish | Bird {
// ...
}
let pet = getSmallPet();
pet.layEggs(); // okay
pet.swim(); // errors
?
联合类型如何使用
目前我总结出两种使用方式，一种是组成联合类型的类型可以统一处理，直接使用即可。
1、如string和number都有 toString方法。可以直接转成string 统一处理。
function setAge(age:string | number ) {
console.log('我的年纪是'+ age.toString());
}
2、判断类型，分别处理达到函数目的
function setAge(age:string | number ) {
if (typeof age === "string") {
console.log('我是字符串');
}else{
console.log('我是number');
}
}
?
类型别名
使用类型注释和联合类型可以很方便的限制类型，但是我们可能重复的的写这些类型，有些麻烦，类型别名就是来解决这个痛点，类似C中宏定义，define。
type Point = {
x: number;
y: number;
};
//和之前相似的例子
function printCoord(pt: Point) {
console.log("The coordinate's x value is " + pt.x);
console.log("The coordinate's y value is " + pt.y);
}
printCoord({ x: 100, y: 100 });
我们可以将联合类型的例子改造一下：
type Age = string | number | null
let age:Age = null
age = 3
age = '4'
function setAge(age:Age ) {
console.log(age);
}
setAge(age)
?
接口
一个接口描述另一种方法去定义一个对象类型：
interface Point {
x: number;
y: number;
}
function printCoord(pt: Point) {
console.log("The coordinate's x value is " + pt.x);
console.log("The coordinate's y value is " + pt.y);
}
printCoord({ x: 100, y: 100 });
?
接口和类型别名区别
?
类型断言 — as
有时候我们不知道值得类型信息
情况一：document.getElementByIdTypeScript 只知道返回HTMLElement的一种，但是你需要知道返回的类型是HTMLCanvasElement
这种情况下你可以使用类型断言明确类型
const myCanvas = document.getElementById("main_canvas") as HTMLCanvasElement;
情况二：any
现在有一个any类型，ts无法进行类型推断提示。
let unknownType:any = "66"
根据上下文知道是需求字符串，这时候可以使用断言成所要。
let str = unknownType as string
str.toUpperCase()
情况三：联合类型或者向上转型（意义不大）
interface Animal{
breath:boolean
}
interface People extends Animal{
age:number;
}
let p:People = {
age:3,
breath:false
}
let animal = p as Animal
?
字面量类型
除了可以使用string number作为类型，我们可以将具体的值作为类型。
TypeScript 创造这种类型的灵感来与，var 和 let 声明变量的时候是可以改变的，const 不能改变时值本身。
这种类型对于自身而言，可以这么写:
let hello:'hello' = 'hello'
//Type '"hi"' is not assignable to type '"hello"'.ts(2322)
hello = 'hi'
let notfound:404
notfound = 404
//Type '405' is not assignable to type '404'.ts(2322)
notfound = 405
这么看起来是没有意义，完全没有用处，但是搭配上联合类型，用处就非常多了。
function printText(s: string, alignment: "left" | "right" | "center") {
// ...
}
printText("Hello, world", "left");
printText("G'day, mate", "centre");
//Argument of type '"centre"' is not assignable to parameter of type '"left" | "right" | "center"'.
function compare(a: string, b: string): -1 | 0 | 1 {
return a === b ? 0 : a > b ? 1 : -1;
}
联合非字面量类型：
interface Options {
width: number;
}
function configure(x: Options | "auto") {
// ...
}
configure({ width: 100 });
configure("auto");
configure("automatic");
?
字面量类型推断
当您使用对象初始化变量时，TypeScript 假定该对象的属性稍后可能会更改值。 例如，如果你写了这样的代码：
const obj = { counter: 0 };
if (someCondition) {
obj.counter = 1;
}
counter 会被推断成number类型，而不是0类型。
这种事情会同时发生在下面代码:
const req = { url: "https://example.com", method: "GET" };
handleRequest(req.url, req.method);
Argument of type 'string' is not assignable to parameter of type '"GET" | "POST"'.
我们有两种途径去改成我们想要的字面量类型：
1、
// Change 1:
const req = { url: "https://example.com", method: "GET" as "GET" };
// Change 2
handleRequest(req.url, req.method as "GET");
2、
const req = { url: "https://example.com", method: "GET" } as const;
handleRequest(req.url, req.method);