TypeScript 高级类型体操

TypeScript 的类型系统非常强大，可以表达复杂的类型约束。

条件类型

type IsString<T> = T extends string ? true : false;
type A = IsString<'hello'>; // true
type B = IsString<42>; // false

模板字面量类型

type EventName<T extends string> = `on${Capitalize<T>}`;
type ClickEvent = EventName<'click'>; // 'onClick'

掌握这些技巧可以写出更安全、更优雅的代码。