我可以将一个类型数组传递给构造函数，并使用泛型来声明类型 . 但是在获取对象实例（通过构造函数调用）之后，我想向数组添加一个新元素 . 但我现在拥有的动态类型化方法无法将新元素合并到数组中 .

说我有这个：

type TypeMapping = {
  Boolean: boolean,
  String: string,
  Number: number,
  Integer: number,
}

export enum Type {
  Boolean = 'Boolean',
  String = 'String',
  Number = 'Number',
  Integer = 'Integer',
}

export interface ElemType {
  name: string,
  type: keyof TypeMapping,
}

export const asOptions = <K extends keyof any, T extends Array<{ name: K, type: keyof TypeMapping }>>(t: T) => t;

export type OptionsToType<T extends Array<ElemType>>
  = { [K in T[number]['name']]: TypeMapping[Extract<T[number], { name: K }>['type']] }


export class Foo<T extends Array<ElemType>> {

  bar: T;
  baz: OptionsToType<T>;

  constructor(t: T){
    this.bar = t;
  }

  add(t: ElemType){
    this.bar.push(t);
  }

}


const list = asOptions([{name: 'xxx', type: Type.Boolean}]);

const f = new Foo(list);

f.baz.xxx = false; // compiles


f.add({name: 'uuu', type: Type.String});
f.baz.uuu = 'z';   // does not compile (as we would expect)

它工作得很好，直到最后两行 . 如果我使用 add() 方法将新元素推送到数组上，那么类型系统实际上无法合并 .

有没有一些神奇的方法可以更新实例上bar / baz成员的类型？

typescript tsc typescript3.0