TypeScript で関数の引数にクラス（インスタンスではなく）を渡して、関数の中で new したい

Question

とある JavaScript のソースを読んでいて、以下の動作をしているコードを見つけました。

• 関数の引数にクラス（インスタンスではなく）を渡し、
• 関数の中で new している

TypeScript でも同様のことがしたいと思い、書いてみましたが、
それっぽく動いていますが、こんな書き方で合っているかが自信がありません。
(コメントの「★」部分、typeof Animal のとこ）

以下について分かる人がいたらコメントをいただけないでしょうか？

• この書き方は、合っているか
• この書き方の呼び名「◯◯渡し・・？」
• 他に定石みたいな書き方があるか

class Animal {
    public greet(): string { return "..."; }
}
class Dog {
    public greet(): string { return "Bow!"; }
}
function createAnimal(AnimalType: typeof Animal): Animal { // ← ★これで合っているのか
    return new AnimalType();
}
const dog = createAnimal(Dog);
assert.equal(dog.greet(), "Bow!");
assert.equal(typeof Animal, "function");

比較用に JavaScript でも同様のコードを書きました。

class Animal {
    sayHello() { return "..."; }
}
class Dog extends Animal {
    sayHello() { return "Bow!"; }
}
function createAnimal(AnimalType) { // ← これと同じことをしようとした
    return new AnimalType();
}
const dog = createAnimal(Dog);
assert.equal(dog.sayHello(), "Bow!");

Answer 1

その書き方で合っていると思います。

typeof Animal以外にnew () => Animalや{ new (): Animal }のような書き方もあります。
どれが定石かはわかりませんが、後者2つにはジェネリクスを使える利点があります。↓

function createHoge<T>(HogeType: typeof T): T { // typeofではエラーになる
    return new HogeType();
}

function createHoge<T>(HogeType: new () => T): T { // エラーにならない
    return new HogeType();
}

Comments

[tanishi_a]

おお。ありがとうございます！
前者でも間違いではないとのことでしたが、ジェネリクスを使える利点があるということで、後者のどちらかを使おうと思います！