Result型のモデル化
Resultを使い、成功と失敗をデータとして表現します。
「Result型のモデル化」はCoddyKit上の無料TypeScript Academyレッスンです。 これはレッスン2/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはTypeScript Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 TypeScript Academyコースには全4レッスンが含まれています。
Result 型
Resultは、値を伴って成功するか、エラーを伴って失敗する操作をモデル化します。これは、例外を投げる代わりに返せる判別共用体です。
Result の定義
典型的な形ではokを判別子として使います。okがtrueの場合はvalueが存在し、falseの場合はerrorが存在します。
type Result<T, E> =
| { ok: true; value: T }
| { ok: false; error: E };コンストラクターのヘルパー
小さなokおよびerrヘルパーを使うと、毎回オブジェクトリテラルを手書きする代わりに、Resultを簡潔で読みやすく構築できます。
const ok = <T>(value: T): Result<T, never> => ({ ok: true, value });
const err = <E>(error: E): Result<never, E> => ({ ok: false, error });Result を返す
失敗する可能性のある関数は、ok(value)またはerr(error)を返します。戻り値の型によって、すべての呼び出し側に両方の可能性が明示されます。
function divide(a: number, b: number): Result<number, string> {
return b === 0 ? err("divide by zero") : ok(a / b);
}ok で型を絞り込む
result.okを確認すると、共用体の型が絞り込まれます。trueの分岐内ではTypeScriptがvalueの存在を認識し、falseの分岐内ではerrorの存在を認識します。
const r = divide(10, 2);
if (r.ok) console.log(r.value); // 5
else console.log(r.error);判別子が安全性を支える
okフィールドは、コンパイラーが適切な分岐を選択できるようにする判別子です。まずokがtrueであることを証明しなければ、valueにはアクセスできません。
const r = divide(1, 0);
// r.value here is a type error until we check r.ok
if (!r.ok) console.log("err:", r.error);型付きエラー
エラーは文字列よりも豊かな情報を持たせることができます。型付きエラーの共用体を使うと、型を絞り込んだ後で、呼び出し側が種類ごとに正確に処理できます。
type DivErr = { kind: "zero" } | { kind: "overflow" };
function div(a: number, b: number): Result<number, DivErr> {
if (b === 0) return err({ kind: "zero" });
return ok(a / b);
}網羅的なエラー処理
エラーの型は共用体なので、判別子に対するswitchの網羅性をチェックできます。これにより、すべての失敗パターンが処理されていることを保証できます。
const r = div(1, 0);
if (!r.ok) {
switch (r.error.kind) {
case "zero": console.log("no zero"); break;
case "overflow": console.log("too big"); break;
}
}デフォルト値のヘルパー
値または代替値だけが必要な場合もあります。小さなunwrapOrを使うと記述が読みやすくなり、失敗の処理をその場に保てます。
function unwrapOr<T, E>(r: Result<T, E>, fallback: T): T {
return r.ok ? r.value : fallback;
}
console.log(unwrapOr(divide(1, 0), -1)); // -1Result と例外送出の比較
Resultは失敗を戻り値の型に移すため、呼び出し側は失敗を必ず処理することになります。その分、より明示的なコードになりますが、想定されるエラーに対しては通常その価値があります。
完成した例
ここまでをまとめると、ヘルパーを定義し、Resultを返し、使用前に型を絞り込みます。コンパイラーによって、エラーの分岐が認識されていることが保証されます。
function safeParse(s: string): Result<number, string> {
const n = Number(s);
return Number.isNaN(n) ? err("NaN") : ok(n);
}
const p = safeParse("42");
console.log(p.ok ? p.value : p.error); // 42理解度チェック
このレッスンの理解度を確認します。
まとめ
Result<T, E>は、判別共用体{ ok: true; value }または{ ok: false; error }です。ok/errヘルパーで構築し、okで型を絞り込むことで、valueまたはerrorに安全にアクセスできます。型付きエラーを使えば、すべてのケースを網羅的に処理できます。
よくある質問
「Result型のモデル化」レッスンは無料ですか？
はい。「Result型のモデル化」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、TypeScript Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 TypeScript Academyコースには全4レッスンが含まれています。
「Result型のモデル化」で何を学びますか？
Resultを使い、成功と失敗をデータとして表現します。 ブラウザで直接実行するハンズオンコードでTypeScript Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
TypeScript Academyを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのTypeScript Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン2/4です。
「Result型のモデル化」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このTypeScript Academyレッスンでコードを書いて実行できますか？
はい。すべてのTypeScript Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。