Как описать тип «значение любого из ключей типа»?

Question

[castetus]

Есть интерфейс:

export interface StateInterface {
  listsModule: moduleInt
  vocabularyModule: vocabularyInt
}

Как динамически сделать перечисление типов его ключей? Чтобы возвращалось 'moduleInt | vocabularyInt'?
А если в будущем добавится еще ключ, чтобы он тоже попал в это перечисление.

type MappedType<T> = {
  [K in keyof T]: вот здесь что написать?
}

Answer 1

[Василий Банников]

Тебе нужен не mapped type, а indexed access type.

type ComplexObject = {a: number, b: string};
type ValueOfComplexObject = ComplexObject[keyof ComplexObject];
const a: ValueOfComplexObject = 42;
const b: ValueOfComplexObject = "str";
// const c: ValueOfComplexObject = {}; // Ошибка!

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

Comments

[castetus]

так уже пробовал. Говорит "Type 'vocabularyInt' is missing the following properties from type 'MappedType': listsModule, vocabularyModule". Получается что так это равносильно просто указанию StateInterface в качестве типа

[castetus]

или я неправильно указываю потом тип для переменной? data: MappedType<StateInterface> - надо как-то по другому?

[Василий Банников]

castetus, а зачем тут вообще MappedType?

[castetus]

А как правильно указать тип в таком случае?

[Василий Банников]

castetus, вопросом на вопрос?)
Ну почему бы просто не написать StateInterface, вместо MappedType<StateInterface>

[castetus]

Ну очевидно потому, что тип переменной data не StateInterface, а moduleInt | vocabularyInt )

Возможно, я не очень понятно изначально описал проблему.
Переменная data может быть либо типа moduleInt, либо vocabularyInt, либо типа любого другого ключа, который впоследствии может появиться в StateInterface.

[Василий Банников]

castetus, тогда может data: keyof StateInterface?

[castetus]

не, так пишет "Argument of type 'vocabularyInt' is not assignable to parameter of type 'keyof StateInterface'"

[Василий Банников]

castetus, тогда data: vocabularyInt | keyof StateInterface

[Василий Банников]

castetus, покажи лучше код, в котором вообще такой тип понадобился.

[Василий Банников]

castetus, Я понял, что ты хочешь получить наконец-то:

type ComplexObject = {a: number, b: string};
type ValueOfComplexObject = ComplexObject[keyof ComplexObject];
const a: ValueOfComplexObject = 42;
const b: ValueOfComplexObject = "str";
// const c: ValueOfComplexObject = {}; // Ошибка!

[castetus]

Спасибо! Вот так data: StateInterface[keyof StateInterface] это именно то что нужно
Оформи ответом, я отмечу решением.

[Василий Банников]

castetus, уже)