如何让TypeScript识别类中getter内的类型检查？

你遇到的问题是：Tree类里的is_leaf getter虽然内部做了typeof this.data === 'string'的类型判断，但TypeScript无法将这个getter的返回值当作类型守卫来收缩data的类型，导致else分支里调用push时报错。而直接把typeof判断写在if条件里就能正常工作，这是因为TypeScript只会对条件内的原生类型保护表达式做类型收缩，无法自动关联getter内部的逻辑。

下面是几种可行的解决方法：

1. 把Getter改成带类型谓词的方法 #

TypeScript支持通过**类型谓词（Type Predicate）**明确告诉编译器，某个函数的返回值对应什么类型信息。由于getter无法直接标注类型谓词，我们可以把is_leaf改成一个方法：

class Tree {
    data: string | string[]

    // 用类型谓词标注：返回true时，当前实例的data是string类型
    public isLeaf(): this is { data: string } {
        return typeof this.data === 'string'
    }

    someMethod() {
        if (this.isLeaf()) {
            // 这里this.data会被推断为string类型
            console.log(this.data.toUpperCase())
        } else {
            // 这里this.data自动推断为string[]类型
            this.data.push('Something')
        }
    }
}

2. 用静态方法包装getter并添加类型谓词 #

如果想要保留原有的is_leaf getter，可以写一个静态类型守卫方法，把getter的返回值和类型谓词关联起来：

class Tree {
    data: string | string[]

    public get is_leaf() {
        return typeof this.data === 'string'
    }

    // 静态类型守卫方法，标注类型谓词
    static isLeaf(tree: Tree): tree is { data: string } {
        return tree.is_leaf
    }

    someMethod() {
        if (Tree.isLeaf(this)) {
            // data推断为string
        } else {
            this.data.push('Something')
        }
    }
}

3. 类型断言（临时应急，不推荐） #

如果只是快速解决当前报错，可以用类型断言强制指定data的类型，但这种方式会跳过TypeScript的类型检查，后续如果is_leaf的逻辑变化，容易引发运行时错误：

someMethod() {
    if (this.is_leaf) {
        // do something
    } else {
        (this.data as string[]).push('Something')
    }
}

核心原因 #

TypeScript的类型收缩只对直接写在条件中的原生类型保护逻辑生效（比如typeof、instanceof、字面量对比等）。getter的返回值被视为普通布尔值，编译器无法追踪到它内部的类型判断逻辑，所以需要通过类型谓词主动告知编译器这个布尔值对应的类型含义。

内容的提问来源于stack exchange，提问作者Andrew Rusinas