如何在TypeScript中定义类型安全的动态接口

你当前使用的索引签名接口只能约束嵌套值的类型，但无法限制对象实际包含的键，导致访问不存在的键时编辑器不会报错，运行时出现问题。以下是几种无需重复定义接口就能实现完全类型安全的方案：

方案1：泛型基类（适合需要继承共享逻辑的场景） #

先定义值的通用结构，再通过泛型限定每个类允许的键类型，让TypeScript自动检查键的合法性：

// 定义所有键对应的通用值结构
type KeyValuePair = {
  name: string;
  value: number;
};

// 泛型基类，K 表示当前类允许的键集合
class BaseClass<K extends string> {
  dynamicKeysObject: Record<K, KeyValuePair>;

  constructor(initialData: Record<K, KeyValuePair>) {
    this.dynamicKeysObject = initialData;
  }
}

// 继承基类时，自动推断或指定键类型
class MyFirstClass extends BaseClass<"a" | "b"> {
  constructor() {
    super({
      a: { name: "a", value: 0 },
      b: { name: "b", value: 0 }
    });
  }

  fillObject() {
    this.dynamicKeysObject.a.value = 1;
    this.dynamicKeysObject.b.value = 2;
    // this.dynamicKeysObject.c.value = 3; // ❌ 类型错误：不存在键"c"
  }
}

class MySecondClass extends BaseClass<"a"> {
  constructor() {
    super({
      a: { name: "a", value: 0 }
    });
  }

  fillObject() {
    this.dynamicKeysObject.a.value = 1;
    // this.dynamicKeysObject.b.value = 2; // ❌ 类型错误：不存在键"b"
  }
}

const c1 = new MyFirstClass();
c1.fillObject();
const c2 = new MySecondClass();
c2.fillObject();

方案2：as const + satisfies（轻量无冗余方案） #

利用TypeScript的类型推断，直接根据初始化值确定键类型，同时用satisfies保证值结构符合要求：

type KeyValuePair = {
  name: string;
  value: number;
};

class MyFirstClass {
  // as const 让TS推断出具体的键，satisfies 确保值结构符合规范
  dynamicKeysObject = {
    a: { name: "a", value: 0 },
    b: { name: "b", value: 0 }
  } as const satisfies Record<string, KeyValuePair>;

  fillObject() {
    this.dynamicKeysObject.a.value = 1;
    // this.dynamicKeysObject.c.value = 3; // ❌ 类型错误：不存在键"c"
  }
}

class MySecondClass {
  dynamicKeysObject = {
    a: { name: "a", value: 0 }
  } as const satisfies Record<string, KeyValuePair>;

  fillObject() {
    this.dynamicKeysObject.a.value = 1;
    // this.dynamicKeysObject.b.value = 2; // ❌ 类型错误：不存在键"b"
  }
}

方案3：泛型工厂函数（动态创建类型安全对象） #

如果需要在多个地方复用对象创建逻辑，用泛型函数封装，自动推断键类型：

type KeyValuePair = {
  name: string;
  value: number;
};

// 泛型函数，返回与输入结构完全匹配的类型安全对象
function createSafeDynamicObject<K extends string>(obj: Record<K, KeyValuePair>) {
  return obj;
}

class MyFirstClass {
  dynamicKeysObject = createSafeDynamicObject({
    a: { name: "a", value: 0 },
    b: { name: "b", value: 0 }
  });

  fillObject() {
    this.dynamicKeysObject.a.value = 1;
    // this.dynamicKeysObject.c.value = 3; // ❌ 类型错误
  }
}

核心原理 #

之前的索引签名[key: string]告诉TypeScript"任何字符串键都是合法的"，所以不会检查实际存在的键。而上述方案通过泛型或类型推断，让TypeScript明确知道每个对象具体包含哪些键，从而在编译阶段就拦截非法键的访问，实现完全类型安全，同时避免了重复定义接口的冗余代码。

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