使用属性装饰器对属性类型进行严格类型检查

有没有办法验证 Typescript 中修饰的属性的类型？我想要一个只适用于boolean类属性，但不是例如string（下面的例子）。这可能吗？

（注意：我不想通过反射元数据进行运行时验证，只是使用 Typescript 进行编译类型警告。）

function booleanProperty<T extends HTMLElement>(target: T, prop: string) {
  // `target` will be the class' prototype
  Reflect.defineProperty(target, prop, {
    get(this: T): boolean {
      return this.hasAttribute(prop);
    },
    set(this: T, value: boolean): void {
      if (value) {
        this.setAttribute(prop, '');
      } else {
        this.removeAttribute(prop);
      }
    }
  });
}

class MyElement extends HTMLElement {
  @booleanProperty
  foo: boolean;

  @booleanProperty
  bar: string; // TS compile error
}
customElements.define('my-element', MyElement);

那这个呢？

function booleanProperty<
  T extends HTMLElement & Record<K, boolean>,
  K extends string>(target: T, prop: K) {
    // ... impl here
}

传入的target需要是一个HTMLElement其中有一个boolean财产是关键K, where K是传入的类型prop。让我们看看它是否有效：

class MyElement extends HTMLElement {
  @booleanProperty // okay
  foo: boolean;

  @booleanProperty // error
  bar: string;
}

在我看来很好。那对你有用吗？