为何TypeScript三元运算符定义的SupposedId不是恒等类型？

你遇到的问题核心在于分布式条件类型的特性，以及TypeScript对泛型条件类型的解析逻辑：

1. 分布式条件类型的影响
   你定义的SupposedId<T>是一个分布式条件类型——只要条件类型的左侧是"裸类型参数"（这里就是直接写的T），TypeScript就会自动触发分布式行为：当T是联合类型时，会把联合类型的每个成员单独代入条件判断，再将结果合并成新的联合类型。

   虽然两个分支返回的都是T，但编译器不会直接将SupposedId<T>简化为T。在泛型函数makeId中，T是未具体化的泛型参数，编译器无法提前确定SupposedId<T>和T的类型完全等价，因此会抛出类型不匹配的错误。

2. 解决方法

   • 直接简化类型：既然逻辑上SupposedId<T>就是恒等类型，完全可以直接写成type SupposedId<T> = T，从根源上消除问题。
   • 禁用分布式行为：如果需要保留条件类型的写法，可以把T包裹在元组中，避免分布式特性：

     type SupposedId<T> = [T] extends [object] ? T : T;
     
     function makeId<T>(test: T): SupposedId<T> {
       return test; // 现在不会报错了
     }
     

     这种写法下，[T] extends [object]是非分布式的，编译器能识别出这个条件类型最终等价于T。
   • 类型断言绕过检查：如果只是临时解决报错，可以用类型断言强制转换，但不推荐（会跳过类型检查）：

     function makeId<T>(test: T): SupposedId<T> {
       return test as SupposedId<T>;
     }
     

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