為什么我應該使用謂詞作為返回類型而不是布爾值？

Question

我在閱讀本文時發現了用戶定義的類型保護： https ：//www.typescriptlang.org/docs/handbook/advanced-types.html#user-defined-type-guards

在本文的一個示例中，他們使用pet is Fish作為方法返回類型，這是一個謂詞。

我發現不是這個返回類型，我也可以使用boolean 。 那么parameter is Type返回類型只是語法糖還是具有特定用途？

Answer 1

如果返回一個boolean該函數將是一個不是打字機的簡單函數。 pet is Fish語法是什么信號給編譯器，這個函數會影響參數的類型。

例如 ：

class Fish { f: boolean }
class Dog { d: boolean; }

declare let x: Fish | Dog;
declare function isFish(p: Fish | Dog): boolean
declare function isFishGuard(p: Fish | Dog): p is Fish;

if (isFishGuard(x)) {
    x.f // x is Fish
}

if (isFish(x)) {
    x.f // error x is still Fish|Dog
}

游樂場鏈接