TypeScript泛型类型无端回退至默认值问题求助

问题原因 #

当createConfigWithOption的回调函数带有get参数时，TypeScript的泛型推断优先级发生偏移：无参数场景下，TypeScript会直接从回调返回的Option对象的key属性推断TKey类型；但当回调存在参数时，TypeScript会优先解析回调参数的类型（即Getter），推迟对返回值类型的推断，最终导致TKey无法从key: ["1"]中获取具体类型，退化为Key的基础类型unknown[]。

解决方案 #

通过调整泛型声明或推断逻辑，让TypeScript优先从返回的Option对象中推断TKey，避免被回调参数干扰。以下是几种可行方案：

方案1：将泛型参数移到回调函数上 #

把TKey的泛型约束从createConfigWithOption转移到回调函数本身，强制TypeScript先推断回调返回值的类型：

type Key = unknown[];

type Option<TKey extends Key> = {
  key: TKey;
  updateKey: (v: TKey) => TKey;
};

type Getter = <Value>(v: Value) => Value;

function createConfigWithOption(
  getOptions: <TKey extends Key>(g: Getter) => Option<TKey>
) {}

// 测试：类型推断正常
createConfigWithOption((get) => ({
  key: ["1"],
  updateKey: (currentKey) => {
    const a = currentKey[0];
    //    ^? const a: string
    return [];
  },
}));

方案2：使用条件类型辅助推断 #

通过infer关键字从回调返回的Option中提取TKey，明确推断优先级：

type Key = unknown[];

type Option<TKey extends Key> = {
  key: TKey;
  updateKey: (v: TKey) => TKey;
};

type Getter = <Value>(v: Value) => Value;

type InferOption<T> = T extends (g: Getter) => Option<infer K> ? K : never;

function createConfigWithOption<T extends (g: Getter) => Option<Key>>(
  getOptions: T
) {
  type TKey = InferOption<T>;
}

// 测试：类型推断正常
createConfigWithOption((get) => ({
  key: ["1"],
  updateKey: (currentKey) => {
    const a = currentKey[0];
    //    ^? const a: string
    return [];
  },
}));

方案3：添加泛型默认值并调整推断顺序 #

给TKey添加默认值，同时通过交叉类型约束引导TypeScript优先处理返回值推断：

type Key = unknown[];

type Option<TKey extends Key> = {
  key: TKey;
  updateKey: (v: TKey) => TKey;
};

type Getter = <Value>(v: Value) => Value;

function createConfigWithOption<TKey extends Key = Key>(
  getOptions: ((g: Getter) => Option<TKey>) & {}
) {}

// 测试：类型推断正常
createConfigWithOption((get) => ({
  key: ["1"],
  updateKey: (currentKey) => {
    const a = currentKey[0];
    //    ^? const a: string
    return [];
  },
}));

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