TypeScript 学习笔记 — 类型推断和类型保护（十一）

目录

• 类型推断
  • 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<T>(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;
  }
}