TypeScript: Den `satisfies`-Operator meistern

1// Typ-Definition
2type ColorMap = {
3  primary: string;
4  secondary: string;
5};
6
7// Ansatz 1: Typ-Annotation - Verlust präziser Information
8const colors: ColorMap = {
9  primary: '#007bff',
10  secondary: '#6c757d',
11}; // Der exakte Typ der Werte geht verloren
12
13// Ansatz 2: Ohne Annotation - Keine Validierung
14const colors2 = {
15  primary: '#007bff',
16  secondary: '#6c757d',
17}; // Keine Validierung gegen ColorMap

1const colors = {
2  primary: '#007bff',
3  secondary: '#6c757d',
4} satisfies ColorMap;
5
6// ✅ Prüft die Konformität mit ColorMap
7// ✅ Bewahrt die literale String-Information
8// ✅ Autovervollständigung funktioniert perfekt

1type Config = {
2  api: {
3    endpoint: string;
4    timeout?: number;
5  };
6  features: Record<string, boolean>;
7};
8
9const config = {
10  api: {
11    endpoint: 'https://api.example.com',
12    timeout: 5000,
13    retryCount: 3, // Zusätzliche Eigenschaft erlaubt
14  },
15  features: {
16    darkMode: true,
17    betaFeatures: false,
18  },
19} satisfies Config;
20
21// TypeScript prüft, ob erforderliche Eigenschaften vorhanden sind
22// während zusätzliche Eigenschaften erlaubt sind

1type MediaType = 'image' | 'video' | 'audio';
2
3const MEDIA_CONFIG = {
4  image: { maxSize: 5000000, formats: ['jpg', 'png'] },
5  video: { maxSize: 50000000, formats: ['mp4', 'mov'] },
6  audio: { maxSize: 10000000, formats: ['mp3', 'wav'] },
7} satisfies Record<MediaType, { maxSize: number; formats: string[] }>;
8
9// Zugriff auf Eigenschaften behält ihren präzisen Typ
10const imageFormats = MEDIA_CONFIG.image.formats; // string[]

1type Partial<T> = { [P in keyof T]?: T[P] };
2
3const partialConfig = {
4  api: { endpoint: 'https://api.example.com' },
5} satisfies Partial<Config>;

1// ❌ Zu restriktiv
2type StrictConfig = {
3  [K in string]: never;
4} & Config;
5
6// ✅ Flexibler
7type ExtensibleConfig = Config & Record<string, unknown>;

1type Status = 'success' | 'error';
2
3// ❌ Kann irreführend sein
4const result = { status: 'success' as Status };
5
6// ✅ Sicherer
7const result = { status: 'success' } satisfies { status: Status };