Как корректно сделать пересечение типов с одинаковыми именами свойств, но разными их типами?

Question

[Евгений Журов]

Есть вот такой тип:

export type TBookBasic = {
  _id: string
  title: string
  subtitle?: string
  authors: TCategoryAuthor[]
}

И второй, образующий с первым пересечение, но тип у authors должен быть другой:

export type TBookPage = TBookBasic & {
 [...]
  authors: TCategoryAuthorBook[]
}

В таком виде, понятное дело, никакого TCategoryAuthorBook[] во втором типе не оказывается. А как сделать, чтобы сработало? Подозреваю, что можно дженериками как-то сделать, но не соображу, как именно.

Comments

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

А какой сакральный смысл в такой типизации?

Может нужно не натягивать сову на глобус, а сделать общего предка без поля authors?

[Евгений Журов]

Lynn «Кофеман», если бы этот общий предок был самодостаточной (т.е. использующейся независимо) сущностью - тогда да, без вопросов. В противном случае получится классическое "умножение сущностей без необходимости".

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

А так у вас усложнение сущностей без необходимости.

И, кстати, общий предок вовсе не обязан быть самодостаточным. Куча абстрактных классов тому примером.

[Евгений Журов]

Lynn «Кофеман», я написал не усложнение а умножение.
Вы слишком поспешно делаете громкие выводы на основе крошечного абстрактного примера, не видя реального контекста.
Абстрактные классы и пересечения типов это не то же самое. Кроме того, злоупотребление теми же абстрактными классами часто считается антипаттерном.

Answer 1

[Дмитрий Беляев]

export type TBookPage = Omit<TBookBasic, 'authors'> & {
  // [...]
  authors: TCategoryAuthorBook[]
}

https://www.typescriptlang.org/play?ssl=11&ssc=18&...

Comments

[Евгений Журов]

Спасибо!