问一个 ts 类型问题,为什么会这样？

Question

为什么会这样 ……

type Base = {
  hi: string;
};

type Callback<T, U extends Base> = (x: T, y: U) => T;

function fn1<U>(callback: Callback, value: U) {
  const result = callback(value, { hi: 'hello' });
  return result;
}

Answer 1

泛型你可以看作是类型的函数，也就是说type Callback<T, U extends Base> = (x: T, y: U) => T; 这个类型其实是需要传参数的，需要传T和U; 可以这样试试：

type Base = {
  hi: string;
};
type Callback<T, U extends Base> = (x: T, y: U) => T;

interface XX extends Base {
  [props: string]: any;
}
function fn1<T>(callback: Callback<T, XX>, value: T) {
  const result = callback(value, { hi: 'hello' });
  return result;
}