上級 › Mapped typeも通常と同じ型チェックを受ける理由 › パターン2

Mapped typeも通常と同じ型チェックを受ける理由

{ [K in keyof T]?: T[K] }のようなmapped typeで生成した型は、見た目は特殊でも、実体は通常のinterfaceと同じようにプロパティごとの型チェックが行われます。

 1  interface Flags {
 2    active: boolean;
 3    count: number;
 4  }
 5  type ReadonlyFlags = { readonly [K in keyof Flags]: Flags[K] };
 6  const f: ReadonlyFlags = { active: true, count: ___ };
                                                     ^
 7  console.log(f);