嵌套条件类型评估：生成类型未按预期工作

你的核心需求是让API负载类型中，外键字段的类型直接决定关联元数据字段的存在性与类型。当前实现的问题在于泛型默认值和可选字段的组合导致TypeScript无法准确推断关联字段的非空性，以下是两种可行的解决方案：

方案一：联合类型明确所有场景 #

通过联合类型覆盖外键的所有可能状态（不存在、字符串、null），让TypeScript能精准匹配对应关联字段的结构：

type UserDataPayload = {
    id: string
    username: string
}

type OrganizationPayload = 
  // 无districtAdmin的情况
  {
    id: number
    districtAdmin?: undefined
    edges: {
      districtAdmin?: never
    }
  } | 
  // districtAdmin为字符串（存在外键）的情况
  {
    id: number
    districtAdmin: string
    edges: {
      districtAdmin: UserDataPayload // 强制存在关联数据
    }
  } | 
  // districtAdmin为null的情况
  {
    id: number
    districtAdmin: null
    edges: {
      districtAdmin?: never
    }
  }

测试验证 #

const daUser: UserDataPayload = {
    id: "da",
    username: "da.bob"
}

// 外键为字符串时，关联字段必存在，无undefined报错
const daOrg: OrganizationPayload = {
    id: 1,
    districtAdmin: "da",
    edges: {
        districtAdmin: daUser
    }
}
console.log(daOrg.edges.districtAdmin.username) // 正常编译

// 外键为null时，关联字段不可用
const nullOrg: OrganizationPayload = {
    id: 2,
    districtAdmin: null,
    edges: {}
}
// console.log(nullOrg.edges.districtAdmin) // 编译报错，符合预期

方案二：泛型约束关联关系 #

通过泛型明确外键的类型，让关联字段的结构动态适配：

type UserDataPayload = {
    id: string
    username: string
}

type OrganizationPayload<T extends string | null | undefined = undefined> = {
  id: number
  districtAdmin?: T
  edges: T extends string 
    ? { districtAdmin: UserDataPayload } // 外键为字符串时，关联字段必填
    : { districtAdmin?: never } // 其他情况关联字段不可用
}

测试验证 #

const daOrg: OrganizationPayload<string> = {
    id: 1,
    districtAdmin: "da",
    edges: {
        districtAdmin: daUser
    }
}
console.log(daOrg.edges.districtAdmin.username) // 无编译报错

问题根源分析 #

你之前的实现中，泛型默认值为string | null，导致TypeScript无法确定TR extends string的结果是true还是false，最终推断edges.districtAdmin为UserDataPayload | undefined。通过联合类型或明确泛型类型，让TypeScript能精准匹配外键与关联字段的对应关系，消除undefined的模糊性。

扩展到多关联字段 #

如果需要支持多个类似dedicatedSupport的关联字段，只需扩展联合类型的分支，或结合映射类型实现更灵活的结构，例如：

// 多字段联合类型示例（简化版）
type OrganizationPayload = 
  {
    id: number
    districtAdmin?: undefined
    dedicatedSupport?: undefined
    edges: { districtAdmin?: never; dedicatedSupport?: never }
  } | 
  {
    id: number
    districtAdmin: string
    dedicatedSupport?: undefined
    edges: { districtAdmin: UserDataPayload; dedicatedSupport?: never }
  } | 
  {
    id: number
    districtAdmin?: undefined
    dedicatedSupport: string
    edges: { districtAdmin?: never; dedicatedSupport: UserDataPayload }
  } |
  {
    id: number
    districtAdmin: string
    dedicatedSupport: string
    edges: { districtAdmin: UserDataPayload; dedicatedSupport: UserDataPayload }
  }

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