TypeScript中Union+Omit联合类型的赋值与参数解构矛盾问题

先看你的代码片段：

type x<T,K> = { a : T, b : (a : T) => K };
type y<T,K> = Omit<x<T,K>,'b'> | x<T,K>;
const myVariable: y<string,number> = { a : 'someString',b : (a : string) => 1 };
const myFunction = function({a,b} : y<string,number>){};

为什么赋值正常但解构报错？ #

• 赋值阶段，TypeScript会尝试把右侧对象匹配联合类型中的某一个成员：你的对象同时包含a和b，完全符合x<string,number>的结构，所以能成功赋值给y<string,number>类型的变量。
• 但函数参数是y<string,number>联合类型，TypeScript对联合类型的属性访问有严格规则：只有所有联合成员都存在的属性，才能直接访问或解构。y的两个成员里，Omit<x<T,K>,'b'>没有b属性，所以直接解构b时，TypeScript无法确定当前参数到底属于哪个成员，因此抛出错误。

可行的解决办法 #

有几种常见的处理方式：

• 调整类型定义：把b设为可选属性，替代联合类型，更贴合实际语义：

  type y<T,K> = { a: T; b?: (a: T) => K };
  

• 在函数内做类型守卫：检查b是否存在，TypeScript会自动缩小类型范围：

  const myFunction = function({a,b} : y<string,number>){
    if (b) {
      // 此处TypeScript确认b存在，可安全调用
      b(a);
    }
  };
  

• 使用类型断言（仅当你能确保参数一定包含b时推荐）：

  const myFunction = function({a,b} : y<string,number>){
    const myB = b as (a: string) => number;
  };
  

内容的提问来源于stack exchange，提问作者chilly_maximus