Angular开发中BehaviorSubject<T>被推断为never类型是什么原因？

问题根因 #

报错是TypeScript无法自动推导MainObserver索引签名下的具体属性类型导致的：
你定义的MainObserver为字符串索引结构，值是PropObserver联合类型，TS无法确定PropertyMaster.CrushGapWSetting属于联合类型中的哪一个分支，会自动计算所有分支属性的交集。如果不同PropObserver分支的params/setting的泛型类型不一致，最终属性会被推导为never类型，自然无法接收字符串参数。

解决方案 #

方案1：类型断言（实现最简，适合确定属性类型的场景）

访问属性时直接断言为已知的MtSizeObserver类型即可：

public updateCrushGapW(val: MtSizeOptionType){
    const defaultSize: string = '--mt-1';
    // 显式断言具体类型
    const crushGapSetting = this.PropertyMaster.CrushGapWSetting as MtSizeObserver;

    crushGapSetting.params.next(val);
    if(val === '--'){
        crushGapSetting.setting.next(defaultSize);
    } else {
        crushGapSetting.setting.next(CreateMtSize(val));
    }
}

方案2：显式定义MainObserver的属性（类型最安全，适合属性固定的场景）

如果PropertyMaster的key是固定值，不要用通用字符串索引，直接显式定义每个key对应的类型，TS就能自动完成类型推导：

// 替换原有的MainObserver接口定义
export interface MainObserver{
    CrushGapWSetting: MtSizeObserver,
    // 其余固定key逐一在这里定义，对应各自的PropObserver分支类型
}

方案3：类型守卫收窄（适合动态访问属性的场景）

如果需要动态遍历PropertyMaster的属性，可以添加类型守卫完成类型收窄：

// 新增类型守卫函数
function isMtSizeObserver(observer: PropObserver): observer is MtSizeObserver {
    return 'params' in observer && 'setting' in observer;
}

// 调用方法前先做类型校验
public updateCrushGapW(val: MtSizeOptionType){
    const defaultSize: string = '--mt-1';
    const setting = this.PropertyMaster.CrushGapWSetting;
    if(isMtSizeObserver(setting)) {
        setting.params.next(val);
        if(val === '--'){
            setting.setting.next(defaultSize);
        } else {
            setting.setting.next(CreateMtSize(val));
        }
    }
}

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