相关疑难解决方法(0)

如何使通用模板类型参数成为必需？

到目前为止，我发现这样做的唯一方法是使用never但它会导致错误发生在泛型调用点以外的其他地方。

此处粘贴的TypeScript Playground 示例：

type RequestType =
  | 'foo'
  | 'bar'
  | 'baz'

interface SomeRequest {
  id: string
  type: RequestType
  sessionId: string
  bucket: string
  params: Array<any>
}

type ResponseResult = string | number | boolean

async function sendWorkRequest<T extends ResponseResult = never>(
  type: RequestType,
  ...params
): Promise<T> {
  await this.readyDeferred.promise

  const request: SomeRequest = {
    id: 'abc',
    bucket: 'bucket',
    type,
    sessionId: 'some session id',
    params: [1,'two',3],
  }
  const p = new Promise<T>(() => {})

  this.requests[request.id] …

班级是：

class Test<P> {
  constructor(data: P) {}
}

我希望下面的代码没有通过类型检查，因为它没有传入的泛型：

new Test({ a: 1 })

我知道上面的泛型 P 是自动派生为 的{a: number}，但这不是我想要的，下面是。

new Test< {a: number} >({ a: 1 })

我尝试了很多方法，但最终泛型 P 会自动派生到构造函数的参数类型中。