TypeScript: opcjonalne typy scalania

Question

Mam typ ai typ b, ale powinno to działać z dowolną liczbą typów.

type a = {
    first: number
}

type b = {
    second: string
    third: string
}

Chcę utworzyć typ, który opcjonalnie scala wszystkie te typy, więc jeśli miałby secondpole, powinien również mieć thirdpole, ale nie musi mieć obu:

Dobry:

const aa = {
     first: 1,
     second: "hi",
     third: "hello"
}

const ab = {
     first: 1
}

const ac = {
     second: "hi",
     third: "hello"
}

Zły:

const bb = {
     first: 1,
     second: "hi"
}

Jak mogę zdefiniować taki typ?

Answer 1

type None<T> = {[K in keyof T]?: never}
type EitherOrBoth<T1, T2> = T1 & None<T2> | T2 & None<T1> | T1 & T2

type abcombined = EitherOrBoth<a,b>

Zobacz bardziej rozbudowany przykład pod adresem: Can Typescript Interfaces wyrażają ograniczenia współwystępowania dla właściwości

Link do placu zabaw

Answer 2

Nie jestem pewien, czy mógłbyś to zrobić. Oto, co bym zrobił:

Możesz użyć „|” operator podczas definiowania zmiennej.

type a = {
    first: number
}

type b = {
    second: string
    third: string
}

const test: a | b ={ first: 3, second: 'string'}