声明通用项数组时，如何允许推断通用参数？

我遇到的情况是，我有一系列通用项目（Item），并且在项目本身内，我希望推断和具体的通用参数。

也就是说，我想要一组通用项目，但每个项目都可以有不同的通用类型，应该保留这一点。

type Item<T> = {
  value: T; 
  fn: (value: T) => void; 
}


function usesItem<T>(item: Item<T>) {

}


// This is fine - the value is inferred
usesItem({
  value: 999, 
  fn: (value) => {
      //value is inferred as number
  }
})

第一种方法，声明一个Array<Item<unknown>:

function usesItems1(items: Array<Item<unknown>>) {

}


usesItems1([{
  value: 999, 
  fn: (value) => {
    // value is unknown - we want it to be number
  }
}
])

第二种方法：从函数中引入泛型：

function usesItems2<T>(items: Array<Item<T>>) {

}

// appears to work...
usesItems2([{
  value: 999, 
  fn: (value) => {
    // value is number
  }
}
])

// ...but it doesn't really
usesItems2([{
  value: 999, 
  fn: (value) => {
    // value is number
  }
}, {
  // Type 'string' is not assignable to type 'number'.(2322)
  value: "aaa", 
  fn: (value) => {

  }
}
]); 

第三种方法——使用infer关键字，我尝试了几种方法：

type InferredItem1<T>  = T extends Item<infer R> ? Item<R> : never; 

function usesItems3(items: Array<InferredItem1<unknown>>) {

}

usesItems3([{
  //Type 'number' is not assignable to type 'never'.(2322)

  value: 999, 
  fn: (value) => {
  }
}
]); 



type InferredItem2<T extends Item<unknown>>  = T extends Item<infer R> ? Item<R> : never; 

function usesItems3b(items: Array<InferredItem2<Item<unknown>>>) {

}

usesItems3b([{
  value: 999, 
  fn: (value) => {
    // value is unknown
  }
}
]); 

TypeScript 游乐场

我怎样才能实现我想要的？

或者，如果这是不可能的，我猜想是对 Github 问题/类似问题的规范引用。

好吧，我有一些可行的东西，但它很奇怪而且很老套，我不知道我是否正确why有用。第一部分很简单：createRoutes函数需要是通用的，以便有一个类型参数可以推断：

function createRoutes<T>(routes: Route<T>[]) {
  // ...
}

奇怪的部分来了：requestBodyValidator需要写成方法而不是箭头函数，但是createHandler需要保留为箭头函数：

createRoutes([{
  route: "/a",
  method: "get",
  // method, not arrow function
  requestBodyValidator(item): Bar {
    return item as Bar;
  },
  // arrow function
  createHandler: () => {
    // value is inferred as Bar 
    return (value) => {}
  }
}])

游乐场链接

我对为什么这有效的最好猜测是通过requestBodyValidator一个方法，在推断整个对象的类型时会考虑它的类型，因为 Typescript 在这个意义上将方法视为“对象的一部分”。然后因为createHandler是一个箭头函数，Typescript 将其视为子表达式，并且其类型是从上下文推断的。由于在推断对象类型时此子表达式没有已知类型，因此无法使用其类型to推断对象的类型。无论如何，这是我最好的猜测；也许原因是别的。