TypeScript - 将动态属性名称传递给子级

Question

我正在开发一个带有嵌套路由的路由库，我正在尝试定义一个子处理程序 function 来推断父路径。 原因是我有另一种可以从字符串推断动态路径参数的类型（例如， users/:id到{ id: string } ）； 因此，我希望能够将推断的路径参数从父路由传递到每个子路由处理程序 function 中的任何和所有子路由。

这是我到目前为止所拥有的：

type RawRouterDefn<Namespace extends string = ""> = {
    [K: string]: Handler<Namespace, typeof K> | RawRouterDefn<`${Namespace}/${typeof K}`>;
};

type Handler<DataPath extends string, Path extends string> = ((args: { dataPath: DataPath, path: Path }) => unknown)

type Router<Routes extends RawRouterDefn, DataPath extends string = ""> = {
    [K in keyof Routes & string]: Routes[K] extends CallableFunction
        ? Handler<DataPath, K>
        : Router<Routes[K], `${DataPath}/${K}`>;
};

function createRouter<T extends RawRouterDefn>(rawDefn: T): Router<T, ""> {
    // Implementation not important right now
    return {} as unknown as Router<T, "">
}

const router = createRouter({
    some: {
        deeply: {
            nested: {
                /**
                 * Here, dataPath should be inferred as `some/deeply/nested`,
                 * path should be `route`
                 */
                route: ({ dataPath, path }) => {}
            },
        },
    },
});

const route = router.some.deeply.nested.route;
// Correctly inferred **after** function applied, I need it within the router definition
type Params = Parameters<typeof route>[0]

（以及游乐场的链接）

我快到了，除了dataPath应该被推断为/some/deeply/nested而不是/${string}/${string}/${string}并且path应该被推断为/route而不是/${string} . 这表明我在RawRouterDefn类型中缺少一些东西。

所以看起来我可以正确地缩小字符串的形状，但我目前的方法没有进一步。

同样，当用作 function arguments 时，我需要推断它，而不是之后。

Answer 1

非常接近，只需要用 generics 做一点魔法：

function createRouter<T extends RawRouterDefn, R extends Router<T, "">>(rawDefn: R): R {

现在它可以工作了： https://tsplay.dev/NDRE1W

您需要另一个泛型来告诉 TypeScript 您在 function 中得到的正是您返回的。 删除T extends RawRouterDefn并使用R extends Router<RawRouterDefn, "">会破坏推理，所以，不要这样做。