是否可以從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個錯誤 ：

• 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; }'. 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)

我只得到第一個錯誤 ：

• myClassInstance.declare('Wrong parameter type')觸發器Argument of type '"Wrong parameter type"' is not assignable to parameter of type 'ObjectAsMap'. 。

由於b#data中不存在此屬性，因此b.data.wrongProperty也應觸發錯誤。 當我將鼠標懸停在b.data上方b.data ，它告訴我(property) MyClass<ObjectAsMap>.data: ObjectAsMap而不是(property) MyClass<{ first: true; second: false; }>.data: { first: true; second: false; } (property) MyClass<{ first: true; second: false; }>.data: { first: true; second: false; } (property) MyClass<{ first: true; second: false; }>.data: { first: true; second: false; } 。

---

題

有沒有辦法像情況A那樣推斷情況B中的參數類型？

Answer 1

您只需要添加一個額外的type參數即可捕獲調用中的實際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)