TypeScript为何无法将变量或Math.SQRT2作为数值字面量类型使用

错误原因解释 #

• TypeScript 存在类型空间和值空间两套独立的命名体系，普通的变量、内置对象属性都属于值空间的内容，不能直接写到类型定义里，必须通过 typeof 操作符提取对应值的类型后，才能在类型上下文使用。你第二个写法报错就是因为直接把值标识符root2放到了类型定义的位置。
• 内置对象Math的SQRT2属性在 TypeScript 的类型定义里被标注为通用number类型，而非精确的根号2字面量类型，同时Math在类型上下文里是接口类型，不存在名为SQRT2的类型成员，所以直接写Math.SQRT2会触发“Math是类型而非命名空间”的报错。

正确实现方式 #

你可以通过as const把固定值的类型收窄为精确的字面量类型，再通过typeof提取类型复用，不需要重复写完整的小数：

// 定义全局共用的根号2常量，as const确保类型被收窄为精确的字面量，而非通用number
export const ROOT_2 = 1.4142135623730951 as const;
// 提取常量的类型做联合
type OneOrRootTwo = 1 | typeof ROOT_2;

这样定义后，OneOrRootTwo类型的取值就只能是1或你指定精度的根号2值，同时所有用到根号2的地方都可以直接用ROOT_2这个常量，保证全项目数值统一。

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