mosya<TC> - 関数PromiseAllに型をつけようの解説
この記事はmosya<TC>の問題の一つであるPromiseAll関数の解説になります。
問題
Promise ライクなオブジェクトの配列を受け取る関数 PromiseAll に型を付けてください。戻り値は Promise<T> である必要があります。ここで、T は解決された結果の配列です。
const promise1 = Promise.resolve(3);
const promise2 = 42;
const promise3 = new Promise<string>((resolve, reject) => {
setTimeout(resolve, 100, 'foo');
});
// expected to be `Promise<[number, 42, string]>`
const p = PromiseAll([promise1, promise2, promise3] as const)
解答例
declare function PromiseAll<T extends any[]>(values: readonly [...T]): Promise<{
[P in keyof T]: Awaited<T[P]>
}>
readonlyで受け取る
PromiseAll関数の引数にはreadonlyをつけて、as constが付与された配列を受け取るように制限します。これにより、Promiseの中身の型がstringやnumberではなく42や'foo'といった具体的な値の型になることが保証されます。
Mapped Typesを使う
Mapped Typesを使って、配列Tの各要素に対してAwaitedを適用します。AwaitedはPromiseの中身の型を取得する型です。
Authored by
Godai@steelydylan
Webサービスを作るのが好きなWebエンジニア。子供が産まれたことをきっかけに独立し法人化。サービス開発が大好き。
好きな言語はTypeScript。
Related
