プロパティデコレータを使用したプロパティタイプの厳密な型チェック

Question

Typescriptで修飾されたプロパティの型を検証する方法はありますか？ booleanクラスのプロパティでのみ動作するプロパティデコレータが欲しいです。 （以下の例）。これは可能ですか？

（注：反映-メタデータを経由して、活字体でちょうどコンパイルタイプの警告を私はランタイムの検証をしたくない）、この程度

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); 

Answer 1

何？

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

渡されたtargetニーズKが渡されたpropの一種であるキーK、でboolean性質を有するHTMLElementすることができます。それが動作するか見てみましょう：

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

    @booleanProperty // error 
    bar: string; 
} 

私によく見えます。それはあなたのために働くのですか？