为什么自定义interface无法赋值给Record<string, any>？TypeScript泛型CSV类型报错

1. 你定义的some函数没有声明为泛型，书写function some(f: CsvFile)等价于固定了泛型参数为默认值Record<string, any>，也就是some只接受CsvFile<Record<string, any>>类型的参数，不支持任意泛型的CsvFile。
2. TypeScript对可写的数组默认采用类型不变检查：你把CsvFile<Row>的data: Row[]赋值给CsvFile<Record<string, any>>的data: Record<string, any>[]时，TS认为存在安全风险——比如你可以往Record<string, any>[]里插入一个没有id、name属性的对象，会破坏原Row[]的类型约束，因此会抛出兼容性错误。你看到的「Record<string, any>缺少id、name」报错，正是TS做反向类型兼容性检查的提示。
3. 你尝试的替换interface为type、加索引签名都无法解决问题，是因为这两个操作都没有改变「可写数组类型不变」的检查逻辑，也没有解决some函数泛型固定的核心问题。

推荐程度从高到低排列：

• 方案1（最推荐，完全类型安全）：将some函数声明为泛型函数
  让some支持任意泛型参数的CsvFile，TS会自动匹配传入的泛型类型，不需要修改原有类型定义：

  // 修改some函数定义，添加泛型参数T
  function some<T>(f: CsvFile<T>) {
    // 内部逻辑可以正常访问f.data、f.headers，类型会正确推断
  }
  
  // 调用不会再报错，TS自动推断T为Row
  let test: CsvFile<Row>;
  some(test);
  

• 方案2（适配固定默认泛型的场景）：将CsvFile字段改为只读，开启泛型协变
  如果你确实需要some函数固定接收默认泛型的CsvFile，可以将CsvFile的字段改为只读，只读数组的类型是协变的，TS允许子类型数组赋值给父类型只读数组：

  export type CsvFile<T = Record<string, any>> = {
      readonly data: readonly T[];
      readonly headers: ReadonlyArray<keyof T>;
  };
  

  修改后原有some函数不需要调整，调用也不会报错。
• 方案3（临时兼容，不推荐）：使用类型断言强制跳过检查
  如果你不想修改任何原有定义，可以在调用时用类型断言告诉TS你确认该赋值是安全的：

  some(test as CsvFile);
  

  该方案会丢失类型检查，仅建议临时调试使用。

内容的提问来源于stack exchange，提问作者Crusader