我们有如下一个联合类型：本文作者：唐霜，转载请注明出处。

type union = { a: string } | { b: number } | { c: boolean }

如何得到最终的类型：【本文受版权保护】

type obj = {
  a: string
  b: number
  c: boolean
}

如果是用js来写，不要太简单，但是typ【版权所有，侵权必究】【版权所有，侵权必究】escript没有对union的遍历能力【本文首发于唐霜的博客】著作权归作者所有，禁止商业用途转载。，所以只能走其他办法，经过探索后最终得到【版权所有，侵权必究】转载请注明出处：www.tangshuang.net如下解：

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>

这样就可以实现我们的目的。我写了两个原子【版权所有】唐霜 www.tangshuang.net【未经授权禁止转载】范型，GetUnionKeys用于获取联【未经授权禁止转载】【原创不易，请尊重版权】合类型里面的全部key，UnionToI【转载请注明来源】【未经授权禁止转载】nterByKeys是关键，用于基于前面本文作者：唐霜，转载请注明出处。【关注微信公众号：wwwtangshuangnet】获得的keys再得到最后的对象。

不过这个方法存在一定的风险，假如联合类型【转载请注明来源】【访问 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
}

我之前在读一些博客的时候，有同学提到可以【本文受版权保护】【原创内容，转载请注明出处】通过冲载机制得到联合类型中的最后一个元素【转载请注明来源】本文作者：唐霜，转载请注明出处。，但是我没有找到这篇文章，如果你看到，请著作权归作者所有，禁止商业用途转载。本文版权归作者所有，未经授权不得转载。在下方留言给我。