关于 ts 中回调函数参数加上泛型限制后传入联合类型为什么会报错？

相关代码如下，在 use 函数中加入联合类型后就会告诉我 number 和 string 类型不兼容，求教应该怎样解决这个问题，换个写法的话我想要的是保留 use 的泛型

declare function use<T>(data: T, cb: (arg: T) => void): void

declare function cb1(arg: string): void
declare function cb2(arg: number): void

use('', cb1) // success
use(1, cb2) // success

const data: string | number = 9
const cb: typeof cb1 | typeof cb2 = cb1

use(data, cb) // error

根据提供的代码和问题描述，我注意到在 use 函数中你使用了泛型 <T>，同时你将 data 定义为类型为 string | number 的联合类型，cb 为 typeof cb1 | typeof cb2 的联合类型。

在使用 use(data, cb) 这一行代码中，TypeScript 编译器无法确定 data 的类型是 string 还是 number，因此它会将 data 的类型推断为 string | number。然而，联合类型 string | number 并不适用于接受 arg: T 参数的回调函数 cb。

解决这个问题的一种方法是，你可以使用函数重载来定义多个 use 函数的签名，以适应不同类型的参数。下面是一个可能的解决方案：

declare function use<T>(data: string, cb: (arg: string) => void): void
declare function use<T>(data: number, cb: (arg: number) => void): void

declare function cb1(arg: string): void
declare function cb2(arg: number): void

use('', cb1) // success
use(1, cb2) // success

const data: string | number = 9
const cb: typeof cb1 | typeof cb2 = cb1

if (typeof data === 'string') {
  use(data, cb1)
} else {
  use(data, cb2)
}

在这个解决方案中，我们根据参数类型重载了 use 函数，并根据 data 的类型调用相应的重载版本。这样可以消除类型不兼容的错误。