没有真实的干净的解决方案，因为类型在生成的JavaScript中不存在。我建议您在两种类型中添加一个共享字段，如type，这有助于TypeScript确定哪些属性可用：

type A = { a: string, type: "A" }
type B = { b: string, type: "B" }

function Component<T extends A | B>(props: T) {
  switch (props.type) { // or: if (props.type === "A") ...
    case 'A':
      // access props.a, TypeScript will infer it's there
      break;
    case 'B':
      // access props.b, TypeScript will infer it's there
      break;
  }
}

这种方法的优点是可以很好地扩展更多、更复杂的类型。
编辑：通常，类型检查可以通过用户定义的类型保护来完成：

const isTypeA = (toCheck: A | B): toCheck is A => 'a' in toCheck;

function Component<T extends A | B>(props: T) {
  if (isTypeA(props)) {
    // access props.a, TypeScript will infer it's there
  }
}

但是在大多数情况下我还是坚持使用第一种变体，它不太容易出错（类型保护方法可能出错），并且提供了前面提到的优点。

你可以试试这样的方法：

type A = { a: string } 
type B = { b: number }

function Component<T extends A | B>(props: T){ 
  let data; 
  
  if ('a' in props){
    data = props.a 
  } else if ('b' in props){
    data = props.b 
  }
  console.log(data)
}

TypeScript会根据if语句中的检查自动检测 prop 类型。