TypeScript中类型缩小的方式

TypeScript是一种静态类型检查的编程语言，它通过让开发者在代码中去定义变量、函数、接口以及类等等的类型，从而帮助开发者减少代码中的错误。TypeScript类型系统中有一些非常强大的功能，其中一个非常重要的概念是类型缩小(Type Narrowing)。在本篇技术博客中，我们将探讨TypeScript中类型缩小的几种方式。

1.类型断言(Type Assertion)

类型断言是TypeScript中最常用的类型缩小技术之一。当开发者对一个变量进行类型断言时，就是在告诉TypeScript编译器，这个变量的类型是我们所指定的类型。在对变量进行类型断言时，我们可以使用"as"关键字或者"<>"符号。例如：

const myVariable: unknown = "hello world";

if(typeof myVariable === "string"){
  const myString: string = myVariable as string;
  console.log(myString.toUpperCase());
}

2.instanceof关键字

TypeScript中的 instanceof关键字可以用来检查对象是不是属于某个类的实例，这也是一种类型缩小的方式。例如：

class MyPerson {
    firstName: string;
    lastName: string;
}

const myObject: any = new MyPerson();
if(myObject instanceof MyPerson) {
    console.log(myObject.firstName);
}

在这个例子中，我们用instanceof关键字判断myObject是不是MyPerson类的一个实例，这样我们就能够仅仅在if语句块中使用MyPerson类中的firstName属性了。

3.in关键字

in关键字用来检查一个属性是否属于一个对象，如果这个条件为true，TypeScript就会默认这个变量的类型是我们指定的类型。例如：

type Student = {
    name: string;
    major: string;
    gpa: number;
}

function printStudentInfo(student: Student, key: string) {
    if (key in student) {
        console.log(student[key]);
    }
}

在这个例子中，我们使用了in关键字去检测传递进来的key是否属于student对象的属性，并且默认这个变量的类型为string。

4.自定义类型保护函数

除了上述基本的类型缩小方式之外，TypeScript还允许开发者自定义类型保护函数来进行类型缩小。类型保护函数是指一个函数，它发挥的作用是在运行时检查一个变量是否属于某个特定类型，并且返回一个布尔值。例如：

interface Animal {
    name: string;
}

interface Dog extends Animal {
    breed: string;
}

function isDog(animal: Animal): animal is Dog {
    return (animal as Dog).breed !== undefined;
}

function bark(animal: Animal) {
    if(isDog(animal)){
        console.log((animal as Dog).name + " barks!");
    } else {
        console.log(animal.name + " doesn't bark!");
    }
}

const myAnimal1: Animal = { name: "Bob" };
const myAnimal2: Dog = { name: "Max", breed: "Beagle" };

bark(myAnimal1);    // "Bob doesn't bark!"
bark(myAnimal2);    // "Max barks!"

这个例子中我们定义了一个isDog的函数，它用来检查传递进来的变量是否属于Dog类型。注意到isDog函数的返回值为animal is Dog，这是一种类型谓词，表示函数会将传递进来的变量作为Dog类型来处理。

总结

本篇技术博客介绍了TypeScript中类型缩小的几种方式，包括类型断言、instanceof关键字、in关键字以及自定义类型保护函数。每种类型缩小技术都有其应用场景和优势，在编写TypeScript代码时，开发者可以选择最合适的方式来进行类型缩小，从而让代码更加健壮和安全。