类中Map的键类型安全访问实现问题

你的问题核心在于初始泛型类型被自动拓宽为string，导致后续所有字符串都能通过类型检查。以下是修正方案：

修正后的代码 #

class MapWrap<Key extends string = never> {
    private map: Map<Key, any>;

    constructor() {
        // 初始空Map断言为Map<Key, any>，因为Key初始为never，对应空键集合
        this.map = new Map() as Map<Key, any>;
    }

    set<NewKey extends string>(key: NewKey, value: any): MapWrap<Key | NewKey> {
        // 临时断言map类型以支持新增键
        (this.map as Map<Key | NewKey, any>).set(key, value);
        // 返回更新后的类型实例
        return this as MapWrap<Key | NewKey>;
    }

    get(key: Key) {
        return this.map.get(key);
    }
}

const myMapWrap = new MapWrap();

// 此时get("bob")会触发类型错误：类型'"bob"'的参数不能赋给类型'"hello" | "world"'的参数
const bob = myMapWrap.set("hello", 1).set("world", 2).get("bob");

关键修正点 #

• 初始泛型默认值设为never：创建实例时未指定泛型时，Key默认是never（表示没有任何有效键），避免被自动拓宽为string。
• 链式调用的类型累加：每次调用set方法时，泛型NewKey会捕获传入的字符串字面量类型，返回的实例类型会更新为MapWrap<Key | NewKey>，逐步累加有效键的联合类型。
• 类型断言的安全使用：初始map和set方法中的类型断言是安全的，因为我们明确知道键集合的变化逻辑，不会出现类型不匹配的运行时问题。

为什么原代码无效？ #

原代码中new MapWrap()未指定泛型参数，TypeScript会自动将Key推断为string，后续Key | NewKey始终是string类型，因此get方法接受任何字符串都不会触发错误。通过将初始泛型设为never，我们强制类型系统跟踪具体的有效键字面量，实现了键的类型安全。

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