TypeScript 的 extends 条件类型

在TypeScript中，extends关键字不但可以用于类的继承，还可以用于条件类型的定义。
条件类型是一种在类型系统中进行条件判断的机制。通过使用extends关键字，我们可以根据给定的类型条件来肯定终究的类型。条件类型的语法以下：
```
T extends U ? X : Y
```
其中，T是待判断的类型，U是用于判断的类型，X和Y是根据判断结果分别返回的类型。
下面是一个简单的示例：
```typescript
type TypeName =
T extends string ? "string" :
T extends number ? "number" :
T extends boolean ? "boolean" :
T extends undefined ? "undefined" :
T extends Function ? "function" :
"object";
type T1 = TypeName; // "string"
type T2 = TypeName<"hello">; // "string"
type T3 = TypeName<123>; // "number"
type T4 = TypeName; // "boolean"
type T5 = TypeName; // "undefined"
type T6 = TypeName<() => void>; // "function"
type T7 = TypeName