TypeScriptのクラスの型について

Question

TypeScriptの型についての質問です。
以下のコードで、createClock() の第一引数の型は ClockConstructor ですが、コードの最後の方で ClockConstructor ではなく ClockInterface を実装したクラスが渡されていて、エラーが発生しないのは何故なのでしょうか。
よろしくお願いいたします。

interface ClockConstructor {
    new (hour: number, minute: number): ClockInterface;
}
interface ClockInterface {
    tick(): void;
}

function createClock(ctor: ClockConstructor, hour: number, minute: number): ClockInterface {
    return new ctor(hour, minute);
}

class DigitalClock implements ClockInterface {
    constructor(h: number, m: number) {
        console.log("Digital");
    }
    tick() {
        console.log("beep beep");
    }
}

class AnalogClock implements ClockInterface {
    constructor(h: number, m: number) {
        console.log("Analog");
    }
    tick() {
        console.log("tick tick");
    }
}

let digital = createClock(DigitalClock, 12, 17);
let analog = createClock(AnalogClock, 7, 32);

Answer 1

typescriptの型のチェックについてですが、ダック・タイピングというものがあります。

これは、「必要なメソッド・プロパティが実装されているなら、同じ型として扱える」というもので
typescriptにおいて、interfaceはその型を定義するのに使用します。

typescriptでは、あるインターフェースで実装が求められているメソッドや変数が含まれていれば、
そのインターフェースが実装されているものとして扱われます。例えば、下記のコード

interface ITest{
    methodA();
}

class ClassA{
    methodA(){}
}

function methodForITest(tst:ITest){

}

methodForITest(new ClassA());

では、ClassAは、ITestを実装していませんが、ITestで実装が求められているメソッドmethodAが定義されているため、ITestを実装しているものとして扱われます。

---

質問のClockConstructorでは、newしたらClockInterfaceを実装したインスタンスが返ってくることが求められています。DigitalClockも、AnalogClockも、(ClockConstructorは実装していませんが)newすることで、ClockInterfaceを実装したインスタンスを返すため、ClockConstructorを実装しているものとして扱われ、トランスパイルが通ります。

なお、createClockには、DigitalClock・AnalogClockのインスタンスではなく、クラスを渡していることに注意してください。それぞれのクラスはnewすればClockInterfaceのインスタンスを返しますが、それぞれのインスタンスはそうではありません。

Comments

[退会済みユーザー]

なるほど納得いたしました。
詳細なご説明、ありがとうございます。