javascript - 使用 typescript 是否基本上放弃了基于原型(prototype)的编程范式？

Question

我正在尝试使用 typescirpt 进行基于原型(prototype)的编程，发现 typescript 对此的支持有限。所以我想知道使用typescript是否基本上放弃了基于原型(prototype)的编程范式？

这是我的演示代码:

const Foo = {
  init (name: string) {
    this.name = name
    return this
  },
  getName(): string {
    return this.name
  }
}

const Bar = {
  init (name: string, label: string) {
    Foo.init.call(this, name)
    this.label = label
    return this
  },
  getLabel() {
    return this.label
  }
}
Object.setPrototypeOf(Bar, Foo)

const bar = <typeof Bar> Object.create(Bar)
bar.init('lisiur', 'javascript')
bar.getName()

在最后一行 typescript 提示 类型 '{ init(name: string, label: string): any; 上不存在属性 'getName' getLabel():任意； }'.ts(2339)。有办法解决吗？

<小时/>

更新:

在lib.d.ts中，Object.create和Object.setPrototypeOf都缺少必要的类型声明(它们都返回any)。那么有没有办法声明我自己的 create 和 setPrototypeOf 来实现这一点？

Answer 1

可以使用原型(prototype)范例创建对象，但 TypeScript 无法推断它们的类型。仍然可以使用打字，但必须手动提供。一个例子:

interface FooBaseType {
  getName(): string
}

interface FooType extends FooBaseType {
  init(name: string): void
}

interface BarType extends FooBaseType {
  init(name: string, label: string): void
  getLabel(): string
}

const Foo = { /* … */ }
const Bar = { /* … */ }
Object.setPrototypeOf(Bar, Foo)

const bar = Object.create(Bar) as BarType // manually affects 'BarType'
bar.init('lisiur', 'javascript')
bar.getName()

...或者相同的示例，使用来自 Foo 和 Bar 的推断:

const Foo = { /* … */ }
const Bar = { /* … */ }
Object.setPrototypeOf(Bar, Foo)

// Remove the following line with TypeScript 3.5
type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>

type FooBaseType = Omit<typeof Foo, "init">
type FooType = FooBaseType & Pick<typeof Foo, "init">
type BarType = FooBaseType & typeof Bar

const bar = Object.create(Bar) as BarType // manually affects 'BarType'
bar.init('lisiur', 'javascript')
bar.getName()