在 TypeScript 中,|
符号被用于定义联合类型(Union Types)。联合类型是一种高级的类型定义方式,它允许你定义一个类型为多种类型中的一种。这对于处理可能有多种类型的变量非常有用。
例如,假设我们有一个函数,它接受一个参数,这个参数可能是一个数字,也可能是一个字符串。在 JavaScript 中,我们无法明确指定这个参数的类型,但在 TypeScript 中,我们可以使用联合类型来做这个事情:
function logInput(input: string | number) {
console.log(input);
}
在上述代码中,input
参数的类型被定义为 string | number
,这意味着它可以是一个字符串或者是一个数字。
联合类型特别有用,因为 TypeScript 会根据联合类型中的所有可能类型来检查我们的代码。例如,考虑以下代码:
function getLength(input: string | number) {
return input.length;
}
这段代码会导致一个错误,因为 number
类型没有 length
属性。TypeScript 的类型检查器知道 input
可能是一个数字,所以它不允许我们尝试访问 length
属性。
为了处理这种情况,我们可以使用类型断言或者类型保护:
function getLength(input: string | number) {
if (typeof input === 'string') {
return input.length;
} else {
return input.toString().length;
}
}
在这个例子中,我们首先检查 input
是否是一个字符串。如果是,我们知道它有 length
属性,所以我们可以安全地访问它。如果 input
不是一个字符串,那么我们知道它必须是一个数字,因此我们可以把它转换为一个字符串,然后获取其长度。
联合类型也可以与其他 TypeScript 特性一起使用,例如类型别名和接口。例如,我们可以定义一个类型别名,它是两个接口类型的联合:
interface Cat {
type: 'cat';
breeds: string;
age: number;
}
interface Dog {
type: 'dog';
breeds: string;
age: number;
}
type Pet = Cat | Dog;
function printPet(pet: Pet) {
console.log(`Type: ${pet.type}, Breeds: ${pet.breeds}, Age: ${pet.age}`);
}
在这个例子中,Pet
类型是 Cat
和 Dog
的联合类型。这意味着一个 Pet
可以是一个 Cat
或者一个 Dog
。
总的来说,TypeScript 中的 |
符号提供了一种强大的方式来处理可能有多种类型的值。通过使用联合类型,我们可以编写更灵活的代码,同时还能保持强大的类型安全性。