Всем привет, у меня есть задача написать функцию, которая бы

Question

Всем привет, у меня есть задача написать функцию, которая бы

принимала маппед тип произвольного типа и я бы точно знал какие именно ключи были переданы.
Хочется чтобы ts выдавал ошибку в случае если в типе были переданы несуществующие ключи, при этом был комплишен возможных ключей, если несуществующий ключ всего один, то все хорошо и ts валится, но как только добавляешь существующий ключ то это устраивает ts. Возможно кто то сталкивался с подобным и знает способ как это можно сделать просто?

#programming #russian #typescript

0

15.04.2021

4 ответов

22 просмотра

Sergey Alexeev Автор вопроса

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

0

15.04.2021

Ярослав

Привет. Могу посоветовать аргумент функции типизировать не как S, а обернуть это в еще один mapped types и там проверку провести

0

15.04.2021

Ярослав

type User = { id: string; name: string } type Selector<T> = { [k in keyof T]?: true } type Strict<T, U> = { [K in keyof T]: K extends keyof U ? T[K] : never } const query = <S extends Selector<S>>(selector: Strict<S, User>) => selector const a = query({id: true}) // it's ok const b = query({qq: true}) // error const c = query({ qq: true, id: true }) // error

0

15.04.2021

Anton · Accepted Answer

Anton

увы дженерики в TS ковариантны, поэтому через дженерик желаемого не добиться, но если описать входной аргемент инлайново, то можно получить инвариантное поведение и увидеть желаемую ошибку const query = (s: Partial<Selector<User>>) => selector

0

15.04.2021

169 похожих чатов

Всем привет, у меня есть задача написать функцию, которая бы

4 ответов

Похожие вопросы