TypeScript是否支持Rust风格的const泛型？

你给出的示例用法目前在TypeScript中不可行，核心原因是TypeScript的类型系统与运行时完全分离，且const泛型的设计逻辑和你预期的不一致，具体说明如下：

核心限制 #

1. const泛型的作用范围：TypeScript的const泛型仅用于函数参数的类型推断窄化，用来保留传入值的字面量类型（比如传入123时，泛型参数会被推断为123而非宽泛的number）。但它本质仍是类型参数，不能直接在运行时代码中当作值来使用——类型信息在编译阶段就会被擦除，运行时不存在MUL这样的变量。
2. 类泛型的const修饰无效：语法上，TypeScript不允许在类的泛型参数前添加const修饰符，你的示例代码会直接触发语法错误。
3. 类型参数无法作为值运算：return this.value / MUL这类代码会报错，因为MUL是类型参数，不是运行时可访问的数值。

可行的替代实现 #

要同时实现「保留字面量类型信息」和「在类内部使用该字面量值」，需要将字面量作为构造函数参数传入并保存为实例属性，结合泛型约束类型：

class ImpreciseMoney<MUL extends number> {
    readonly multiplier: MUL;
    value: number;

    constructor(value: number, multiplier: MUL) {
        this.value = value;
        this.multiplier = multiplier;
    }

    normalize(): number {
        return this.value / this.multiplier;
    }

    add<RHS_MUL extends number>(rhs: ImpreciseMoney<RHS_MUL>): ImpreciseMoney<MUL> {
        const totalNormalized = this.normalize() + rhs.normalize();
        return new ImpreciseMoney(totalNormalized * this.multiplier, this.multiplier);
    }
}

// 用as const窄化类型为字面量
const JPY = 131.12 as const;
const USD = 1 as const;

let a = new ImpreciseMoney(1000, JPY);
let b = new ImpreciseMoney(50, USD);
let ab = a.add(b); // 类型为ImpreciseMoney<131.12>，运行时value≈7555.75

这个方案的优势：

• 通过as const确保变量的类型被窄化为具体字面量，泛型能准确推断类型信息；
• 将multiplier作为实例属性存储，运行时可直接用于数值计算；
• 完全符合TypeScript的类型系统规则，编译和运行都能正常工作。

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