TypeScript中keyof与typeof混用报「K仅表示类型却被用作值」问题求解

核心前提：TypeScript 的双空间规则 #

TypeScript 编译过程中会把代码拆分为两套完全独立的体系：

• 值空间：对应最终会编译为 JavaScript 保留的运行时实体，比如声明的变量、函数、类实例等
• 类型空间：仅用于编译阶段的类型校验，编译后会被完全抹除，比如类型别名、泛型参数、interface 定义等

typeof 是唯一能跨两个空间操作的运算符：它只能接收值空间的实体作为参数，返回这个实体对应的 TypeScript 类型。而 keyof、索引类型访问 T[K] 都是纯类型空间的运算符，只能接收类型作为参数。

各个报错场景的原因解释 #

1. typeof K 报错的原因 #

type Test<T> = {
    [K in keyof T]: typeof K;
}

[K in keyof T] 是映射类型的遍历语法，这里的 K 是遍历泛型参数 T 的键得到的类型变量，完全属于类型空间，根本不存在对应运行时的值。你把类型参数传给只能接收值的 typeof，自然会报错「K 仅表示一个类型，此处被当作值使用」。

2. typeof T[K] 报错的原因 #

type DoMagic<T> = {
    [K in keyof T]: typeof T[K];
}

这里的泛型参数 T 本身就是类型空间的实体，T[K] 是索引类型查询，返回的结果本身已经是「T 类型中 K 属性对应的类型」，还是类型空间的内容。给 typeof 传类型当然不符合规则，所以报错。
而正确写法直接用 T[K] 就完全满足需求，它本身就是你需要的属性类型。

为什么常量场景下 typeof 可以正常使用 #

const s = 'hello';
const n = 'world' as typeof s;

这里的 s 是显式声明的 JavaScript 常量，属于值空间的实体，完全符合 typeof 的参数要求。typeof s 会返回 s 对应的字面量类型 'hello'，所以后续的类型断言是合法的。

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