ts泛型参数设置默认参数后出错？

Question

type A = {
  length: number;
};

function test<B = A>(arg: B): B {
  return {
    length: 111,
  };
}

不是很理解为什么不能将类型“{ length: number; }”分配给类型“B”，类型B跟类型A不是一样的吗

Answer 1

改成

function test<B = A>(arg: B): A {
  return {
    length: 111,
  };
}

应该就不报错了, 这样返回值的类型就有约束了

这边的用法应该是泛型约束, 实际应该这么写吧? 这就能保证 arg 肯定得有个 length 参数了

function test<B extends A>(arg: B): B {
  return arg;
}

Answer 2

因为 B 是一个泛型参数，<B = A> 语法只是设置 B 的默认值为 A，并没有约束 B 的范围为 A，也就是说 B 实际上可以为任意类型。
因此，类型 { length: number } 没有办法分配给 B。

可以通过 extends 关键字进行约束：

type A = {
  length: number;
};

function test<B extends A>(arg: B): B {
  return arg;
}

此时 arg 的类型被约束为必须含有 { length:number } 字段的对象类型。