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变量的类型。
// Creating the first interface
interface interface1 {
prop1?: string;
prop2: boolean;
}
// creating the second interface and extending it with the interface1
interface interface2 extends interface1 {
prop3?: number;
prop4: boolean;
}
// type of the type1 is number as interface2 extends interface1
type type1 = interface2 extends interface1 ? number : string;
let var1: type1 = 20;
// type of the type2 is string as interface1 doesn't extends the interface2
type type2 = interface1 extends interface2 ? number : string;
let var2: type2 = "Hello";
console.log("The type of var1 variable is " + typeof var1);
console.log("The type of var2 variable is " + typeof var2);
On compiling, it will generate the following JavaScript code −
var var1 = 20;
var var2 = "Hello";
console.log("The type of var1 variable is " + typeof var1);
console.log("The type of var2 variable is " + typeof var2);
输出
上述代码将产生以下输出 –
The type of var1 variable is number
The type of var2 variable is string
我们已经学习了条件类型的基本知识以及如何创建它。
为什么是条件类型
我们将学习为什么以及条件类型在现实生活的开发中是如何有用的。
让我们看看下面的代码,其中我们通过根据参数类型改变其返回类型来重载func1()函数。我们可以观察到,如果参数类型是布尔型,返回类型就是字符串。此外,如果参数类型是字符串和数字,则返回类型分别是数字和布尔值。
function func1(param1: boolean): string;
function func1(param1: string): number;
function func1(param1: number): boolean;
function func1(param1: any): any {
// function body of the overloaded function
}
我们可以通过在一行中用一个定义创建条件类型来重载该函数,而不是在函数中写多个定义。
例子
在下面的例子中,我们已经创建了名为test_type的条件类型。它接收值并根据值的类型返回类型。如果值的类型是数字,它返回布尔值;对于字符串值,它返回数字,而对于布尔值,它返回字符串类型。
在输出中,我们可以观察到变量和abc变量的类型,这是我们从test_type中得到的。
// creating the conditional type
// it will accept the number, string, and boolean values
type test_type<T extends number | string | boolean> = T extends number
? boolean
: T extends string
? number
: string;
// getting the type of abc variable based on the value from the conditional test_type
let abc: test_type<"hello"> = 20;
console.log("The type of the variable abc is " + typeof abc);
let variable: test_type<typeof abc> = false;
console.log("The type of the variable is " + typeof variable);
编译时,它将生成以下JavaScript代码。
// getting the type of abc variable based on the value from the conditional test_type
var abc = 20;
console.log("The type of the variable abc is " + typeof abc);
var variable = false;
console.log("The type of the variable is " + typeof variable);
输出
上述代码将产生以下输出 –
The type of the variable abc is number
The type of the variable is boolean
由于我们对一个变量使用了条件类型,我们可以将其用于函数参数或返回类型。
用户在本教程中学习了创建条件类型,允许我们根据另一个变量的类型或值来选择一个特定的变量。此外,我们还学会了将条件类型用于函数参数和返回类型。