Как правильно реализовать дженерик?

Question

[SHUPILOID]

У меня есть функция которя на входе принимает массив из объектво с ключами camelCase и переделывает на тот же массив только ключи меняе на snake_case.

const camelToSnakeKeysOfArrayObject = <
  T extends { [key: string]: unknown }[]
>(
  arr: { [key: string]: unknown }[]
): T =>
  arr.map(item =>
    Object.entries(item)
      .map(([key, value]) => ({
        [camelToSnakeCase(key)]: value,
      }))
      .reduce((acc, item) => ({ ...acc, ...item }), {})
  );

Я хочу что бы оно принимало тип массива с помощью generic. Но у меня вылетает ошибка

Type '{ [x: string]: unknown; }[]' is not assignable to type 'T'.
'{ [x: string]: unknown; }[]' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint '{ [key: string]: unknown; }[]'.

Подскажите пожалуйста как правильно реализовать

Answer 1

[Aetae]

typescriptlang.org/play

spoiler

type Alph = 'Q' | 'W' | 'E' | 'R' | 'T' | 'Y' | 'U' | 'I' | 'O' | 'P' | 'A' | 'S' | 'D' | 'F' | 'G' | 'H' | 'J' | 'K' | 'L' | 'X' | 'Z' | 'C' | 'V' | 'B' | 'N' | 'M'

type CamelToSnake<T extends string> = T extends `${infer S1}${Alph}${string}` ? T extends `${S1}${infer S2}` ? `${Lowercase<S1>}_${CamelToSnake<Uncapitalize<S2>>}` : T : T;
type AsdSnake = CamelToSnake<'asdAsdAsd'> // asd_asd_asd

type SnakeToCamel<T extends string> = T extends `${infer S1}_${infer S2}` ? `${Lowercase<S1>}${Capitalize<SnakeToCamel<S2>>}` : T;
type AsdCamel = SnakeToCamel<'asd_asd_asd'> // asdAsdAsd

type SnakePropToCamel<T extends PropertyKey> = T extends string ? SnakeToCamel<T> : T;
type CamelPropToSnake<T extends PropertyKey> = T extends string ? CamelToSnake<T> : T;

let camelToSnakeCase: <T extends PropertyKey>(str: T) => CamelPropToSnake<T>;

type CamelObjectToSnake<T extends {[key: string]: any}> = {
  [K in keyof T as CamelPropToSnake<K>]: T[K]
}

function camelCaseObject<T extends {[key: string]: any}>(obj: T) {
  return Object.entries(obj)
    .reduce((acc, [key, value]) =>
        (acc[camelToSnakeCase(key as keyof T)] = value, acc),
      {} as CamelObjectToSnake<T>
    )
}

function camelToSnakeKeysOfArrayObject<T extends Array<{[key: string]: any}>>(arr: T) {
  return arr.map(camelCaseObject) as {
    [K in keyof T]: CamelObjectToSnake<T[K]>
  };
}

Основано на варианте WbICHA но поддерживает объекты разных сигнатур, типа:

camelToSnakeKeysOfArrayObject([{
  aaAa: 1,
  bbBb: true
}, {
  aaAa: 'ggg'
}]);

Comments

[WbICHA]

Супер, а то я свой отправил в ответ а потом такой "стоп, а какой итоговый тип получается?", глянул, убедился что зафейлил и забил.)

[SHUPILOID]

Блин, ну вообще гуру ts :), спасибо огромное вам ребят. Очень много нового для подчеркнул

[SHUPILOID]

WbICHA подскажите пожалуйста, как вы просто объявляете переменую, без ее инициализации и она работает исходя из своего типа без реализации самой функции. Где можно об этом почитать?

let camelToSnakeCase: <T extends PropertyKey>(str: T) => CamelPropToSnake<T>;

[Aetae]

SHUPILOID, ну это обычный let\var. Его не обязательно инициализировать сразу.)
А исходя из типа она работает потому что мы явно сказали тайпскрипту что в этой переменной такой-то тип и больше никакой. Вроде он умеет отлавливать в некоторых случаях если мы пытаемся использовать такую переменную до инициализации.

[WbICHA]

SHUPILOID, никак она не работает, я её объявил тупо чтобы ошибка перед глазами не маячила.

[SHUPILOID]

Тогда как она в этом метсе отрабатывает? :)

function camelCaseObject<T extends {[key: string]: any}>(obj: T) {
  return Object.entries(obj)
    .reduce((acc, [key, value]) =>
        (acc[camelToSnakeCase(key as keyof T)] = value, acc),
      {} as CamelObjectToSnake<T>
    )
}

[WbICHA]

SHUPILOID, в реальном проекте всё равно подсветится как ошибка, только я не помню чья это будет ошибка, либо еслинта, либо тса.
Variable was used before initialization или что-то вроде этого.

[SHUPILOID]

А все понял, а то я уже думал вообще какая-то магия :)
TS пропускает, но на выходе ошибка, так реально функция не объявленна. Еще раз спасибо большое :)

Answer 2

[Alexandroppolus]

Нужен ли здесь темплейт?

Может, будет достаточно

type Data = Array<Record<string, unknown>>;

const camelToSnakeKeysOfArrayObject = (arr: Data): Data => ...

?

Comments

[SHUPILOID]

Я просто хочу дженерик использовать что бы вытаскивать тип из этой функции, а не получить {[key: string]: unknown}

[Alexandroppolus]

SHUPILOID, иными словами, ты хочешь, чтобы если, допустим, на вход поступил объект типа {valueA: string}, тайпскрипт вывел бы для результата тип {value_a: string}, и далее мог прочекать в коде обращение obj.value_a ?

Answer 3

[WbICHA]

https://www.typescriptlang.org/play?#code/C4TwDgpg...