TypeScript类型安全表格的实现需求及可行性咨询

需求回顾 #

现有一个松散类型的Table类，基于数组存储行与表格，构造函数接收列名数组用于列引用。需要实现以下类型约束：

1. 传入的列类型列表（如[string, number]）需与列名字符串数组长度严格一致，否则触发类型错误；
2. getFromReference方法的第二个参数必须匹配参考列的类型，返回值必须匹配目标列的类型。

TypeScript实现方案 #

当前TypeScript（4.0+）的泛型、元组类型及字面量类型特性已足够实现上述需求，重构后的强类型Table类如下：

class Table<T extends unknown[]> {
  private rowStorage: T[] = [];
  private readonly columnNames: readonly string[];

  // 通过类型守卫参数推断T的元组类型，同时运行时校验列名与类型数量匹配
  constructor(columnNames: readonly string[], ..._typeGuard: T) {
    if (columnNames.length !== T['length']) {
      throw new Error('列名数量与类型定义数量不匹配');
    }
    this.columnNames = columnNames;
  }

  private getColumnIndex(columnName: string): number {
    const index = this.columnNames.indexOf(columnName);
    if (index === -1) throw new Error(`不存在列名：${columnName}`);
    return index;
  }

  // 泛型约束参考列、目标列对应的类型，保证参数与返回值类型安全
  getFromReference<RC extends number, DC extends number>(
    referenceColumn: typeof this.columnNames[RC],
    value: T[RC],
    desiredColumn: typeof this.columnNames[DC]
  ): T[DC] {
    const refIndex = this.getColumnIndex(referenceColumn);
    const desiredIndex = this.getColumnIndex(desiredColumn);
    const matchedRow = this.rowStorage.find(row => row[refIndex] === value);
    if (!matchedRow) throw new Error('未找到匹配参考值的行');
    return matchedRow[desiredIndex];
  }

  addRow(row: T): void {
    if (row.length !== this.columnNames.length) {
      throw new Error('行数据长度与列数量不匹配');
    }
    this.rowStorage.push(row);
  }
}

// 使用示例
const userTable = new Table(['name', 'age'], '' as string, 0 as number);
userTable.addRow(['Alice', 25]);
const aliceAge = userTable.getFromReference('name', 'Alice', 'age'); // aliceAge类型为number
// 以下代码会触发类型错误：参数类型"boolean"不能赋值给类型"string"
// userTable.getFromReference('name', true, 'age');

实现说明 #

• 泛型T表示行的元组类型，通过构造函数的_typeGuard参数让TypeScript自动推断类型；
• 编译时会自动校验列名数组长度与T的元组长度是否一致，运行时也做了额外校验；
• getFromReference方法通过泛型RC、DC绑定列名对应的索引，从而严格约束参数value的类型和返回值类型。

替代实现语言 #

如果需要更强大的类型约束或动态场景支持，可选择以下语言：

• C#：利用泛型元组和反射机制实现强类型表格，或通过Source Generator生成与列定义绑定的强类型类；
• Scala：依赖其高级类型系统（如依赖类型），可在编译阶段精确校验列名与类型的对应关系，实现更严格的类型安全；
• Kotlin：支持泛型和元组，可通过data class配合类型参数构建强类型表格，或利用Kotlin的类型推断简化开发。

内容的提问来源于stack exchange，提问作者Bruno Gregório Lira e Silva