ルックアップタイプの一部である制限キー

Question

TP1のキーをkeyofキーワードで指定したキーを特定のタイプのプロパティに限定する制約を作成する必要があります。 builder.setMetadataメソッドを使用する場合、最初のパラメータは文字列 "configure"を有効な値として受け入れるべきではありません（fooと他のキーはFoo<something>として受け入れる必要があります）。私は自分で解決策を見つけようとしましたが、少し失われて3時間以上続いています。以下は作業コードです：

interface Foo<T> {}; 

class Test { prop: string; } 

class Builder<T> { 
    public setMetadata<TP1 extends keyof this, TP2 extends keyof this[TP1]>(prop: TP1, propOfProp: TP2) { 
     // ... 
    } 
} 

class Bar { 
    foo: Foo<Test>; 

    configure(builder: Builder<Bar>) { 
     builder.setMetadata("", ""); // only "foo" should be accepted value in the first argument, "configure" shouldn't be in the list 
    } 
} 

Answer 1

どうやってですか？別々にsetMetadataの第二のparamタイプkeyof

移動FOOを使用していないsetMetadataのタイプ

で

• 使用T代わりのthis：

  class Builder<T> { 
      public setMetadata<TP1 extends keyof T, TP2 extends T[TP1]>(prop: TP1, propOfProp: TP2) { 
      // ... 
      } 
  } 
  
  class BarData { 
      foo: Foo<Test>; 
  } 
  
  class Bar extends BarData { 
      configure(builder: Builder<BarData>) { 
      // ... 
      } 
  } 
  

  私はいくつかの場所で変更を加えましたクラス

Answer 2

解決済みusi機能：

function createInstance<T extends Function & { [P in keyof TSchema]: Foo<any> }>(schema: T, configure: (builder: Builder<T["prototype"]>) => void): any { 
    // ... 
}