從 base class 推斷通用參數

Question

我如何從基數 class 推斷出abc ？

class BaseClass<T> {}

class A extends BaseClass<'abc'> {
  constructor() {
    super()
  }
}

// NotAbc is 'unknown'
type NotAbc = A extends BaseClass<infer I> ? I : never

Answer 1

它不起作用，因為未使用通用參數：

class BaseClass<T> {
    t!: T
}

class A extends BaseClass<'abc'> {
    constructor() {
        super()
    }
}

// Abc is 'abc'
type Abc = A extends BaseClass<infer I> ? I : never

現在它按預期工作

操場