如何在 TypeScript 中创建条件类型?
在 TypeScript 中，我们需要为每个变量和对象定义类型，因为它是一种严格语言，也包含条件类型。
从条件类型这个词，我们可以预测我们需要根据特定条件选择一个变量。是的，你没听错。当我们使用 if-else 语句根据特定条件执行特定代码块时，我们也可以根据特定条件选择变量的类型。
在本教程中，我们将学习在 TypeScript 中创建条件类型。
语法
用户可以按照以下语法在 TypeScript 中创建条件类型。
first_type extends second_type ? true_type : false_type;
我们在上面的语法中使用三元运算符来创建条件类型。
操作数说明
First_type − 它是一种类型或变量。
Second_type − 它是一种类型，如数字、字符串、布尔值等。
True_type − 如果 first_type 包含 second_type，则将 true_type 分配给变量。
False_type − 如果 first_type 不扩展 second_type，则将 false_type 分配给变量。
现在，我们将查看不同的示例，以了解有关 TypeScript 中条件类型的更多信息。
示例
在在下面的例子中，我们定义了两个接口。在 TypeScript 中，接口的作用与类型别名相同，因为它定义了对象或类的结构。
之后，我们用 interface1 扩展了 interface2。这意味着 interface2 包含 interface1 的所有属性。之后，我们使用三元运算符将条件类型分配给 type1 和 type2 别名。
在输出中，用户可以查看 var1 和 var2 变量的类型。
// 创建第一个接口
interface interface1 {
prop1?: string;
prop2: boolean;
}
// 创建第二个接口并使用 interface1 扩展它
interface interface2 extends interface1 {
prop3?: number;
prop4: boolean;
}
// type1 的类型是 number，因为 interface2 扩展了 interface1
type type1 = interface2 extends interface1 ? number : string;
let var1: type1 = 20;
// type2 的类型是 string，因为 interface1 不扩展 interface2
type type2 = interface1 extends interface2 ? number : string;
let var2: type2 = "Hello";
console.log("var1 变量的类型是 " + typeof var1);
console.log("var2 变量的类型是 " + typeof var2);
编译后，它将生成以下 JavaScript 代码 -
var var1 = 20;
var var2 = "Hello";
console.log("var1 变量的类型为 " + typeof var1);
console.log("var2 变量的类型为 " + typeof var2);
输出
上述代码将产生以下输出 –
var1 变量的类型为数字 var2 变量的类型为字符串
我们已经学习了条件类型的基础知识以及如何创建它。
为什么要使用条件类型?
我们将了解条件类型在实际开发中为何以及如何有用。
让我们看看下面的代码，其中我们通过根据参数类型更改其返回类型来重载 func1() 函数。我们可以观察到，如果参数类型是布尔值，则返回类型为字符串。此外，如果参数类型是字符串和数字，则返回类型分别为数字和布尔值。
function func1(param1: boolean): string;
function func1(param1: string): number;
function func1(param1: number): boolean;
function func1(param1: any): any {
// 重载函数的函数体
}
我们可以通过在一行中创建条件类型来实现函数重载，只需定义一个条件类型，而不必在函数中编写多个定义。
示例
在下面的示例中，我们创建了名为 test_type 的条件类型。它接受值并根据值类型返回类型。如果值的类型是数字，则返回布尔值；对于字符串值，它返回一个数字，对于布尔值，它返回字符串类型。
在输出中，我们可以观察到变量和 abc 变量的类型，这是我们从 test_type 获得的。
// 创建条件类型
// 它将接受数字、字符串和布尔值
type test_type<T extends number | string | boolean> = T extends number
? boolean
: T extends string
? number
: string;
// 根据条件 test_type 的值获取变量 abc 的类型
let abc: test_type<"hello"> = 20;
console.log("变量 abc 的类型为 " + typeof abc);
let variable: test_type<typeof abc> = false;
console.log("变量的类型为 " + typeof variable);
编译后，将生成以下 JavaScript 代码:
// 根据条件 test_type 的值获取变量 abc 的类型
var abc = 20;
console.log("变量 abc 的类型为 " + typeof abc);
var variable = false;
console.log("变量的类型为 " + typeof variable);
输出
上述代码将产生以下输出 –
变量 abc 的类型为数字 变量的类型为布尔值
由于我们已经将条件类型用于变量，因此我们可以将其用于函数参数或返回类型。
用户在本教程中学习了如何创建条件类型，使我们能够根据另一个变量的类型或值选择特定变量。此外，我们还学习了将条件类型用于函数参数和返回类型。
