如何在实例化允许类型值或派生类型值的类时指定泛型类型

Question

为什么这个 TypeScript 代码...

interface Base {
    prop1: string
}

interface Derived extends Base {
    prop2: string
}

class Collection<T> {
  items: T[] = []
  add(item: T): T {
    this.items.push(item)
    return item
  }
}

const col = new Collection<Base>()
col.add({
    prop1: 'value1',
    prop2: 'value2'
})

// Note this work around, which demonstrates that this is perfectly workable without the typing
console.log(
  (
    col.add({
      prop1: 'value1',
      prop2: 'value2'
    } as any) as any
  )
  .prop2
)

（见here）

...产生这个错误...

Argument of type '{ prop1: string; prop2: string; }' is not assignable to parameter of type 'Base'.
  Object literal may only specify known properties, but 'prop2' does not exist in type 'Base'. Did you mean to write 'prop1'?

更具体地说，我如何指定我想创建一个Collection 的实例，它接受Base 类型的项目以及任何和所有派生接口类型（但没有其他类型）而不指定所有派生类型的联合？

根据目前的回复，我猜想这在当前 (4.5.4) 版本的 TypeScript 中是不可能的。

Answer 1

完全跳过代码示例的“为什么”，我认为这与WeakMap 或扩展接口完全无关。所以我要大大地简化这个问题：

type A = { str: string }
const test1: A = { str: 'string', num: 123 }
// Type '{ str: string; num: number; }' is not assignable to type 'A'.
//  Object literal may only specify known properties, and 'num' does not exist in type 'A'.(2322)

Typescript 会因错误而做出很多判断。在这里它决定这可能是一个错误，因为您直接将对象文字分配给缺少某些文字属性的类型。这会导致类型系统“忘记”那些额外的属性，从而导致它们无法访问。

但是，这很好用：

type A = { str: string }
const test2Data = { str: 'string', num: 123 }
const test2: A = test2Data

这是因为test2Data现在是自己的值和类型，可以独立使用。 testData.num 的类型为 number，但 test2.num 不存在（根据类型）。

Playground

---

此处适用完全相同的规则，并且没有问题：

const map = new WeakMap<String, Base>()
const data = {
    prop1: 'value1',
    prop2: 'value2'
}
map.set('key1', data)

Playground

---

TL;DR：当你将一个对象字面量分配给一个类型时，立即会丢失该字面量中的一些属性，打字稿认为这是一个错误，因为你永远无法在初始分配。

---

如果您真的想捕获额外的未知属性，则应该以类型安全的方式进行。就像泛型一样：

function makeThing<T extends { str: string }>(data: T): T {
  return data
}

const thing = makeThing({ str: 'string', num: 123 })
thing.num // safe

Playground

---

您的问题与我第一次回答时的代码完全不同。

您可以通过将add() 函数设为泛型来“解决”这种情况。

class Collection<T> {
  items: T[] = []
  add<U extends T>(item: U): U {
    this.items.push(item)
    return item
  }
}

现在，add() 不再接受 T，而是接受 T 或 T 的子类型。这告诉 Typescript 额外的属性不会被丢弃，因为它们将由方法返回类型返回。

测试一下：

const col = new Collection<Base>()
const addedItem = col.add({
    prop1: 'value1',
    prop2: 'value2'
})
addedItem.prop1 // works
addedItem.prop2 // works

col.items[0].prop1 // works
col.items[0].prop2 // type error
;(col.items[0] as Derived).prop2 // works

但是，这又不是一个好主意。因为如果您实际上没有添加prop2，因为add 方法不需要它，那么您就无需防范假设该属性存在。

故意将数据填充到缺少该数据属性的类型中，然后用不安全的强制转换将其取出，这对我来说似乎是一个糟糕的计划。

Playground