TypeScriptのジェネリックについて

Question

typescriptのジェネリック、型について質問です

let promise = new Promise(resolve => resolve(45))

promise.then(result => result * 4)

このようなコードを書くとエラーがスローされました。

上記のコードを修正し、

let promise = new Promise<number>(resolve => resolve(45))

promise.then(result => result * 4)

とするとエラーがスローされなくなりました。

ここで質問なのですが、最初のコードでエラーがスローされたのは、thenメソッド内の関数のパラメータ result に型が明示されておらず、typescriptによる推論もできないからでしょうか？

二つ目が、修正後のコードの <number> はPromiseのジェネリックを強制しているという解釈でよいでしょうか？
また、もしそうである場合 Promise 内にジェネリックパラメータが記述されているということなのでしょうか？

よろしくお願いいたします。

Answer 1

ここで質問なのですが、最初のコードでエラーがスローされたのは、thenメソッド内の関数のパラメータ result に型が明示されておらず、typescriptによる推論もできないからでしょうか？

そのとおりです。何も書かないと、Promise<unknown>と型推論されます。

二つ目が、修正後のコードの <number> はPromiseのジェネリックを強制しているという解釈でよいでしょうか？

はい。

Promise 内にジェネリックパラメータが記述されているということなのでしょうか？

いえ、ジェネリクスも含めて、TypeScriptの型はJavaScriptへの変換時には消えます。…という回答で良かったでしょうか？

Comments

[suny]

ありがとうございます！

すいません。再度質問なのですが、
TSでのPromiseオブジェクトは <> が指定されているが、JSのPromiseは指定されていない。ということなのでしょうか？

またその場合、TSとJSのオブジェクトは全く別物で、コンパイラの際にTSのオブジェクトからJSのオブジェクトへと変換しているということなのでしょうか？

[maisumakun]

> TSでのPromiseオブジェクトは <> が指定されているが、JSのPromiseは指定されていない。ということなのでしょうか？

オブジェクト自体は全く同じです。TypeScriptの型は変数（と返り値）のラベル付けであって、値には何も影響しません。

[suny]

ありがとうございます。

度々失礼します。
Promiseオブジェクトにジェネリックを指定できるということは、Promiseオブジェクトに <T> だの <U>などのジェネリックパラーメータというものが指定されていると思っていたのですがこれは違うとということでしょうか？

また、Promiseオブジェクトにジェネリックを指定したこの場合、(resolve => resolve(45)) という関数の返り値にラベル付を行っているのでしょうか？

[maisumakun]

> Promiseオブジェクトに <T> だの <U>などのジェネリックパラーメータというものが指定されている

はい、ジェネリクスの型は、TypeScriptがオブジェクトのプロパティやメソッドに型を与えるのに使われるだけです。オブジェクトそのものに何か書き込まれることはありません。

> Promiseオブジェクトにジェネリックを指定したこの場合、(resolve => resolve(45)) という関数の返り値にラベル付を行っているのでしょうか？

resolveの「引数」に対する型付けです。resolve自体の返り値はありませんし、「(resolve => resolve(45)」自体の返り値も無視されるので、ジェネリクスを付けても無関係です。

[suny]

ありがとうございます！