TypeScript內(nèi)置工具類型快速入門運(yùn)用

更新時(shí)間：2023年03月09日 10:33:58 作者：劍九六千里

TypeScript 中內(nèi)置了很多工具類型，我們無(wú)需導(dǎo)入，可以直接使用。其中的很多都是比較常用的，接下來(lái)我們根據(jù)使用范圍來(lái)一一介紹，文中通過示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)吧

前言

TS為了方便開發(fā)者使用，在內(nèi)部提供了非常多的工具類型，如Partial、Required、ReadOnly等等，本篇文章主要用于記錄了一些常用的內(nèi)置工具類型的使用及源碼實(shí)現(xiàn)，以便參考。

提示：以下是本篇文章正文內(nèi)容，下面案例可供參考

一、什么是ts內(nèi)置工具類型

TypeScript 附帶了大量類型，可以幫助進(jìn)行一些常見的類型操作，通常稱為 Utility Types。

二、使用示例

1.Partial

將必填參數(shù)變?yōu)榭蛇x參數(shù)

namespace a {
  // 示例一：
  interface A {
    name: string,
    age: number,
    sex: string
  }
  // 接口A中的參數(shù)通過內(nèi)置工具類型Partial變成了可選參數(shù)
  type PartialA = Partial<A>;
  let a: PartialA = {
    // 此處傳參可以任意個(gè)數(shù)，但只能傳已定義的參數(shù)
    name: '張三',
    age: 10
  }
  // 示例二：
  interface Company {
    id: number,
    name: string
  }
  interface Person {
    id: number,
    name: string,
    company: Company
  }
  // 實(shí)現(xiàn)DeepPartial，將參數(shù)深度轉(zhuǎn)換成可選參數(shù)
  type DeepPartial<T> = {
    [U in keyof T]?: T[U] extends object ? DeepPartial<T[U]> : T[U];
  }
  type PartialPerson = DeepPartial<Person>;
  let p: PartialPerson = {
    // 此處的參數(shù)已經(jīng)變?yōu)榭蛇x參數(shù)，可根據(jù)自己需要傳遞
    id: 10,
    name: '張三',
    company: {
      name: '美團(tuán)'
    }
  }
}

Partial的實(shí)現(xiàn)源碼

namespace b {
  interface A {
    name: string,
    age: number,
    sex: string
  }
  type Partial<T> = {
    // 原理：
    // 1.通過keyof拿到T中的所有key
    // 2.迭代所有的key
    // 3.統(tǒng)一加上可選參數(shù)處理
    // 4.返回迭代值的類型
    [P in keyof T]?: T[P];
  }
  // 測(cè)試：
  type PartialA = Partial<A>;
  let a: PartialA = {
    name: '張三',
    age: 10
  }
}

2.Required

將所有參數(shù)變?yōu)楸靥?/p>

namespace b {
  interface Person {
    name: string,
    age?: number
  }
  // Required將可選參數(shù)變?yōu)楸靥?
  type RequiredPerson = Required<Person>;
  let person: RequiredPerson = {
    name: '張三',
    age: 10
  }
}

Required 的實(shí)現(xiàn)源碼

namespace c {
  interface Person {
    name: string,
    age?: number
  }
  type Required<T> = {
    // 原理：
    // 1.通過keyof拿到T中所有的key
    // 2.迭代所有的key
    // 3.將可選的參數(shù)變?yōu)楸靥畹膮?shù)
    // 4.返回迭代屬性及類型
    // +?或者?: 代表的是可選，-?: 代表的是不可選
    [P in keyof T]-?: T[P];
  };
  // 測(cè)試
  type RequiredPerson = Required<Person>;
  let person: RequiredPerson = {
    name: '李四',
    age: 18
  }
}

3.ReadOnly

將所有參數(shù)變?yōu)橹蛔x

namespace d {
  interface Person {
    name: string,
    age?: number
  }
  type ReadonlyPerson = Readonly<Person>;
  let person: ReadonlyPerson = {
    name: '張三',
    age: 10
  }
  // 已經(jīng)變?yōu)橹蛔x屬性，因此此處賦值會(huì)報(bào)錯(cuò)
  // person.name = '李四'; // 無(wú)法分配到 "name" ，因?yàn)樗侵蛔x屬性。ts(2540)
  // person.age = 20; // 無(wú)法分配到 "age" ，因?yàn)樗侵蛔x屬性。ts(2540)
}

Readonly 的實(shí)現(xiàn)源碼

namespace e {
  interface Person {
    name: string,
    age?: number
  }
  type Readonly<T> = {
    // 原理：
    // 1.通過keyof拿到T中所有key
    // 2.迭代拿到的所有key
    // 3.通過readonly關(guān)鍵字將所有屬性變?yōu)橹蛔x屬性
    // 4.返回迭代屬性及類型
    readonly [P in keyof T]: T[P]
  }
  // 測(cè)試
  type ReadonlyPerson = Readonly<Person>;
  let person: ReadonlyPerson = {
    name: '張三',
    age: 10
  }
  // person.name = '李四'; // 無(wú)法分配到 "name" ，因?yàn)樗侵蛔x屬性。ts(2540)
  // person.age = 20; // 無(wú)法分配到 "age" ，因?yàn)樗侵蛔x屬性。ts(2540)
}

4.Pick

撿取符合條件的屬性

namespace g {
  interface Person {
    name: string,
    age: number,
    sex: string
  }
  // 參數(shù)一是一個(gè)對(duì)象，參數(shù)二是要篩選的屬性
  type PickPerson = Pick<Person, 'name' | 'sex'>;
  let person: PickPerson = {
    name: '張三',
    // 由于通過Pick只撿取了name和sex屬性，因此此時(shí)給sex賦值會(huì)報(bào)錯(cuò)
    // 不能將類型“{ name: string; age: number; sex: string; }”分配給類型“PickPerson”。
    // 對(duì)象文字可以只指定已知屬性，并且“age”不在類型“PickPerson”中。ts(2322)
    // age: 10,
    sex: '男'
  }
}

Pick 的實(shí)現(xiàn)源碼

namespace h {
  interface Person {
    name: string,
    age: number,
    sex: string
  }
  // 原理：
  // 1.T表示傳入的類型定義。此處指Person接口。
  // 2.K表示T的子類型，是一個(gè)聯(lián)合類型。此處指'name' | 'age' | 'sex'的子類型
  // 3.通過keyof拿到T中的所有key
  // 3.迭代K，拿到所有傳遞進(jìn)來(lái)的子類型
  // 4.返回迭代屬性及類型
  // 簡(jiǎn)單理解：就是從一個(gè)對(duì)象中，提取一部分屬性組成新的對(duì)象
  type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
  }
  // 測(cè)試
  type PickPerson = Pick<Person, 'name' | 'age'>
  let person: PickPerson = {
    name: '張三',
    age: 10
  }
}

5.Record

記錄類型：將一個(gè)類型的所有屬性值都映射到另一個(gè)屬性上并創(chuàng)建新的類型

namespace i {
  // 1.此處的K主要用來(lái)修飾obj對(duì)象的key，為string或者number
  // 2.此處的T用來(lái)修飾老的類型
  // 3.此處的U用來(lái)修飾新的類型
  function mapObj<K extends string | number, T, U>(obj: Record<K, T>, callable: (x: T) => U) {
    // 聲明一個(gè)變量
    let result: Record<K, U> = <Record<K, U>>{};
    // 遍歷傳入的對(duì)象
    for (const key in obj) {
      // 通過callback函數(shù)處理result的屬性值
      result[key] = callable(obj[key]);
    }
    // 返回result
    return result;
  }
  let obj = { num1: 1, num2: 2 };
  let callable = (x: number): string => x * 2 + '';
  let newObj = mapObj<string | number, number, string>(obj, callable);
  console.log(newObj); // { num1: '2', num2: '4' }
}

Record 的實(shí)現(xiàn)源碼

namespace j {
  type Record<K extends keyof any, T> = {
    // 原理：
    // 1.通過keyof拿到所有的K，是一個(gè)聯(lián)合類型。string | number | symbol
    // 2.迭代K，拿到所有的屬性
    // 3.返回迭代的屬性及類型
    // 注意：此處不能寫成 type Record<K, T> = {}; any代表所有key的聯(lián)合類型。
    // 否則會(huì)報(bào)錯(cuò)：不能將類型“K”分配給類型“string | number | symbol”。ts(2322)
    [P in K]: T;
  };
  // 測(cè)試
  function mapObj<K extends string | number, T, U>(obj: Record<K, T>, callable: (x: T) => U) {
    // 聲明一個(gè)變量
    let result: Record<K, U> = <Record<K, U>>{};
    // 遍歷傳入的對(duì)象
    for (const key in obj) {
      // 通過callback函數(shù)處理result的屬性值
      result[key] = callable(obj[key]);
    }
    // 返回result
    return result;
  }
  let obj = { num1: 1, num2: 2 };
  let callable = (x: number): string => x * 2 + '';
  let newObj = mapObj<string | number, number, string>(obj, callable);
  console.log(newObj); // { num1: '2', num2: '4' }
}