TypeScript类型提升「鸡与蛋」问题：如何标注依赖导入模块的数组类型

你可以通过以下几种方式解决这个类型标注矛盾，所有方案都仅需要导入一次模块，不会出现两次导入导致的类实例不统一、数据写入错误的问题：

方案1：直接使用类型断言收窄数组类型 #

这是最简便的实现方式，TypeScript的类型断言仅在编译阶段生效，不会修改运行时的数组实例，完全不影响模块内部的写入逻辑：

// 推荐用unknown代替any做中间类型，类型安全度更高
let blockchain: unknown[] = [];

const { Block } = require("./otherfile.js")(blockchain);
type BlockType = InstanceType<typeof Block>;

// 断言为目标类型即可，后续操作都会获得正确的类型提示
blockchain = blockchain as BlockType[];

方案2：封装初始化函数自动推导类型 #

如果不想显式写类型断言，可以把初始化逻辑封装到独立函数中，让TypeScript自动推导返回值类型：

function initBlockchainModule() {
  const blockchain = [];
  const { Block } = require("./otherfile.js")(blockchain);
  type BlockType = InstanceType<typeof Block>;
  return {
    Block,
    blockchain: blockchain as BlockType[]
  }
}

// 调用后直接获得正确类型的Block类和blockchain数组
const { Block, blockchain } = initBlockchainModule();

方案3：给依赖模块补充泛型类型定义（更规范） #

如果你有权限修改otherfile.js的类型定义，可以给导出的函数增加泛型约束，后续使用时连断言都不需要写，TS会自动完成类型推导：

// otherfile.ts 补充泛型后的类型定义
type ExportedModule<T> = {
  Block: {
    new(...args: any[]): T;
    generate(...args: any[]): T;
  }
}

export default function exp<T>(blockchain: T[]): ExportedModule<T> {
  // 原有模块逻辑不变
  class Block {
    // 原有类实现
    static generate() {
      const block = new Block();
      blockchain.push(block);
      return block;
    }
  }
  return { Block };
}

使用时无需额外断言：

import exp from "./otherfile.js";

let blockchain: InstanceType<ReturnType<typeof exp>['Block']>[] = [];
const { Block } = exp(blockchain);
// blockchain自动匹配类型，无需手动断言

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