TypeScript类构造器中泛型条件类型赋值报ts2322错误解决方案咨询

报错原因 #

TypeScript 对未绑定具体类型的泛型条件类型，无法通过变量的判断逻辑完成类型收窄。
你当前定义的valur是依赖泛型T的条件类型：T extends KEYS.buffer ? ValurBuffer<T> : Valur<T>，虽然你在构造函数里通过vtype === KEYS.buffer的分支判断区分了赋值逻辑，但 TypeScript 无法将vtype的字面量类型和泛型参数T的实际类型做关联推导，不知道对应分支下T已经被收窄为KEYS.buffer或其他枚举值，因此判定赋值类型和声明的条件类型不匹配。
你的运行逻辑是完全正确的，只是 TypeScript 现有类型推导能力暂时无法覆盖这类场景。

解决方案 #

方案1：类型断言（最简便，无运行时开销） #

因为你的分支逻辑完全正确，直接通过类型断言告知 TypeScript 你确认赋值类型符合定义即可，修改构造函数代码如下：

constructor(public readonly vtype: T) {
    if (vtype === KEYS.buffer) {
        this.valur = new ValurBuffer(vtype) as typeof this.valur;
    } else {
        this.valur = new Valur(vtype) as typeof this.valur;
    }
}

修改后既不会影响原有类型推导的效果，也可以直接消除 TS 报错。

方案2：重构类实现规避条件类型 #

如果不想用类型断言，也可以把Token类拆分为基类 + 子类的结构，或者使用工厂函数创建实例，从定义层面规避泛型条件类型的收窄问题，不过改造成本比方案1高。

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