typescript 不检查 Array.map 结果的类型吗？

Question

interface Company {
  id: string;
  name: string;
}

type input = Company;

// This fails as the types don't match
const ACME: input = { id: '123', name: 'ACME', ceo: 'Eric' };

function mapIds(ids: string[]): input[] {
  // This compiles, but it shouldn't, or is Array.map returning something different?
  return ids.map(id => ({ id: '1', name: '1', ceo: 'Eric' }));

  // This fails as types don't match
  return [{ id: '1', name: '2', ceo: 'Eric' }];
}


鉴于上述代码，typescript 编译器将不允许函数返回不属于该类型的值，但如果返回来自 Array.map，则允许。您可以在 Typescript Playground 上使用上述 sn-p 看到这一点：https://www.typescriptlang.org/play/

谁能解释一下这是怎么回事？

Answer 1

您的 map 函数没有指定返回类型，因此它可以返回任何内容。如果你想要更严格的检查，你需要明确：

interface Company {
  id: string;
  name: string;
}

type input = Company;

// This fails as the types don't match
const ACME: input = { id: '123', name: 'ACME', ceo: 'Eric' };

function mapIds(ids: string[]): input[] {
  return ids.map((id):Company => ({ id: '1', name: '1', ceo: 'Eric' }));

  // This fails as types don't match
  return [{ id: '1', name: '2', ceo: 'Eric' }];
}

原因是.map 函数是一个映射操作，旨在将数组中的每个元素转换为新类型。如果您不指定，TypeScript 不知道新类型将是什么。

扩展下面的 cmets。 TSC 反对return [{ id: '1', name: '2', ceo: 'Eric' }]; 行，因为它需要input[] 类型，但它不是。但是 ids.map(id => ({ id: '1', name: '1', ceo: 'Eric' })); 本身很好（因为 .map 可以返回任何类型），然后 分配 到 input[] 这是允许的。

感谢 @TitianCernicova-Dragomir 和 @p.s.w.g 对此的 cmets。