TypeScript条件类型推断为何导致unref2实现类型为unknown？

我实现了Vue.js的unref函数的两个版本，该函数接收的参数类型可为Ref<T>（结构为{ value: T }）或任意其他类型。若参数为Ref，则返回Ref.value；否则直接返回参数。两个函数仅TypeScript语法使用方式不同，为何TypeScript对unref2函数存在类型判定问题？

type Ref<Value> = { value: Value };

// 如果是Ref类型则返回其value的类型，否则返回原类型
type GetTypeOfMaybeRef<T> = T extends Ref<infer V> ? V : T;

// 正常工作
function unref<T>(maybeRef: Ref<GetTypeOfMaybeRef<T>>|GetTypeOfMaybeRef<T>): GetTypeOfMaybeRef<T> {
    if (maybeRef != null && typeof maybeRef === 'object' && "value" in maybeRef) {
        return maybeRef.value;
    } else {
        return maybeRef;
    }
}

// 无法正常工作，为什么？
// 逻辑上应该和unref一致
// 我这么写是想给TS提示T可以是Ref类型
function unref2<T>(maybeRef: T extends Ref<infer Value> ? Ref<Value> : T): GetTypeOfMaybeRef<T> {
    if (maybeRef != null && typeof maybeRef === 'object' && "value" in maybeRef) {
        return maybeRef.value;
    } else {
        // 为什么TS报错？
        // 难道不该和unref的逻辑一致吗？
        return maybeRef;
    }
}


const ref: Ref<number> = { value: 3 };
const numRef: Ref<number> = { value: 3 };
const num = unref(numRef)
const strRef: Ref<string> = { value: "blalba" };
const text = unref(strRef)

问题原因分析 #

unref2的核心问题在于使用条件类型作为函数参数类型，TypeScript编译器无法在函数内部对这种类型进行有效的关联和窄化：

1. unref的类型逻辑
   unref的参数是明确的联合类型Ref<GetTypeOfMaybeRef<T>> | GetTypeOfMaybeRef<T>，TypeScript可以通过"value" in maybeRef这类类型守卫，精准区分联合类型的成员。进入else分支时，编译器能确定maybeRef就是GetTypeOfMaybeRef<T>类型，因此返回时不会出现类型不匹配的问题。

2. unref2的类型逻辑缺陷
   unref2的参数是T extends Ref<infer Value> ? Ref<Value> : T，这是一种分布式条件类型，但属于“延迟计算”的类型——在函数内部，编译器无法追踪这个条件类型和返回值类型GetTypeOfMaybeRef<T>之间的映射关系。当你在else分支返回maybeRef时，编译器无法确认它的类型就是GetTypeOfMaybeRef<T>，因为条件类型的结果在函数体内部是不透明的，最终导致类型报错。

另外，unref2的泛型参数设计冗余，这种用条件类型定义参数的写法会干扰TypeScript的类型推断逻辑，反而让类型关系变得模糊。

优化建议 #

如果要实现等价功能，更简洁且类型安全的写法可以直接用联合类型定义参数：

function unref<T>(maybeRef: T | Ref<T>): T {
  if (maybeRef != null && typeof maybeRef === 'object' && "value" in maybeRef) {
    return maybeRef.value;
  }
  return maybeRef as T;
}

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