打字稿不能将对象文字分配给泛型类型

Question

如果我尝试使用具有类型约束的泛型类型的对象文字，我会收到类型错误，我正在努力找出原因：

type WithKey = {
  readonly akey: string;
}

function listOfThings<T extends WithKey>(one: T) {
  // This is ok
  const result2: Array<T> = [one];

  //This errors with Type '{ akey: string; }' is not assignable to type 'T'.
  const result: Array<T> = [{ akey: 'foo' }]; 

  return result;
}

Answer 1

它不接受{ akey: 'foo' }的原因是因为T只扩展了WithKey ，所以字面上是WithKey的对象不一定可以分配给T 。 例如：

listOfThings<{ akey: string; aflag: boolean }>()

{ akey: 'foo' }不满足{ akey: string; aflag: boolean } { akey: string; aflag: boolean } 。

您可以使用断言强制编译器：

const result: Array<T> = [{ akey: 'foo' } as T]; 

但这会给您带来错误，因为在第一个示例中会编译但在运行时不是真的。 似乎这不是您想要的，或者类型没有描述您想要的。

Answer 2

{ akey: 'foo' }实际上有类型，它不是泛型类型。 这就是为什么它不喜欢你的任务。

编译器无法将{ akey: 'foo' }理解为 WithKey 类型。

您可以通过为此作业进行强制转换来强制打字稿

const result: Array<T> = [<T>{ akey: 'foo' }];