0

Никак не могу понять почему такой код выдаёт ошибку - Type '{}' is not assignable to type 'Keys<T>'.

type Keys<T extends string|symbol>={
    [key in T]: string;
};
const foo = <T extends string|symbol>()=>{
    const a:Keys<T> = {}
    return a
}

Причем если подставить вручную тип string или symbol, никаких ошибок получено не будет. Лишь предупреждение о том, что T для функции объявлен, но не используется.

Пример рабочих кодов:

type Keys<T extends string|symbol>={
    [key in T]: string;
};
const foo = <T extends string|symbol>()=>{
    const a:Keys<string> = {}
    return a
}
type Keys<T extends string|symbol>={
    [key in T]: string;
};
const foo = <T extends string|symbol>()=>{
    const a:Keys<symbol> = {}
    return a
}

Вы можете проверить код здесь

2
  • Ну а так например const a: Keys<"key"> = {}будет ошибка. Тс же не знает что в T будет.
    – sailybra
    Commented 22 дек. 2022 в 6:54
  • @sailybra, могу ли я как-то сделать чтобы T был эквивалентен только типу string или типу symbol?
    – HTO HOT
    Commented 23 дек. 2022 в 12:19

1 ответ 1

0

type Keys<T extends string|symbol> - T это обобщенный тип, т.е. при использовании такого type нужно будет явно указать тип (заменить T на нужный тип данных). Ты получаешь ошибку, т.к. используешь свой генерик c 'обобщенным' типом. И соответсвенно не получаешь ошибку, когда подставляешь Key<string>

Мне кажется, что по задумке, ты хотел сделать что то вроде

type Keys<T extends string | symbol> = Record<T, string>;

const a: Keys<symbol> = {
  [Symbol('id')] = '12345'
}

Или даже

const a: Record<symbol, string> = ....

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.