一个ts推断问题

Question

我的代码：

type XMap={
    'a': {a: string};
    'b': {b: number};
}
type X<T extends keyof XMap> = {
    名称: T;
    s: Map[T];
}
function xx<T extends keyof XMap>(x: X<T>): void;
function xx(x: X<keyof XMap>)
{
    if(x.名称=='a'){
        console.log(x.s)
    }else{
        console.log(x.s)
    }
}

ts的推断：

如何正确推断出x.s的类型呢？

Answer 1

type XMap = {
  a: { a: string }
  b: { b: number }
}
type X<T> = T extends keyof XMap ?
 {
   名称: T,
   s: XMap[T]
 } : never

// 这是一个union type，这样就可以根据x.名称来判断不同类型了(Discriminated unions)
// https://www.typescriptlang.org/docs/handbook/2/narrowing.html#discriminated-unions
type XMapType = X<keyof XMap>

function xx(x: XMapType): void
function xx(x: XMapType) {
  if (x.名称 == 'a') {
    console.log(x.s)
  } else {
    console.log(x.s)
  }
}

Answer 2

一般这种类型收窄需要写个判断函数

const isKey = <T extends keyof XMap>(x: any, y: T): x is X<T> => x.name === y