typescript - 在 TypeScript 中使用 is 运算符的原因是什么?
问题描述
在这种情况下,在 TypeScript 中使用 is 运算符的原因是什么?
type Species = "cat" | "dog";
interface Pet {
species: Species
}
interface Cat extends Pet {
}
function petIsCat(pet: Pet): pet is Cat {
return pet.species === "cat";
}
如果 body 返回 bool 类型,为什么要改用pet is Cat
?boolean
解决方案
boolean 只是一种数据类型,而 'is' 运算符用于类型测试。让我稍微改变一下你的例子:
type Species = 'cat' | 'dog';
interface Pet {
species: Species;
}
class Cat implements Pet {
public species: Species = 'cat';
public meow(): void {
console.log('Meow');
}
}
function petIsCat(pet: Pet): pet is Cat {
return pet.species === 'cat';
}
function petIsCatBoolean(pet: Pet): boolean {
return pet.species === 'cat';
}
const p: Pet = new Cat();
p.meow(); // ERROR: Property 'meow' does not exist on type 'Pet'.
if (petIsCat(p)) {
p.meow(); // now compiler is know for sure that the variable is of type Cat and it has meow method
}
if (petIsCatBoolean(p)) {
p.meow(); // ERROR: Property 'meow' does not exist on type 'Pet'.
}
当然你可以使用类型转换:
(<Cat>p).meow(); // no error
(p as Cat).meow(); // no error
但这取决于场景。