面试题：TypeScript中条件类型与类型查询操作符的联合运用

Question

定义一个类型 `IsString<T>`，如果 `T` 是 `string` 类型，返回 `true`，否则返回 `false`。然后，定义一个类型 `FilterStrings<T>`，使用 `IsString` 和 `Extract` 等类型查询操作符，从联合类型 `T` 中过滤出所有 `string` 类型的子类型。例如，对于 `type Example = FilterStrings<string | number | boolean>`，应该得到 `string`。请编写完整的TypeScript类型定义。

Answer 1

type IsString<T> = T extends string ? true : false;

type FilterStrings<T> = Extract<T, string>;