打字稿：基于地图中相应类型的类型

Question

我正在使用 Firestore，我想将我的数据库中的路径与正确的接口相关联。

假设我有 3 条可能的路径。以下是这些路径的类型：

type FsPath =
  `badges/${string}` |
  'entities' |
  `entities/${string}`;

在路径entities和entities/${string}我只想存储ServerEntity类型的数据，而在路径badges/${string}我只想存储ServerBadge类型的数据；

interface ServerEntity {
  name: string;
  age: number;
}

interface ServerBadge {
  level: number;
  label: string;
}

现在假设我有这个功能

setValue(path: FsPath, value: any) {
  // I want to know how to replace the any with a deduced type from the FsPath of "path"
}

我应该写什么而不是“any”以确保我不能执行以下操作

const badge: ServerBadge = {
  level: 4,
  label: 'Best badge'
};

setValue('entities/qs89sdjdziU', badge); // I want this to raise an TS error

如何在我的 FsPath 和我的接口 ServerBadge、ServerEntity 之间创建一个“映射”（不确定术语）？ 那么如何检查这个“地图”以在 setValue() 中键入“值”键？

希望问题足够清楚。

谢谢

编辑：添加了 ServerBadge 和 ServerEntity 类型

@captain-yossarian 回答后编辑：

有没有办法创建一个 PathMap 但将整个路径作为键来代替？

type PathMap = {
  'badges': ServerBadge[],
  `badges/${string}`: ServerBadge,
  'entities': ServerEntity[],
  `entities/${string}`: ServerEntity
}

我知道这行不通，因为类型键不能是 TS 类型。那么如何在 2 种类型之间创建 Map 呢？

编辑添加了带有子集合问题的修改后的游乐场：

Playground

Answer 1

考虑这个例子：

interface ServerEntity {
    name: string;
    age: number;
}

interface ServerPlace {
    title: string;
    city: string;
}

interface ServerBadge {
    level: number;
    label: string;
}

type FsPath =
    | 'badges'
    | `badges/${string}`
    | 'entities'
    | `entities/${string}`
    | `entities/${string}/places`
    | `entities/${string}/places/${string}`;


type FsMap = {
    'entities': ServerEntity,
    'badges': ServerBadge
}

type Validate<T> = T extends FsPath ? T : never

type GetPrefix<T extends string> =
    (T extends `${infer Fst}/${infer _}`
        ? Validate<Fst>
        : (T extends `${infer Fst}`
            ? Validate<Fst> : never
        )
    );

type GetValue<T extends FsPath> = GetPrefix<T> extends keyof FsMap ? FsMap[GetPrefix<T>] : never

function setValue<P extends FsPath>(path: P, value: GetValue<P>) { }

const badge: ServerBadge = {
    level: 4,
    label: 'Best badge'
};

const entity: ServerEntity = {
    name: 'hello',
    age: 42
}

setValue('entities/qs89sdjdziU', entity); // ok
setValue('badges', badge); // ok

setValue('entities/qs89sdjdziU', badge); // error

Playground

PathMap 只是一个字典，没什么特别的。

GetValue 将路径分成两部分 ${first part}/${second part}。然后，它检查first part 是否是字典的键。如果是 - 通过键获取值，否则 - 从不返回。

您可以在我的article 中找到更多关于函数参数验证的有趣示例