Eşlemeli Türlerde Belirteçler: readonly ve ?

Hoş Geldiniz

+ ile Değiştirici Ekleme

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

- ile readonly Kaldırma

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

- ile ? Kaldırma

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

- ve -? Birlikte Kullanımı

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

Partial ve Required Birbirinin Karşıtıdır

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

Varsayılan Olarak Değiştirici Koruma

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

Pratik Kullanım: Patch Türü

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]
};

Değiştirici Birleşimleri Tablosu

Hızlı Kontrol

Özet