java新建动态数组 java动态数组添加元素

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

说我有这个：

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 = >(t: T) => t;
export type OptionsToType>
= { [K in T[number]['name']]: TypeMapping[Extract['type']] }
export class Foo> {
bar: T;
baz: OptionsToType;
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成员的类型？