TypeScript算法接口泛型设计问题：避免IAlgorithm泛型化

问题背景 #

项目迁移至TypeScript，现有Algorithm对象包含getRun函数与edgesRepresentation字段（可选值为"adjacencyList" | "adjacencyMatrix" | "edgeList"，当前仅使用"adjacencyList"）。需求是避免将IAlgorithm接口整体泛型化，同时让getRun返回的run函数能根据edgesRepresentation的值自动适配对应的边缘表示类型。

现有尝试的问题 #

你提供的两种实现存在核心问题：

• 错误地用enum存储类型（EdgesRepresentationType.adjacencyList=AdjacencyListType）：TypeScript枚举只能存储字面量、数字或字符串，无法存储类型别名，这会直接导致类型关联失效。
• 错误使用typeof EdgeRecord：若EdgeRecord是类型别名，typeof会尝试获取值的类型而非使用定义好的类型，应直接使用EdgeRecord。
• 第一种实现未建立edgesRepresentation与run函数参数的类型关联，导致类型检查无意义；第二种实现将整个IAlgorithm泛型化，不符合“避免接口泛型化”的需求。

可行解决方案 #

通过区分联合类型（Discriminated Union） + 类型映射实现动态类型适配，无需将整个接口泛型化：

1. 定义基础类型与映射 #

首先明确边缘表示的类型及对应字面量标识：

// 边缘信息的不可变Record（示例定义）
type EdgeRecord = Readonly<{ weight: number; label: string }>;

// 各边缘表示类型
type AdjacencyListType = Map<string, Map<string, EdgeRecord>>;
type AdjacencyMatrixType = number[][];
type EdgeListType = [string, string, EdgeRecord][];

// 边缘类型标识的联合类型
type EdgesRepresentation = "adjacencyList" | "adjacencyMatrix" | "edgeList";

// 建立标识与对应类型的映射
type EdgeTypeMap = {
  adjacencyList: AdjacencyListType;
  adjacencyMatrix: AdjacencyMatrixType;
  edgeList: EdgeListType;
};

2. 定义非泛型的区分联合接口IAlgorithm #

利用区分联合类型，让edgesRepresentation作为区分符，自动关联getRun返回的run函数参数类型：

// 定义Run函数的通用类型，根据边缘标识获取对应类型
type IRunType<T extends EdgesRepresentation> = (
  nodesIds: string[], // 若使用自定义List类型，替换为对应类型即可
  edgeList: EdgeTypeMap[T]
) => void;

// 非泛型的区分联合接口IAlgorithm
type IAlgorithm = {
  [K in EdgesRepresentation]: {
    edgesRepresentation: K;
    getRun: (opts: { considers: Considers; setIsDone: (done?: boolean) => void }) => IRunType<K>;
  };
}[EdgesRepresentation];

// 假设Considers是已定义的类型，示例如下
type Considers = { nodes: boolean; edges: boolean };

3. 实现具体算法（如TopSort） #

此时实现的算法会自动根据edgesRepresentation约束run函数的参数类型：

// 拓扑排序算法实现
const TopSortAlgorithm: IAlgorithm = {
  edgesRepresentation: "adjacencyList",
  getRun: ({ considers, setIsDone }) => {
    return (nodesIds, edgeList) => {
      // edgeList自动推导为AdjacencyListType类型
      console.log("Running top sort with adjacency list:", edgeList);
      setIsDone(true);
    };
  },
};

// 使用示例
const runTopSort = TopSortAlgorithm.getRun({ considers: { nodes: true, edges: true }, setIsDone: (done) => console.log("Done:", done) });
// runTopSort的参数edgeList必须是AdjacencyListType类型，类型检查生效
runTopSort(["1", "2"], new Map([["1", new Map([["2", { weight: 1, label: "test" }]])]]));

方案优势 #

• 无需将IAlgorithm整体泛型化，保持接口简洁；
• 类型关联完全由TypeScript自动推导，无需手动指定泛型参数；
• 扩展新的边缘表示类型时，只需在EdgesRepresentation和EdgeTypeMap中添加对应项，接口会自动适配。

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