如何设计一个函数，根据第一个参数（路径）约束第二个参数（参数），并推断出最终结果？

例如，我们需要一个函数来合并路径和参数，根据路径来约束所传的参数，最终拼接路径和参数得出最终的字符串：

type path2params = {
  '/order/detail': { orderid: string };
  '/product/list': { type: string; pagesize: string; pageno: string };
};

const orderparams: path2params['/order/detail'] = { orderid: '123' };
const productlistparams: path2params['/product/list'] = { type: 'electronics', pagesize: '10', pageno: '1' };

通过函数能推断出orderurl为/order/detail?orderid=123，productlisturl为/product/list?type=electronics&pagesize=10&pageno=1

但现有实现存在问题：

// ......省略部分代码......
const orderurl = buildstringwithparams('/order/detail', orderparams);
const productlisturl = buildstringwithparams('/product/list', productlistparams);

orderurl被推断成为/order/detail?orderid=${string}，productlisturl被推断成为联合类型。理想情况下，我们希望函数能够直接正确推断出结果，即：

AI舌诊面诊问诊医疗系统+诊疗商城系统源码

AI 舌诊面诊问诊医疗系统 + 诊疗商城系统源码是一套结合 AI 辅助诊断与商品转化的健康类程序，基于浩创云、ThinkPHP（PHP）开发，支持微信服务号与 H5 端，适合做中医舌诊面诊问答、健康建议推送以及配套诊疗商品的运营。

下载

orderurl 为 "/order/detail?orderid=123"
productlisturl 为 "/product/list?type=electronics&pagesize=10&pageno=1"

如何修改函数以实现上述目标？

问题的关键在于推断出最终结果的类型。通过修改类型定义，可以实现所需的推断：

// ......省略部分代码......

const orderUrl = buildStringWithParams<'/order/detail', Path2Params['/order/detail']>(
  '/order/detail',
  orderParams,
);
const productListUrl = buildStringWithParams<'/product/list', Path2Params['/product/list']>(
  '/product/list',
  productListParams,
);

这样，orderurl和productlisturl就可以正确推断出类型了。