Можно ли записать этот дженерик изящнее?

Question

[romaro]

В джеренике PlaceholdersFrom я думал использовать Record, но не соображу, как извлекать тип свойства:
Record<keyof T[K], >

Поэтому получилось так.

Дублирую из песочницы:

type ObjectPlaceholders = {
    props?: Record<string, string | number>;
    data?: Record<string, string | number>;
}

interface IBlock extends ObjectPlaceholders {
    data: {
        name: string;
        age: number;
    },
    props: {
        address: string;
    }
}

type PlaceholdersFrom<
    T extends ObjectPlaceholders, K extends keyof ObjectPlaceholders
> = { [P in keyof T[K]]: T[K][P] }

const obj: PlaceholdersFrom<IBlock, 'props'> = {
    address: 'ul Ivanova, 22'
}

Comments

[WbICHA]

Всё правильно написано, куда ещё изящнее? Рекорд не для данных случаев.

Answer 1

[Alexandroppolus]

type PlaceholdersFrom<
    T extends ObjectPlaceholders, K extends keyof ObjectPlaceholders
> = T[K]

Comments

[WbICHA]

Ахах, а ведь действительно.)

[romaro]

Alexandroppolus это невероятно остроумно и мне даже в голову не пришло, что выражение T[K] уже приводится к объектному типу! Если не затруднит, посмотрите, пожалуйста, другой мой вопрос: https://qna.habr.com/q/1162416

[WbICHA]

romaro, по факту этот тип и не нужен, ничего не мешает напрямую использовать ObjectPlaceholders['someProp'].