typescript - 类型 'T' 不可分配给 TypeScript 中的类型 'T extends T ? T : T'

Question

我在我的项目中遇到了这个问题，下面是可以重现它的最少代码。我想知道是不是TypeScript的bug，还是我用错了。 (实际代码比较复杂，但是错误是一样的)

错误是:类型“T”不能分配给类型“T extends T”？ T : T'。

我在 TypeScript 3.0.3 和 3.3.1 上测试过

function test<T>(arg: T) {
  let x: T extends T ? T : T;
  x = arg;
}

Answer 1

Typescript 不会尝试解析条件类型，因此即使这个看似微不足道的示例也无法分配。我猜你的真实示例更复杂，但同样的想法仍然适用。

只有当条件类型相同时才允许赋值:

function test<T>(arg: T) {
  let x: T extends T ? T : T;
  let y: T extends T ? T : T;
  x = y; //ok 
}