财产的打字员

Question

假设我们有一个如下所示的类：

class RawResult {
  private raw: string | undefined;
  get exists(): boolean {
    return this.raw !== undefined;
  }
  decode(): Result | undefined {
    if (this.raw === undefined) {
       return undefined;
    }
    return someExpensiveDecoding(this.raw); 
  }
}

有没有办法告诉 TS 编译器 result.exists 暗示 result.decode() 不会是 undefined。

这是基于Firestore DocumentSnapshot's API，其中有exists 属性和data 方法。但是，为了确保data() 不是undefined，我们需要执行以下操作：

const data = result.data()
if (data) {
   // do something with data
}

Answer 1

不带属性，但如果您可以将该 getter 转换为普通方法，则可以这样做：

type Result = {}

interface RawResultExists extends RawResult {
    decode(): Result
}

class RawResult {
    private raw: string | undefined;
    exists(): this is RawResultExists {
        return this.raw !== undefined;
    }
    decode() {
        if (this.raw === undefined) {
            return undefined;
        }
        return this.raw as Result
    }
}

const rawResult = new RawResult();

if (rawResult.exists()) {
    const data = rawResult.decode()
}

Answer 2

不，但您可以使用! operator 告诉编译器您知道自己在做什么：

if (rawResult.exists()) {
    const result = rawResult.decode()!   // always a Result
}