首頁(yè) 猿問(wèn) 將聯(lián)合類型轉(zhuǎn)換為交叉類型

將聯(lián)合類型轉(zhuǎn)換為交叉類型

源碼算法與數(shù)據(jù)結(jié)構(gòu)

呼喚遠(yuǎn)方 2019-07-08 12:40:14

將聯(lián)合類型轉(zhuǎn)換為交叉類型是否有方法將聯(lián)合類型轉(zhuǎn)換為交叉類型：type FunctionUnion = () => void | (p: string) => voidtype FunctionIntersection = () => void & (p: string) => void我想將轉(zhuǎn)換應(yīng)用到FunctionUnion得到FunctionIntersection

查看完整描述

3 回答

德瑪西亞99

TA貢獻(xiàn)1770條經(jīng)驗(yàn) 獲得超3個(gè)贊

如果您試圖將數(shù)組到一個(gè)交集中，預(yù)先映射數(shù)組將導(dǎo)致所產(chǎn)生的數(shù)組聯(lián)合以獲得錯(cuò)誤的順序。.

如果結(jié)果的交集順序不重要，這可能并不重要，但如果這樣做，上述答案將無(wú)法工作。

下面的數(shù)組最多支持9，如果需要更長(zhǎng)的遞歸時(shí)間，可以手動(dòng)進(jìn)行擴(kuò)展。

type Idx<T extends any, K extends keyof any, Yes> = T extends Record<K, any>
  ? T[K] & Yes
  : unknown

type ArrayToIntersection<T extends any[]> = Idx<T, '0', Idx<T, '1', Idx<T, '2', Idx<T, '3', Idx<T, '4', Idx<T, '5', Idx<T, '6',
 Idx<T, '7', Idx<T, '8', Idx<T, '9', unknown>>>>>>>>>>// Usage: => 1 & 2 & 3 & 4type Result = ArrayToIntersection<[1, 2, 3, 4]>

反對(duì) 回復(fù) 2019-07-08

牛魔王的故事

TA貢獻(xiàn)1830條經(jīng)驗(yàn) 獲得超3個(gè)贊

我真的很難理解這個(gè)部分是如何“分配聯(lián)合U并將它重新打包成一個(gè)新的聯(lián)盟，其中所有的聯(lián)盟都在其中。”對(duì)位“作品：(我不能完全理解這個(gè)對(duì)位部分。我以為這個(gè)密碼：type Param<T> = T extends (arg: infer U) => void ? U : never; type InferredParams = Param<((a: string) => void) | ((a: number) => void)>;應(yīng)該給我string & number但它給了我string | number..