是否可以从 Typescript 中的非构造方法参数推断出泛型类类型？

Question

A-构造方法案例

当我想从构造方法参数推断泛型类类型时：

interface ObjectAsMap { [key: string]: boolean }

interface MyClass<T extends ObjectAsMap> {
  data: T

  constructor(data: T): MyClass<T>
}

class MyClass<T extends ObjectAsMap> {
  constructor(data: T) {
    this.data = data
  }
}

const a = new MyClass('Wrong parameter type')
const b = new MyClass({
  first: true,
  second: false,
})

console.log(b.data.first)
console.log(b.data.wrongProperty)

不出所料，我得到了2 errors：

• new MyClass('Wrong parameter type') 触发 Argument of type '"Wrong parameter type"' is not assignable to parameter of type 'ObjectAsMap'.
• b.data.wrongProperty 触发 Property 'wrongProperty' does not exist on type '{ first: true; second: false; }'.

---

B- 非构造方法案例

现在，如果我想从非构造方法触发完全相同的预期行为：

interface ObjectAsMap { [key: string]: boolean }

interface MyClass<T extends ObjectAsMap> {
  data: T

  declare(data: T): MyClass<T>
}

class MyClass<T extends ObjectAsMap> {
  public data: T

  public declare(data: T) {
    this.data = data

    return this
  }
}

const myClassInstance = new MyClass()

const a = myClassInstance.declare('Wrong parameter type')
const b = myClassInstance.declare({
  first: true,
  second: false,
})

console.log(b.data.first)
console.log(b.data.wrongProperty)

我只得到the first error:

• myClassInstance.declare('Wrong parameter type') 触发 Argument of type '"Wrong parameter type"' is not assignable to parameter of type 'ObjectAsMap'.。

b.data.wrongProperty 也应该触发错误，因为b#data 中不存在此属性。当我将鼠标悬停在b.data 上方时，它告诉我(property) MyClass<ObjectAsMap>.data: ObjectAsMap 而不是(property) MyClass<{ first: true; second: false; }>.data: { first: true; second: false; }。

---

问题

有没有办法像我在案例 A 中那样推断案例 B 中的参数类型？

Answer 1

你只需要添加一个额外的类型参数来捕获调用中data的实际类型

interface ObjectAsMap { [key: string]: boolean }

interface MyClass<T extends ObjectAsMap> {
    data: T

    declar<U extends T>(data: U): MyClass<U>
}

class MyClass<T extends ObjectAsMap> {
    public data: T

    public declare<U extends T>(data: U): MyClass<U> {
        this.data = data

        return this as any
    }
}

const myClassInstance = new MyClass()

const a = myClassInstance.declare('Wrong parameter type')
const b = myClassInstance.declare({
    first: true,
    second: false,
})

console.log(b.data.first)
console.log(b.data.wrongProperty)