ตัวปรับแต่งในชนิดแมป: readonly และ ?

ยินดีต้อนรับ

การเพิ่มตัวปรับแต่งด้วย +

type Readonly<T> = { +readonly [K in keyof T]: T[K] }; // + is implicit
type Optional<T> = { [K in keyof T]+?: T[K] };

การนำ readonly ออกด้วย -

type Mutable<T> = { -readonly [K in keyof T]: T[K] };
const mutableUser: Mutable<Readonly<User>> = { id: 1, name: 'Alice' };
mutableUser.id = 2; // OK now

การนำ ? ออกด้วย -

type Required<T> = { [K in keyof T]-?: T[K] };
// Now all optional properties become required

การรวม - และ -?

type Concrete<T> = { -readonly [K in keyof T]-?: T[K] };

Partial และ Required เป็นสิ่งตรงข้ามกัน

// From TypeScript lib:
type Partial<T> = { [K in keyof T]?: T[K] };   // adds ?
type Required<T> = { [K in keyof T]-?: T[K] };  // removes ?

การคงตัวปรับแต่งไว้ตามค่าเริ่มต้น

interface User { readonly id: number; name?: string; }
type Copy<T> = { [K in keyof T]: T[K] };
type C = Copy<User>; // readonly id preserved, name? preserved

การใช้งานจริง: ประเภท Patch

type Patch<T> = { -readonly [K in keyof T]?: T[K] };

DeepReadonly

type DeepReadonly<T> = {
  readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K]
};

DeepPartial

type DeepPartial<T> = {
  [K in keyof T]?: T[K] extends object ? DeepPartial<T[K]> : T[K]
};

ตารางการรวมตัวปรับแต่ง

ตรวจสอบความเข้าใจ

สรุป