typescript 函数体中判断参数类型的技巧
typescript 中，我们可以定义接口来表示不同的数据类型。在本文中，我们将探讨如何在函数体中判断参数的类型，从而实现类型收窄，进行更精细的类型检查。
使用谓词函数
一种方法是编写谓词函数来手动检查类型。谓词函数返回的是 value is sometype 形式的值。例如，我们可以定义如下函数：
// 判断对象是否是 person
function isperson(o: unknown): o is person {
return typeof o.name === 'string' && typeof o.age === 'number';
}在函数体中，我们可以使用此函数来判断参数的类型：
function test(some: person | animal) {
if (isperson(some)) {
// some 现在是 person
} else if (isanimal(some)) {
// some 现在是 animal
}
}使用 io-ts 库
io-ts 库提供了一个更强大的工具来进行类型检查。它可以定义运行时检查工具并将其转换为 typescript 类型：
import * as t from 'io-ts';
const person = t.type({
name: t.string,
age: t.number
});
type person = t.typeof;
const animal = t.type({
food: t.string,
kind: t.string
});
type animal = t.typeof;
function test(some: person | animal) {
if (person.is(some)) {
console.log('现在 some 是 person', some);
} else if (animal.is(some)) {
console.log('现在 some 是 animal', some);
}
} 使用 class
在 typescript 中，class 既是类型也是值。因此，我们可以使用 class 来创建对象，并使用 instanceof 来检查原型链以判断类型：
class Person {
name: string;
age: number;
}
class Animal {
food: string;
kind: string;
}
function test(some: Person | Animal) {
if (some instanceof Person) {
console.log('现在 some 是 Person', some);
} else if (some instanceof Animal) {
console.log('现在 some 是 Animal', some);
}
}上述方法都可以帮助我们在 typescript 函数体中判断参数的类型，从而实现类型收窄并进行更精细的类型检查。
