如何重构含动态变量的TypeScript代码以解决赋值错误并通过检查？

错误场景还原 #

你原来的代码大概是这样的，因为TypeScript无法确定动态键的具体类型，导致赋值时类型不兼容：

class Test {
  #obj: { identifier: string };
  a?: string;
  b?: string;

  constructor(obj: { identifier: string }) {
    this.#obj = obj;
  }

  test(value: string) {
    // 报错：Type 'string' is not assignable to type '(value: string) => void'
    this[this.#obj.identifier as keyof Test] = value;
  }
}

// 期望用法
const t = new Test({ identifier: "a" });
t.test("aa");
console.log(t.a); // 期望输出 "aa"

错误原因：as keyof Test只是强制断言，但TypeScript无法确认这个键对应的属性类型一定是字符串（如果类中有方法或其他类型属性就会冲突），所以抛出类型不匹配错误。

重构方案1：泛型动态声明属性 #

通过泛型让TypeScript追踪到具体的标识符类型，同时动态声明实例属性：

class Test<K extends keyof Test<K>> {
  // 动态声明对应键的可选字符串属性
  [key in K]?: string;
  #identifier: K;

  constructor(identifier: K) {
    this.#identifier = identifier;
  }

  test(value: string) {
    // 此时TypeScript明确知道this.#identifier的类型是K，对应属性是string类型，赋值无错误
    this[this.#identifier] = value;
  }
}

// 用法示例
const t = new Test("a");
t.test("aa");
console.log(t.a); // 输出 "aa"

const t2 = new Test("b");
t2.test("bb");
console.log(t2.b); // 输出 "bb"

重构方案2：限制可选键范围 #

如果需要固定只能使用特定的几个键（比如"a"或"b"），可以先定义有效键类型，再用泛型约束：

// 定义允许的标识符范围
type ValidKeys = "a" | "b";

class Test<K extends ValidKeys> {
  [key in K]?: string;
  #identifier: K;

  constructor(identifier: K) {
    this.#identifier = identifier;
  }

  test(value: string) {
    this[this.#identifier] = value;
  }
}

// 只能传入"a"或"b"，传入其他值会直接报错
const t = new Test("a");
t.test("aa");
console.log(t.a); // "aa"

核心思路 #

用泛型绑定标识符的具体类型，让TypeScript能精准追踪到动态键对应的属性类型，避免宽泛断言带来的类型冲突，同时满足实例化时传入标识符、调用方法后访问对应值的需求。

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