はてなブックマーク

TypeScript で any や as を使わなくても型チェックをすり抜けてしまう話(Optional Propertyの危険性)TypeScript type A = { b: boolean; n: number; s: string; } type B = { b: boolean; n: number; } type C = { b: boolean; n: number; s?: number; } const a: A = { b: true, n: 10, s: 'text' }; // OK const b: B = a; // A は {b: boolean, n: number} を満たすのでOK const c: C = b; // おや……？ TypeScript の様子が…… if (c.s !== undefined) { // number|undefin