如何在泛型类中使用K extends keyof T并实现类型安全存储类

我来帮你一步步梳理并解决这些泛型相关的问题，你的核心需求是创建一个能安全读写指定对象类型键值的泛型存储类，我们从问题根源入手重构代码：

问题分析与核心优化点 #

你之前的代码存在几个关键问题：

1. 类级别的泛型K完全多余，还导致实例化时必须额外指定，限制了类对所有键的处理能力
2. fields的类型定义既不匹配泛型T的结构，还触发了索引签名的类型限制
3. setField的参数类型太宽泛，没有和T[K]绑定，失去了类型安全
4. 重复的K extends keyof T定义造成冗余

重构后的完整代码 #

// 简化接口泛型，仅保留T作为核心类型参数
interface IStorage<T> {
  getField<K extends keyof T>(k: K): T[K];
  setField<K extends keyof T>(k: K, v: T[K]): T[K];
  render(): void;
}

// 存储类仅需T作为泛型参数，实现简化后的接口
class Storage<T> implements IStorage<T> {
  // 使用Partial<T>实现与泛型T结构完全匹配的存储容器
  // Partial<T>是TS内置工具类型，代表T的所有属性可选，完美适配动态存储场景
  private fields: Partial<T> = {};

  public getField<K extends keyof T>(k: K): T[K] {
    // 可选：添加未设置字段的错误处理，避免返回undefined
    if (this.fields[k] === undefined) {
      throw new Error(`字段${String(k)}尚未设置值`);
    }
    // 类型断言确保返回值符合T[K]类型（因为我们已经处理了undefined情况）
    return this.fields[k] as T[K];
  }

  public setField<K extends keyof T>(k: K, v: T[K]): T[K] {
    this.fields[k] = v;
    return v;
  }

  public render(): void {
    console.log("当前存储的字段：", this.fields);
  }
}

// 实例化时仅需传入目标对象类型，无需额外指定K
const storage = new Storage<{ name: string; type: number }>();

// 类型安全测试
storage.setField("name", "测试名称"); // ✅ 类型匹配
storage.setField("type", 100); // ✅ 类型匹配
// storage.setField("type", "字符串"); // ❌ 类型不匹配，TS会直接报错

console.log(storage.getField("name")); // 输出：测试名称
storage.render(); // 输出：当前存储的字段： { name: '测试名称', type: 100 }

关键修改说明 #

1. 移除类级别的K泛型：把K extends keyof T移到方法级别作为泛型参数，这样每个方法可以独立处理目标对象的任意键，不再需要实例化时手动指定K
2. 用Partial替代自定义索引签名：完美匹配泛型T的结构，既解决了键类型限制问题，又保证值类型与T中对应键的类型完全一致
3. 绑定setField参数类型到T[K]：确保传入的值严格符合目标键的类型，实现真正的类型安全
4. 简化冗余定义：删除重复的泛型约束，代码更简洁且逻辑清晰

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