我们有如下一个联合类型:【作者:唐霜】
【未经授权禁止转载】【本文首发于唐霜的博客】【转载请注明来源】转载请注明出处:www.tangshuang.nettype union = { a: string } | { b: number } | { c: boolean }
如何得到最终的类型:著作权归作者所有,禁止商业用途转载。
本文作者:唐霜,转载请注明出处。著作权归作者所有,禁止商业用途转载。【访问 www.tangshuang.net 获取更多精彩内容】type obj = {
a: string
b: number
c: boolean
}
如果是用js来写,不要太简单,但是typ【访问 www.tangshuang.net 获取更多精彩内容】【原创不易,请尊重版权】escript没有对union的遍历能力原创内容,盗版必究。著作权归作者所有,禁止商业用途转载。,所以只能走其他办法,经过探索后最终得到著作权归作者所有,禁止商业用途转载。原创内容,盗版必究。如下解:
本文作者:唐霜,转载请注明出处。【未经授权禁止转载】【转载请注明来源】【原创不易,请尊重版权】【本文首发于唐霜的博客】type GetUnionKeys<Unoin> = Unoin extends any
? {
[key in keyof Unoin]: key;
} extends {
[key in keyof Unoin]: infer K;
}
? K
: never
: never;
type UnionToInterByKeys<Union, Keys extends string | number | symbol> = {
[key in Keys]: Union extends any
? {
[k in keyof Union]: k extends key ? Union[k] : never;
} extends {
[k in keyof Union]: infer P;
}
? P
: never
: never;
};
type UnionToInter<Unoin> = UnionToInterByKeys<Unoin, GetUnionKeys<Unoin>>;
在使用时如下:【转载请注明来源】
【原创内容,转载请注明出处】【作者:唐霜】未经授权,禁止复制转载。著作权归作者所有,禁止商业用途转载。著作权归作者所有,禁止商业用途转载。type obj = UnionToInter<union>
这样就可以实现我们的目的。我写了两个原子【作者:唐霜】【本文首发于唐霜的博客】范型,GetUnionKeys用于获取联原创内容,盗版必究。【作者:唐霜】合类型里面的全部key,UnionToI【版权所有,侵权必究】【访问 www.tangshuang.net 获取更多精彩内容】nterByKeys是关键,用于基于前面【本文首发于唐霜的博客】【版权所有,侵权必究】获得的keys再得到最后的对象。
【版权所有,侵权必究】转载请注明出处:www.tangshuang.net【本文首发于唐霜的博客】未经授权,禁止复制转载。不过这个方法存在一定的风险,假如联合类型本文版权归作者所有,未经授权不得转载。转载请注明出处:www.tangshuang.net中存在相同的属性,那么可能存在不确定性,【本文受版权保护】【本文受版权保护】比如:
本文版权归作者所有,未经授权不得转载。转载请注明出处:www.tangshuang.net【本文受版权保护】【版权所有,侵权必究】著作权归作者所有,禁止商业用途转载。type obj = UnionToInter<{ a: string, b: number } | { b: boolean }>
我们最终就会得到:未经授权,禁止复制转载。
【版权所有】唐霜 www.tangshuang.net原创内容,盗版必究。著作权归作者所有,禁止商业用途转载。type obj = {
a: string
b: number | boolean
}
但是我们再开发中,常常会让后面一个覆盖前【本文首发于唐霜的博客】未经授权,禁止复制转载。面的,我们期望得到的是:
【未经授权禁止转载】【关注微信公众号:wwwtangshuangnet】【本文首发于唐霜的博客】type obj = {
a: string
b: boolean
}
我之前在读一些博客的时候,有同学提到可以著作权归作者所有,禁止商业用途转载。本文作者:唐霜,转载请注明出处。通过冲载机制得到联合类型中的最后一个元素本文作者:唐霜,转载请注明出处。【未经授权禁止转载】,但是我没有找到这篇文章,如果你看到,请本文版权归作者所有,未经授权不得转载。【本文首发于唐霜的博客】在下方留言给我。
原创内容,盗版必究。【未经授权禁止转载】【本文首发于唐霜的博客】【访问 www.tangshuang.net 获取更多精彩内容】

赞
深奥, 我只会合并两个, 这种批量的就完全不会了.
type UnionZ = {
[k in (keyof A | keyof B)]: k extends keyof B ? B[k] : k extends keyof A ? A[k] : never;
};