Динамически добавлять элемент в типизированный массив - PullRequest
Новая
       15

Динамически добавлять элемент в типизированный массив

0 голосов
/ 05 сентября 2018

Я могу передать типизированный массив конструктору и использовать обобщенные типы для объявления типа. Но после получения экземпляра объекта (с помощью вызова конструктора) я хочу добавить новый элемент в массив. Но методология динамической типизации, которую я сейчас имею, не может включить новый элемент в массив.

Скажи, что у меня есть: 

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 в экземпляре?

...