Как проверить тип объекта при конвертировании из другого типа в TS?

Question

[Виктор]

Помогите решить задачу. Пишу функцию конвертер, которая принимает объект и должна его конвертировать в другой объект. Делаю это так:

const converter = <T extends object, R>(obj: T): R => {
  return Object.assign({}, ...Object.entries(obj)?.map(([k, v])=> {
    if (k === 'type') {
      return {[k]: v.toString()}
    }
  }))
}

Пример сильно упрощён, но Object.assign возвращает объект any, а как мне проверить, что возвращаемый объект может быть конвертирован в тип R? Функция используется рекурсивно.

=====================

Для проверки, может ли быть объект а конвертирован в б я использовал вот такой пример. Сразу оговорюсь, что в моём случае проверка типов не нужна, по этому она упущена.

type DeepKeys<T> = T extends object
  ? { [K in keyof T]: K extends string ? `${K & string}` : never }[keyof T]
  : '';

type CanConvert<T, U> = DeepKeys<U> extends DeepKeys<T> ? U : never;

const converter = <T extends object, R>(obj: T): CanConvert<T, R> => {
  return Object.assign({}, ...Object.entries(obj)?.map(([k, v])=> {
    if (k === 'type') {
      return {[k]: v.toString()}
    }
  }))
}

Теперь, в случае изменения структуры объекта А и невозможности получить на выходе нужный объект Б, я получу ошибку

Comments

[Lynn «Кофеман»]

Написать явно код который это проверит.

https://www.typescriptlang.org/docs/handbook/2/nar...

[modelair]

таки ведь функции надо знать, что такое R, чтобы проверить, соответствует ли возврат этому типу.
напишите проверку типа, ну или обойдитеcь по-простому: return obj as R, но это прохладная история

[Виктор]

modelair, функци узнаёт что такое T и R при вызове, эти параметры передаются в дженерике.
obj as R это костыль, который приведёт любой объект к типу R, и без этого костыля всё работает. Нужна проверка, соответствует ли obj типу R, для того, чтобы отловить ошибку если данные разнятся.

Lynn «Кофеман», Такой вариант я знаю, но это не то. Тем более, что функция рекурсивная и обрабатывает несколько десятков значений. Мне надо проверять, соответствуют ли все ключи и значения нового объекта, типу переданному в R

[WbICHA]

Виктор,

Нужна проверка, соответствует ли obj типу R, для того, чтобы отловить ошибку если данные разнятся.

А причём здесь тайпскрипт? Тебе нужен рантайм валидатор.

[Lynn «Кофеман»]

Виктор,

функци узнаёт что такое T и R при вызове, эти параметры передаются в дженерике.

Нет.
В каждом первом учебнике по TS написано в рантайме нет никаких типов.

[Виктор]

WbICHA, Мне нужно увидеть ошибку не в рантайме, а на этапе разработки. Другими словами, Есть объект типа А и мне его надо преобразовать в объект типа Б, и если это невозможно, то получить ошибку.

[Виктор]

Lynn «Кофеман», ответил чуть выше. Ошибка не в рантайме нужна, а на этапе разработки, если невозможно преобразовать объект А в объект Б

[Lynn «Кофеман»]

Тогда нужно больше конкретики.

Но сдаётся мне, что ты хочешь чего-то слишком абстрактного.

[WbICHA]

Виктор, я только сейчас немного задумался что твой код делает и у меня возник вопрос: ты вообще понимаешь, что ты вообще пытаешься сделать в данном куске индуссокода?

Вот как это должно выглядеть:

// js
const converter = (obj) => ({ type: obj.type });

// ts
const converter = <O extends { type: { toString: () => string } }>(obj: O) => ({ type: obj.type.toString() });

[Виктор]

WbICHA, Код нормальный. Просто индусы не особо вчитываются. Как уже сказал, это максимально упрощённая версия, чтобы было видно о чём речь. Данный код, получает большой объект с большой вложенностью, и преобразовывает его в другой объект, другой структуры, меняя при этом как ключи, так и значения объекта, приводя его в необходимый вид. Этот код давно используется и работает отлично. Т.к. исходный объект периодически меняется, то мне надо отслеживать эти изменения, и если исходный объект изменился так, что его больше невозможно конвертировать в объект нужного мне вида, то я должен получить ошибку на стадии запуска проекта, когда генерируются все типы получаемых с бека данных.

[WbICHA]

Виктор,

Код нормальный.

Нет.

Этот код давно используется и работает отлично.

Это не делает код хорошим. И, главное, он элементарно переписывается во вполне нормальный.

я должен получить ошибку

Я тебе выше написал решение. Тебе остаётся лишь сделать нужный входной тип объекта. Хотя в твоём случае вообще непонятно в чём проблема. У тебя есть входящий тип, который может поменяться автогенератором, как я понимаю. Сохрани у себя локально последний сгенерированный тип и укажи его как входной тип.
Но это ладно, если бы ты переписал этот конвертер нормально, то, внезапно, ты бы мог указать и тип для возвращаемого объекта и все спорные места тебе бы сразу просветились.

[Lynn «Кофеман»]

Твой код упрощён до полной потери смысла.
По нему невозможно делать какие-то разумные предположения чего же на самом деле нужно достичь.

[Виктор]

WbICHA, Твой пример подразумевает написание правила для каждого элемента объекта. Теперь представь, что тебе нужно обработать объект с n элементами, которые могут иметь n-ную вложенность, при этом, в исходном объекте, один из элементов может переехать в другой в один прекрасный момент, при этом не изменив свои данные и ключ. Вот как раз твой индусский код будет состоять из нескольких сотен кода и переиспользовать его будет нельзя. Мой же код, развернёт объект и прогонит его по списку правил, и если у объекта будет вложенность, код запустится рекурсивно и так же обработает вложенные объекты любой степени. При этом, правила мне достаточно написать в одном месте, а не прописывать отдельно для каждого ключа в каждой степени.

[Виктор]

Lynn «Кофеман», Так там больше ничего и не надо, чтобы понять что происходит. Видно ведь, что функция принимает объект, который разворачивает через обжект ентриес и производит некие манипуляции с элементами, потом собирает объект через обжект асайн. Расписывать правила, которые происходят внутри мап, нет смысла, т.к. он не повлияет на тип возвращаемого объекта, потому что обжект асайн вернёт объект типа any.

Давайте прекратим эту пустую болтовню. Я сам разберусь.

[WbICHA]

Виктор,

Я сам разберусь.

Учитывая, что ты не можешь изложить свои мысли так, чтобы все поняли, при этом сам не можешь понять то, что тебе пишут, то я могу пожелать тебе только удачи.)

[Виктор]

WbICHA, Оставьте свои пожелания при себе. Вы в них больше нуждаетесь.

Answer 1

[Виктор]

type DeepKeys<T> = T extends object
  ? { [K in keyof T]: K extends string ? `${K & string}` : never }[keyof T]
  : '';

type CanConvert<T, U> = DeepKeys<U> extends DeepKeys<T> ? U : never;

Answer 2

[Alexandroppolus]

судя по данному примеру, достаточно убрать R из генерика, а тип возвращаемого значения указать как

{type?: string}

конкретно здесь Object.assign выглядит как "индусский код", но ведь в реальности что-то более сложное надо?

Comments

[Виктор]

Указано ведь, что это упрощённый пример. Если вы знаете как преобразовать один объекта с несколькими десятками значений, в другой объект с другими ключами и типами значений, то сообщите. А R убирать не надо, надо проверить, соответствует ли ему возвращаемый объект, и если не соответствует, то тс должен показать ошибку

[Alexandroppolus]

Виктор, ну прямо внутри converter ты эту проверку никак не сделаешь - там неизвестно, что за R. И функция не знает наперед, с какими возможными R её будут вызывать.
Тут есть смысл проверять входной аргумент, ведь неподходящий результат - следствие неправильного аргумента.
А результат можно проверить в конкретном применении, например попытавшись присвоить его в переменную некоторого типа, или передав как аргумент другой функции, там если что ошибка и выскочит.

в общем, без чуть менее упрощенного примера нихрена не понятно.