Типизация для выравнивания объекта на основе его свойств идентификатора и метки

ВАЖНОЕ ПРЕДУПРЕЖДЕНИЕ: если вам требуется, чтобы ввод был аннотирован как тип Input, как в

interface Input {
  article: string
  id: number
  abc: { id: string; label: string }
  def: { id: string; label: string }
}
const input: Input = { ⋯ };

тогда это совершенно невозможно

const output: Output = flattenObject(input);

работать напрямую. TypeScript знает только, что input выше имеет тип Input, поэтому тип input.abc.id — это просто string, как и тип input.def.id. Вся информация о значениях "topId" и "someId" утеряна. Лучшее, что вы получите, — это flattenObject(input) создать значение типа {article: string; id: number} & {[x: string]: string}, чего недостаточно.

Если вы хотите, чтобы это работало, вы должны сообщить TypeScript, что input.abc.id имеет литеральный тип"topId" и что input.def.id имеет литеральный тип "someId". Вы можете сделать это, изменив Input на

interface Input {
  article: string
  id: number
  abc: { id: "topId"; label: string }
  def: { id: "someId"; label: string }
}

или разрешив input иметь более узкий тип, чем Input, например

const input = { ⋯ } as const satisfies Input;

который использует константное утверждение для отслеживания литеральных типов всех строковых значений в литерале объекта и оператор удовлетворяет, чтобы убедиться, что его по-прежнему можно назначить Input.

Что касается остальной части этого ответа, я предполагаю, что вы можете это сделать.

Я бы написал Flattened<T> и flattenObject лайк

type Flattened<T extends object> =
  { [K in keyof T as T[K] extends IdLabel ? T[K]["id"] : K]:
    T[K] extends IdLabel ? T[K]["label"] : T[K]
  }

interface IdLabel { id: string; label: string }

declare const flattenObject: <T extends object>(
  obj: T
) => Flattened<T>

По сути, это сопоставленный тип 🔁 ключа с переназначением свойство T у каждой клавиши K проверяется, чтобы определить, является ли это IdLabel или нет. Если это IdLabel, то ключ переназначается на свойство id, а значение сопоставляется со свойством label. В противном случае ключ и значение остаются в покое.

Фактическая реализация flattenObject здесь, вероятно, не подлежит сомнению, но для полноты картины вы могли бы написать

function isIdLabel(x: any): x is IdLabel {
  return !!x && (typeof x === "object") && ("id" in x) && 
    (typeof x.id === "string") && ("label" in x) && 
    (typeof x.label === "string");
}

const flattenObject = <T extends object>(
  obj: T
): Flattened<T> =>
  Object.fromEntries(Object.entries(obj).map(
    ([k, v]) => isIdLabel(v) ? [v.id, v.label] : [k, v])
  ) as any

Давайте проверим это:

const input = {
  article: 'prova',
  id: 63,
  abc: { id: 'topId', label: 'topLabel' },
  def: { id: 'someId', label: 'someLabel' }
} as const satisfies Input;

/* const input: {
    readonly article: "prova";
    readonly id: 63;
    readonly abc: {
        readonly id: "topId";
        readonly label: "topLabel";
    };
    readonly def: {
        readonly id: "someId";
        readonly label: "someLabel";
    };
} */

const output = flattenObject(input) satisfies Output; 
/* const output: {
    readonly article: "prova";
    readonly id: 63;
    readonly topId: "topLabel";
    readonly someId: "someLabel";
} */

Выглядит неплохо. Тип output — это Flattenсоответствующая версия типа input.

Детская площадка, ссылка на код