• 类型推断
  • 1.赋值推断
  • 2.返回值推断
  • 3.函数推断(反向推断)
  • 4.属性推断
  • 5.类型反推
  • 6.索引访问操作符
  • 7.类型映射
• 类型保护
  • 1.typeof 类型保护
  • 2.instanceof 类型保护
  • 3.in 类型保护
  • 4.可辨识联合类型
  • 5.null 保护
  • 6.自定义类型保护

类型推断

TypeScript 编译器会根据一些简单的规则来推断开发者定义的变量的类型，​ 当没有标明变量的类型时，编译器会将变量的初始值作为该变量的类型

1.赋值推断

赋值时推断，类型从右像左流动,会根据赋值推断出变量类型,这种是比较常见的，声明时不需要给类型

(资料图片)

let str = "zhufeng";let age = 11;let boolean = true;

2.返回值推断

自动推断函数返回值类型

function sum(a: string, b: string) {  return a + b;}sum("a", "b");

3.函数推断(反向推断)

函数从左到右进行推断(上下文类型)：先声明一个函数类型，后把这个类型赋予给一个变量，在赋值一个函数,再看被赋值的函数是否满足，事先声明的函数类型，上下文类型推断时，会根据参数的位置进行相应的推断，函数的参数多的时候，就会推断失败报错

type Sum = (a: string, b: string) => string; // 函数类型const sum: Sum = (a, b) => a + b; // 还可以根据函数类型，推导出函数参数和返回值的类型type ICallback = (x: string, y: string) => void; // 不关心返回值function fn(cb: ICallback) {  let r = cb("1", "2"); // 调用函数后不会根据返回值来推导，默认采用就是上下文中声明的类型}fn((a, b) => {});

4.属性推断

可以通过属性值,推断出属性的类型

let person = {  name: "yyya",  age: 18,};let { name, age } = person; // string  number

5.类型反推

可以使用 typeof 关键字反推变量类型

let person = {  name: "yyya",  age: 18,};type Person = typeof person; // type Person = {name: string; age: number;}

6.索引访问操作符

interface IPerson {  name: string;  age: number;  job: {    address: string;  };}type job = IPerson["job"]; // type job = { address: string; }

7.类型映射

interface IPerson {  name: string;  age: number;}type MapPerson = { [key in keyof IPerson]: IPerson[key] }; // type MapPerson = {name: string; age: number;}

类型保护

TypeScript 能够在特定的区块中保证变量属于某种确定的类型。可以在此区块中放心的引用此类型的属性，或者调用此类型的方法通过判断识别所执行的代码块，自动识别变量属性和方法

1.typeof 类型保护

判断基本类型：ts 默认在使用联合类型，针对某一种类型进行处理,对不同的类型进行范围缩小

function double(a: string | number) {  if (typeof a === "string") {    return a + a;  } else {    return a * 2;  }}

2.instanceof 类型保护

判断一个实例是否属于某个类

class Cat {}class Dog {}const getInstance = (clazz: { new (...args: any[]): Cat | Dog }) => {  return new clazz();};let r = getInstance(Cat);if (r instanceof Cat) {  r;} else {  r;}

3.in 类型保护

判断一个属性是否属于某个对象

interface Bird {  fly: string;}interface Fish {  swim: string;}function getType(type: Bird | Fish) {  if ("swim" in type) {    type;  } else {    type;  }}

4.可辨识联合类型

通过接口中的 kind 作为可辨识类型

interface Bird {  fly: string;  kind: "鸟";}interface Fish {  swim: string;  kind: "鱼";}function getType(type: Bird | Fish) {  if (type.kind == "鸟") {    type;  } else {    type;  }}// 判断一个变量是数组，通过其类型来辨识function ensureArray(input: T | T[]): T[] {  if (Array.isArray(input)) {    return input;  } else {    return [input];  }}

5.null 保护

变量判空给默认值的方式实现

function addPrefix(num?: number) {  num = num || 0; // null 保护  return function (prefix: string) {    return prefix + num!.toFixed();  };}let r = addPrefix()("$");

6.自定义类型保护

直接调用isBird方法不确认 返回 true 是 Bird，还是返回 false 是 Bird，因此工具方法中判断类型的方法 全部需要使用 is 语法

function isBird(val: Bird | Fish | (string & { kind: "string" })): val is Bird {  return val.kind == "鸟"; // 必须是boolean}function getType(val: Bird | Fish) {  if (isBird(val)) {    // 此时不确认 返回true是Bird，还是返回false是Bird    val;  } else {    val;  }}