【TypeScript】try-catchはもう不要！？NeverThrowを使ったエラーハンドリング

こんにちは！
今日は、TypeScriptでのエラーハンドリングをより簡単かつ安全にするためのライブラリ「NeverThrow」についてご紹介します。

エラーハンドリングはソフトウェア開発において非常に重要ですが、正しく扱うのは難しいことがあります。
特に大規模なプロジェクトでは、エラー処理のミスが致命的なバグにつながることも少なくありません。

NeverThrowを使用することで、エラーハンドリングを直感的かつ型安全に行うことが可能です。
このガイドでは、NeverThrowの基本的な使い方から応用的なテクニックまでを、初心者でも理解できるように詳しく解説します。

NeverThrowとは？

neverthrowは、JavaScriptおよびTypeScriptで型安全なエラーハンドリングを提供するライブラリです。
このライブラリは、関数の成功と失敗を明示的に扱うためにResult型を使用します。
これにより、エラー処理がより直感的で予測可能になります。

具体的には、Result型はok（成功）とerr（失敗）の2つの状態を持ちます。
これにより、try-catch構文を使用せずにエラーを管理し、コードの可読性と安全性を向上させることが可能です。

なぜNeverThrowを使うのか？

neverthrowを使う理由は、エラーハンドリングをシンプルで直感的にするためです。
TypeScriptの標準的なエラーハンドリングはtry-catch構文を使いますが、これにはいくつかの問題点があります。
まず、コードが冗長になりがちです。
また、エラーがどこで発生したのかが分かりにくくなることもあります。

neverthrowを使うと、エラーと成功の結果をResult型で明示的に扱うことができます。
これにより、エラー処理が簡潔でわかりやすくなり、コードの可読性が向上するのです。

さらに、neverthrowは型安全性を提供するため、エラーの種類や内容を正確に把握できる利点もあります。
これにより、バグの発生を減らし、より信頼性の高いコードを書くことができるのです。

NeverThrowのインストール方法

neverthrowをインストールするのはとても簡単です。
まず、Node.jsがインストールされていることを確認してください。
次に、以下のコマンドを実行します。


npm install neverthrow

または、yarnを使用している場合は、以下のコマンドを使います。


yarn add neverthrow

これでneverthrowがプロジェクトに追加されました。
neverthrowをインポートして使用する準備が整いましたね。

基本的な使い方

neverthrowを使うことで、エラーハンドリングがより簡単になります。
ここでは基本的な使い方を紹介しますね。

まず、neverthrowをインポートします。


import { ok, err, Result } from 'neverthrow';

次に、成功と失敗を返す関数を定義します。


const divide = (num1: number, num2: number): Result<number, Error> => {
  if (num2 === 0) {
    return err(new Error('Division by zero'));
  }
  return ok(num1 / num2);
};

この関数では、num2が0の場合にエラーを返し、それ以外の場合には計算結果を返します。
次に、結果を処理する方法を見てみましょう。


const result = divide(10, 2);

if (result.isOk()) {
  console.log('Result:', result.value);
} else {
  console.error('Error:', result.error.message);
}

この例では、成功した場合は結果をログに出力し、エラーの場合はエラーメッセージを出力します。
このように、neverthrowを使うことで、エラーハンドリングが明確になり、コードがより読みやすくなりますね。

成功時


Result: 5

Error時


Error: Division by zero

応用的な使い方

ここでは、neverthrowを使った応用的な使い方を紹介します。
これにより、より複雑なエラーハンドリングを実現できます。

チェイニングとフラットマップ

neverthrowを使ったチェイニングでは、各メソッドが順番に実行され、途中でエラーが発生した場合はそれ以上の処理が行われません。
以下の例では、バリデーションを各メソッドで行いながら、操作をチェイニングしています。


import { ok, err, Result } from 'neverthrow';

const validateNumber = (num: number): Result<number, Error> => {
  if (num < 0) {
    return err(new Error('Number must be non-negative'));
  }
  return ok(num);
};

const addTen = (num: number): Result<number, Error> => {
  if (num > 100) {
    return err(new Error('Number too large'));
  }
  return ok(num + 10);
};

const multiplyByTwo = (num: number): Result<number, Error> => {
  if (num % 2 !== 0) {
    return err(new Error('Number must be even'));
  }
  return ok(num * 2);
};

const result = validateNumber(5)
  .andThen(addTen)
  .andThen(multiplyByTwo);

result.match(
  value => console.log('Final Result:', value),
  error => console.error('Error:', error.message)
);

この例では、3つのバリデーションを行っています。

validateNumberメソッドで数値が非負であること
addTenメソッドで加算後の数値が100以下であること
multiplyByTwoメソッドで数値が偶数であること

これにより、各ステップで適切なバリデーションが行われ、エラーが発生した場合には適切に処理されます。

チェイニングを活用することで、複雑なロジックを簡潔かつ読みやすく実装できるのです。
エラーハンドリングも自然に組み込まれるため、コード全体の信頼性が向上しますね。

エラーメッセージのカスタマイズ

neverthrowを使用すると、エラーメッセージをカスタマイズして、より具体的な情報を提供することが可能です。
以下の例では、カスタムエラー型を使用しています。


import { ok, err, Result } from 'neverthrow';

type CustomError = {
  message: string;
  code: number;
};

const divide = (num1: number, num2: number): Result<number, CustomError> => {
  if (num2 === 0) {
    return err({ message: 'Division by zero', code: 400 });
  }
  return ok(num1 / num2);
};

const result = divide(10, 0);

result.match(
  value => console.log('Result:', value),
  error => console.error(`Error ${error.code}: ${error.message}`)
);

このように、エラー情報を詳細にカスタマイズすることで、デバッグやエラーハンドリングがより容易になります。
例えば、エラーメッセージに加えてエラーコードも返すことで、エラーの特定が簡単になりますね。

カスタマイズされたエラーメッセージを使うことで、コードの可読性とメンテナンス性が向上します。
neverthrowを活用して、エラーメッセージを効果的にカスタマイズしましょう。

【付録】さらに学びを深めるためのリソース

intersection型について理解を深めたところで、さらに学習を進めたい方のために、いくつかのリソースを紹介します。
これらのリソースを活用することで、TypeScriptの型システムについてより深い知識を得ることができるでしょう。

オンラインで参照できる公式ドキュメント

TypeScript公式ハンドブック

https://www.typescriptlang.org/docs/
TypeScriptの公式ドキュメントです。
intersection型を含む、すべての型システムの機能について詳細な説明があります。

TypeScript Deep Dive

https://basarat.gitbook.io/typescript/
TypeScriptの深い部分まで掘り下げて解説しているオンラインブックです。
無料で読むことができ、intersection型についても詳しく説明されています。

TypeScriptの学習は終わりがありません。
新しい機能が常に追加され、より良い書き方が発見されています。
継続的に学習を続けることで、より良いTypeScriptプログラマーになれるはずです。

キャリア形成/給与還元
ひとつひとつ真摯に向き合う企業