基于类实例属性类型设置类属性类型的TypeScript报错问题

一、非泛型写法（代码示例1）的问题 #

class Example {
    public readonly propertyA: boolean;
    private readonly propertyB: this['propertyA'] extends true ? null : 'value';

    public constructor() {
        this.propertyA = true;
        this.propertyB = this.propertyA ? null : 'value'; 
                    //^ 报错位置
    }
}

错误信息翻译：
类型'"value" | null'不能赋值给类型'this["propertyA"] extends true ? null : "value"'。
类型'null'不能赋值给类型'this["propertyA"] extends true ? null : "value"'。

这里的核心问题是propertyA的类型是宽泛的boolean，而非true/false字面量类型。条件类型this['propertyA'] extends true ? null : 'value'的判断逻辑是**boolean是否继承自true**——由于boolean是true | false的联合类型，并不严格等于true，因此这个条件类型的最终结果固定为'value'。但你给propertyB赋值的是null，自然触发类型不匹配错误。

二、泛型写法（代码示例2）的问题 #

class Example<T extends boolean> {
    public readonly propertyA: T;
    private readonly propertyB: T extends true ? null : 'value';

    public constructor(arg: T) {
        this.propertyA = arg;
        this.propertyB = this.propertyA ? null : 'value';
    }
}

错误信息翻译：
类型'"value" | null'不能赋值给类型'T extends true ? null : "value"'。
类型'null'不能赋值给类型'T extends true ? null : "value"'。ts(2322)

这个问题的核心是TypeScript无法将运行时的分支逻辑与编译时的泛型条件类型自动关联：

• this.propertyA ? null : 'value'会被推断为联合类型"value" | null；
• 但propertyB的类型依赖泛型T，在构造函数中T还是抽象的类型参数（尚未确定是true还是false），TypeScript无法自动识别联合类型与条件类型分支的匹配关系。

解决方案 #

针对泛型写法的修复 #

方案1：类型断言

直接将赋值结果断言为propertyB的类型：

class Example<T extends boolean> {
    public readonly propertyA: T;
    private readonly propertyB: T extends true ? null : 'value';

    public constructor(arg: T) {
        this.propertyA = arg;
        this.propertyB = (this.propertyA ? null : 'value') as typeof this.propertyB;
    }
}

方案2：分支赋值+精准断言

通过if/else分支分别赋值，让TypeScript明确每个分支的类型匹配逻辑：

class Example<T extends boolean> {
    public readonly propertyA: T;
    private readonly propertyB: T extends true ? null : 'value';

    public constructor(arg: T) {
        this.propertyA = arg;
        if (this.propertyA) {
            this.propertyB = null as T extends true ? null : never;
        } else {
            this.propertyB = 'value' as T extends false ? 'value' : never;
        }
    }
}

针对非泛型写法的修复 #

如果不需要泛型，将propertyA定义为布尔字面量类型，让条件类型正确推断：

class Example {
    public readonly propertyA: true;
    private readonly propertyB: this['propertyA'] extends true ? null : 'value';

    public constructor() {
        this.propertyA = true;
        this.propertyB = null; // 此时propertyB类型为null，赋值正常
    }
}

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