为何TypeScript未将Cancelled.from返回类型推断为T | Cancelled？

先看你的代码：

class Cancelled {
    static cancelled = new Cancelled()
    static from<T>(v: T | undefined) {
        return v ?? this.cancelled
    }
}

这个问题的核心在于TypeScript的泛型推断和??空值合并操作符的类型处理逻辑：

1. 泛型参数的推断逻辑
   当你调用Cancelled.from时，TypeScript会根据传入的参数v自动推断泛型T的类型：

   • 若传入具体值（比如Cancelled.from('test')），T会被推断为该值的类型（string），此时返回类型会是string | Cancelled，符合预期。
   • 若传入undefined且未显式指定T，T会被推断为undefined，此时v ?? this.cancelled的实际返回值只会是this.cancelled（因为v是undefined），所以TypeScript会将返回类型简化为Cancelled，这就是你在VSCode中看到的结果。

2. 显式指定返回类型的必要性
   如果希望无论传入什么参数，方法的返回类型都保持T | Cancelled（包括传入undefined且指定T的场景，比如Cancelled.from<number>(undefined)），你需要显式声明返回类型：

   class Cancelled {
       static cancelled = new Cancelled()
       static from<T>(v: T | undefined): T | Cancelled {
           return v ?? this.cancelled
       }
   }
   

   这样即使传入undefined，只要指定了T，返回类型就会是T | Cancelled；未指定T时，返回类型则为undefined | Cancelled。

3. 类型简化的特殊情况
   若T是Cancelled的子类型（比如自定义的SubCancelled extends Cancelled），TypeScript会自动将T | Cancelled简化为Cancelled，这是因为子类型的实例也属于父类型，联合类型会被合并。

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