能否创建可扩展数据库关联关系的TypeScript类型？

基础类型定义 #

先定义标记可扩展关联的基础类型，满足未扩展时的类型要求：

// 一对一关联：未扩展为数据库ID字符串，扩展后为关联实体类型
type Expandable<T> = T | string;
// 一对多关联：未扩展为undefined，扩展后为关联实体数组
type ExpandableArray<T> = T[] | undefined;

已实现的 ExpandOne<> 类型优化 #

你的 ExpandOne<> 可以用来扩展单个指定属性，这里给出标准实现：

// 扩展单个指定属性：将ID/undefined转换为对应关联类型
type ExpandOne<T, K extends keyof T> = Omit<T, K> & {
  [P in K]: T[P] extends Expandable<infer U> 
    ? U 
    : T[P] extends ExpandableArray<infer U> 
      ? U[] 
      : T[P];
};

完成 ExpandAll<> 递归扩展类型 #

要实现全量扩展所有可关联属性（包括嵌套关联），可以用递归条件类型：

// 递归扩展所有可扩展属性，支持多级关联展开
type ExpandAll<T> = T extends object 
  ? {
      [K in keyof T]: T[K] extends Expandable<infer U> 
        ? ExpandAll<U> 
        : T[K] extends ExpandableArray<infer U> 
          ? ExpandAll<U>[] 
          : ExpandAll<T[K]>;
    } 
  : T;

多属性/多级扩展示例 #

先定义数据库实体类型示例：

type User = {
  id: string;
  name: string;
  profileId: Expandable<Profile>; // 一对一关联
  posts: ExpandableArray<Post>; // 一对多关联
};

type Profile = {
  id: string;
  bio: string;
  userId: Expandable<User>; // 反向一对一关联
};

type Post = {
  id: string;
  title: string;
  authorId: Expandable<User>; // 一对一关联
};

单个属性扩展 #

// 仅扩展User的profileId属性
type UserWithProfile = ExpandOne<User, 'profileId'>;
// 结构：{ id: string; name: string; profileId: Profile; posts: ExpandableArray<Post> }

多属性扩展 #

可以基于 ExpandOne<> 实现批量扩展工具类型：

// 扩展多个指定属性
type ExpandMany<T, K extends keyof T> = K extends infer Keys
  ? Keys extends keyof T
    ? ExpandMany<ExpandOne<T, Keys>, Exclude<K, Keys>>
    : T
  : T;

// 同时扩展User的profileId和posts属性
type UserWithProfileAndPosts = ExpandMany<User, 'profileId' | 'posts'>;

全量多级扩展 #

// 完全展开User的所有关联（包括嵌套的反向关联）
type UserWithAllRelations = ExpandAll<User>;

后端交互函数类型匹配方案（可行性验证） #

你构想的后端函数类型匹配方案完全可行，核心思路是用泛型绑定expand参数与返回类型，示例如下：

// 获取用户的API函数：根据传入的expand参数自动推导返回类型
function getUser<
  ExpandedKeys extends keyof User = never
>(userId: string, expand?: ExpandedKeys): ExpandMany<User, ExpandedKeys> {
  // 模拟后端请求与数据组装逻辑
  return {} as ExpandMany<User, ExpandedKeys>;
}

// 使用示例
const basicUser = getUser('123');
// basicUser.profileId: string; basicUser.posts: undefined

const userWithProfile = getUser('123', 'profileId');
// userWithProfile.profileId: Profile

const userWithAll = getUser('123', 'profileId' | 'posts');
// userWithAll.profileId: Profile; userWithAll.posts: Post[]

可行性说明 #

• TypeScript的条件类型、递归类型与泛型完全支持这种关联扩展逻辑，能彻底避免重复定义多个实体类型变体。
• 后端函数的泛型绑定方案实现了参数与返回类型的强关联，保证了类型安全，同时使用体验直观。
• 注意事项：循环关联（如User与Profile互相引用）在TypeScript中是合法的，但在实际序列化/反序列化时需处理循环引用问题；极端复杂的嵌套关联可能会导致类型推导变慢，但常规项目场景下影响可以忽略。

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