TypeScript泛型条件类型与RequiredResponse匹配失败问题求助

方案1：让I从查询类型自动推导（推荐） #

修改useLoadOptions的泛型定义，仅接收查询类型LQ，内部自动提取I类型，彻底避免手动维护两个泛型参数的关联：

interface InterA {
  test: {
    total: number;
    items: Array<{itemTypeA: string}>;
  };
}

interface InterB {
  test: {
    total: number;
    items: Array<{itemTypeB: string}>;
  };
}

interface RequiredResponse<I> {
  test: {
    total: number;
    items: I[];
  };
}

// 修改后仅接收查询类型，内部自动推导Item类型
export const useLoadOptions = <LQ extends RequiredResponse<any>>() => {
  type I = LQ['test']['items'][0];
  // 后续逻辑直接使用推导后的I类型即可
};

const demoFunc = <Advanced extends boolean = boolean>() => {
  // 只需传入查询类型，Item类型自动推导
  useLoadOptions<Advanced extends true ? InterA : InterB>();
};

这种方式让TypeScript直接识别InterA/InterB符合RequiredResponse约束，完全规避了手动关联的类型校验问题。

方案2：用类型断言强制通过约束（妥协方案） #

如果必须保留原有泛型参数结构，可以通过类型断言告知TypeScript第二个参数符合约束：

// 原类型定义保持不变
interface InterA { /* ... */ }
interface InterB { /* ... */ }
type ItemType<Advanced> = Advanced extends true ? InterA['test']['items'][0] : InterB['test']['items'][0];
interface RequiredResponse<I> { /* ... */ }
export const useLoadOptions = <I, LQ extends RequiredResponse<I>>() => {};

const demoFunc = <Advanced extends boolean = boolean>() => {
    useLoadOptions<
        ItemType<Advanced>,
        (Advanced extends true ? InterA : InterB) as RequiredResponse<ItemType<Advanced>>
    >();
};

注意：此方法会跳过TypeScript的类型检查，仅在你确认类型100%匹配时使用。

方案3：用映射类型明确关联查询与Item类型 #

通过定义映射关系和提取类型，让TypeScript能追踪两个泛型参数的关联：

interface InterA { /* ... */ }
interface InterB { /* ... */ }

// 定义布尔值到查询类型的映射
type QueryMap<T extends boolean> = T extends true ? InterA : InterB;
// 从查询类型中提取Item类型
type ItemFromQuery<Q> = Q extends RequiredResponse<infer I> ? I : never;

interface RequiredResponse<I> { /* ... */ }
export const useLoadOptions = <I, LQ extends RequiredResponse<I>>() => {};

const demoFunc = <Advanced extends boolean = boolean>() => {
    type CurrentQuery = QueryMap<Advanced>;
    useLoadOptions<ItemFromQuery<CurrentQuery>, CurrentQuery>();
};

这里通过infer关键字从查询类型中自动提取I，TypeScript能识别CurrentQuery必然满足RequiredResponse<ItemFromQuery<CurrentQuery>>，因此约束会自动通过。

问题根源 #

TypeScript无法自动验证两个独立的泛型条件类型（ItemType<Advanced>和Advanced extends true ? InterA : InterB）之间的约束关系——因为Advanced是泛型参数（而非具体的true/false），类型检查器无法对泛型条件类型做跨参数的逻辑推导。

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