TypeScript keyof类型歧义问题：指定字符串键仍返回string|number

在JavaScript中，对象的数字键会被自动转换为字符串（比如obj[123]等价于obj["123"]），TypeScript为了兼容这个行为，当你使用字符串索引签名（{[key: string]: any}）时，keyof操作符会返回string | number类型——因为数字可以合法地作为键使用（最终会转为字符串）。这就是为什么你能给ShouldBeStringType类型的变量赋值数字的原因。

针对你的Socket.io封装器需求，有两种简单的方式确保event参数只能是字符串类型：

方法1：使用Extract工具类型过滤键类型 #

直接在泛型方法中，用Extract<keyof T, string>提取keyof T中的字符串类型，作为event的类型约束：

type StringTyped = {[key: string]: any};

class Emitter<T extends StringTyped> {
    emit<K extends Extract<keyof T, string>>(socket: Socket, event: K, data: T[K]): void {
        socket.emit(event, data);
    }
    broadcast<K extends Extract<keyof T, string>>(io: Server, room: string, event: K, data: T[K]): void {
        io.to(room).emit(event, data);
    }
    broadcastAll<K extends Extract<keyof T, string>>(io: Server, event: K, data: T[K]): void {
        io.emit(event, data);
    }
}

这样K就只会是string类型，调用时传入数字会直接触发类型错误，从根源上避免了非字符串事件名。

方法2：改用Record结合显式字符串约束 #

如果你想让整个Emitter的泛型约束更清晰，可以直接用Record<string, any>作为基础，并在方法中直接指定event为keyof T的字符串子集：

class Emitter<T extends Record<string, any>> {
    emit(event: Extract<keyof T, string>, socket: Socket, data: T[typeof event]): void {
        socket.emit(event, data);
    }
    // 其余方法同理
}

这种写法省略了额外的泛型K，代码更简洁，同时也能达到相同的类型约束效果。

你的担心其实不必要：

• 如果event是基本类型number，它的toString()是原生方法，无法被重写（基本类型没有可修改的原型）；
• 即使有人传入了自定义对象（理论上keyof T不会包含对象类型，因为字符串索引签名的键只能是string | number | symbol），Socket.io本身也会将事件名转为字符串，不会执行任意代码。

不过从类型安全角度，还是推荐用上面的类型约束方案，彻底避免传入非字符串事件名的可能。

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