Question

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

说我有这个：

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成员的类型？

动态将元素添加到类型化数组

0 个答案: