如何在typescript中实现回调返回类型的类型保护？

在 TypeScript 中，回调函数的返回类型可以通过使用类型谓词（Type Predicate）来实现类型保护。类型谓词是一种特殊的函数返回类型，它告诉 TypeScript 编译器某个函数能够确切地返回一个特定类型的值。

以下是一个简单的例子，展示了如何在 TypeScript 中实现回调返回类型的类型保护：

interface Bird {
    fly(): void;
}

interface Fish {
    swim(): void;
}

type Animal = Bird | Fish;

// 类型谓词函数
function isBird(animal: Animal): animal is Bird {
    return (animal as Bird).fly !== undefined;
}

// 使用类型谓词的回调函数
function doSomething(animal: Animal, callback: (isBird: boolean) => void): void {
    if (isBird(animal)) {
        // 在这个代码块中，TypeScript 知道 animal 是 Bird 类型
        animal.fly();
        callback(true);
    } else {
        // 在这个代码块中，TypeScript 知道 animal 是 Fish 类型
        animal.swim();
        callback(false);
    }
}

// 示例使用
const bird: Bird = { fly: () => console.log("Flying...") };
const fish: Fish = { swim: () => console.log("Swimming...") };

doSomething(bird, (isBird) => {
    console.log("Is bird?", isBird); // 输出: Is bird? true
});

doSomething(fish, (isBird) => {
    console.log("Is bird?", isBird); // 输出: Is bird? false
});

在这个例子中，isBird 函数是一个类型谓词，它接受一个 Animal 类型的参数，并返回一个布尔值。当返回 true 时，TypeScript 编译器知道传入的 animal 参数实际上是 Bird 类型；当返回 false 时，则是 Fish 类型。

在 doSomething 函数中，我们使用了 isBird 类型谓词来检查 animal 的类型，并根据检查结果执行不同的逻辑。这样，我们就可以在回调函数中准确地知道 animal 的类型，并安全地调用其方法。

这种方法的优点是它提供了编译时的类型安全，减少了运行时错误的可能性，并且提高了代码的可读性和可维护性。

参考链接：