型チェッククラス（クラスのインスタンスではなく）は、以下のクラスを考えると別のクラス

Question

拡張しますExtendedClassを引数として別の関数（ではなくのインスタンス、ExtendedClassではなくクラスそのもの）に渡し、ExtendedClassがBaseClassになるようにチェックしてください。

これは動作しません：c: BaseClassはcがBaseClass（BaseClassを拡張するか何か）のインスタンスなければならないことを意味し

function helloClass (c: BaseClass) {} 

ので - BaseClass自体を拡張ではなくクラス。

これはすべてTypeScript内で可能ですか？

Answer 1

このようなクラスは、{ new(): BaseClass }のように表すことができます。

かの例では：

interface BaseClassConstructor<T extends BaseClass> { 
    new(): T; 
} 

class BaseClass { 
    str: string; 
} 

class ExtendedClass extends BaseClass { } 

function fn<T extends BaseClass>(ctor: BaseClassConstructor<T>) { 

} 

fn(BaseClass); // fine 
fn(ExtendedClass); // fine 

class A { 
    prop: any; 
} 

fn(A); // error 

（code in playground）