如何设计一个函数，根据第一个参数（路径）约束第二个参数（参数），并推断出最终结果？
例如，我们需要一个函数来合并路径和参数，根据路径来约束所传的参数，最终拼接路径和参数得出最终的字符串：
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被推断成为联合类型。理想情况下，我们希望函数能够直接正确推断出结果，即：
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就可以正确推断出类型了。
