TypeScript 的 extends 条件类型

在TypeScript中，extends关键字不仅可以用于类的继承，还可以用于条件类型的定义。

条件类型是一种在类型系统中进行条件判断的机制。通过使用extends关键字，我们可以根据给定的类型条件来确定最终的类型。条件类型的语法如下：

T extends U ? X : Y

其中，T是待判断的类型，U是用于判断的类型，X和Y是根据判断结果分别返回的类型。

下面是一个简单的示例：

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