Typescript getter 类型推断

Question

Typescript 似乎严格基于字段的私有变量来推断字段类型。 但是，如果 getter 返回类型联合 (1)，它不会抱怨，也不会从 getter (2) 推断实际类型：

    test('field type inference', () => {
  class A {
    x_: number;

    // 1: no type checking here
    get x(): number | undefined {
      if (this.x_ === 1) return undefined;
      return this.x_;
    }

    set x(v: number | undefined ) {
      this.x_ = +v;
    }
  }

  const a = new A();
  a.x = 1;

  // 2: The inferred type is number (as of x_, instead of getter)
  const x: number = a.x;

  console.log(a.x) // outputs 'undefined'
})

这是指定/预期的行为吗？

稍后编辑。请注意，strictNullCheck 也不会捕捉到这一点。仅有的两个将缺少初始化和设置器

以下示例修复了strictNullCheck 警告：

test('field type inference', () => {
  class A {
    x_: number;

    get x(): number | undefined {
      if (this.x_ === 1) return undefined;
      return this.x_;
    }

    set x(v: number | undefined ) {
      this.x_ = +(v ?? 0);
    }

    constructor(value: number) {
      this.x_ = value;
    }
  }

  const a = new A(2);
  a.x = 1;

  const x: number = a.x;

  console.log(a.x)
});

Answer 1

首先，当您有属性时，打字稿假定从属性中读取将检索最后写入该属性的值。你这里的 getter/setter 打破了这个约定。但是因为每个 get/set 函数在技术上都是类型安全的，所以 typescript 不会发现任何错误。

其次，当您将常量分配给类型为联合的属性时，打字稿会记住该联合的哪个成员适用于该范围的其余部分。您在这些 getter/setter 中具有逻辑的事实并不重要。

这与私有财产无关，而与公共财产有关。

假设你有一个非常简单的类：

// No getters/setters
class B {
  x: number | undefined
}

const b = new B()
b.x // number | undefined
b.x = 1
b.x // number

如您所见，typescript 会记住您分配的内容，知道它不是未定义的，然后在它知道为真的任何地方将其从属性的结果类型中删除。

---

现在让我们试试这个类：

// useless getters/setters
class C {
  get x(): number | undefined {
    return undefined;
  }

  set x(v: number | undefined ) {
    // no-op
  }
}

const c = new C()
c.x // number | undefined
c.x = 1
c.x // number

现在 getter/setter 没用了，但它会给你“错误”的结果。

Playground

---

如果最后一个值是在同一个同步执行的范围内设置的，Typescript 期望 getter 返回最后一个设置值。事实上，大多数程序员可能也会这样做。

理想情况下，编译器会在此处标记问题，但通过这些设置器跟踪类型安全实际上是一件相当复杂的事情。