メインコンテンツへスキップ
開発 モバイル

OpenAPI TypeScript: 型、クライアント、バリデーションの生成

OpenAPI TypeScriptの型生成がエンドツーエンドでどう動くかを学びましょう。型を生成し、クライアントを接続し、ランタイムで検証し、CIから安全にリリースします。

OpenAPI TypeScript: 型、クライアント、バリデーションの生成

API パイプラインがチームに嘘をつき始める瞬間は、たいていすぐに分かります。スキーマが変わり、生成された型は何のエラーもなく更新され、PRはグリーンになる。それなのに、ラッパーがエラーを握りつぶしたせいで、フロントエンドの誰かが古いレスポンスの形を読み続けてしまう。これがOpenAPI TypeScriptの問題で、ジェネレーターがインターフェースを吐き出せるかどうかの話ではありません。

役に立つ問いはもっと難しいものです。スキーマ、トランスポート、バリデーションの間にどんな契約を求めるのか。そして、ランタイムに漏らすのではなく、ビルド時にfail fastすべきなのはどの部分か。こう捉えると、 OpenAPI TypeScript をパイプラインの選択肢として捉えると、トレードオフはずっと明確になり、ツールが「全部これで解決」というふりをしなくなります。

目次

生成された型が安全な API と同じではない理由

チームメイトが、任意のレスポンスフィールドを追加するPRをマージしました。生成ファイルはクリーンに更新され、diffも地味で、全員が次の作業に進みます。しかし、フロントエンドは「一時的に」キャストされた手書きのラッパーを通じて、古い形状を読み取り続けます as any、そして本番環境は、コントラクトが変わっていないかのように動き始めます。

これが生成型(generated types)の罠です。 TypeScriptが守れるのは、生成型を消費するcodeだけです、しかもトランスポートレイヤーが再びコントラクトを無視しない場合に限ります。OpenAPI側が提供するのはスキーマであり、すべての呼び出し元がそれを遵守するという保証ではありません。 API の接続を理解するための議論 単一のツールではなく、システムどうしがどう接続するかという視点に話を広げるため、ここでは有用です。

失敗が潜む場所

最も一般的なブレイクポイントは、エキゾチックなものではなく、地味なものです。 スキーマドリフト OpenAPI の仕様とデプロイされたサービスが一致しなくなったときに発生します。 部分的なカバレッジ 仕様が正常系のみをモデル化しており、アプリがドキュメント化されていないエッジケースに依存している場合に起こります。 手書きのラッパー 「スピード重視」で開発を進めようとして、以下を使用する場合、型が弱くなることがよくあります。 any または、緩いレスポンスのキャスト。

実践的なルール: ラッパーが嘘をつく可能性があるなら、ジェネレーターでは救えません。

また、ランタイムのギャップも存在します。TypeScript の型はコンパイル後に消失するため、ネットワーク経由で送られてくる不正な JSON を拒否できません。ネットワークはエディタの推論を考慮しないため、生成されたクライアントは、より安全な API パイプラインにおける一つのレイヤーに過ぎないのです。

より広範な運用上の課題は、単なる開発者の利便性ではなく、セキュリティとコントラクトの規律です。API のコントラクトが、より大きなアプリのライフサイクルにどのように適合するかを体系的に理解したい場合は、こちらの内部ガイドをご覧ください。 App Store のコンプライアンスに向けた API セキュリティ基準 心強い味方です。

成熟した考え方 openapi typescript これです。厳密なスキーマから型へのブリッジを提供し、非常に優れていますが、リクエストの検証、ランタイムペイロード形状の強制、そして杜撰なラッパーによる全体への悪影響の防止は行いません。ジェネレーターは簡単な20%です。残りはパイプライン設計であり、そこでチームは信頼を獲得するか、誤った自信を蓄積するかの分かれ目です。

OpenAPI SpecからTypeScriptの型を生成する

https://openapi-ts.dev のスクリーンショット

最も軽量で実用的なセットアップは、通常、実際のリポジトリの流動性に耐えるものです。OpenAPI仕様を同じリポジトリに保持し、コミットされた型ファイルを生成し、リフレッシュ手順を誰かに覚えてもらうことに頼るのではなく、CIでドリフトを可視化します。このようなコマンドは npx openapi-typescript ./openapi.yaml -o ./src/types/api.d.ts 他のソース変更と同様にレビューアが検査できる決定論的な出力ファイルを提供します。

実際に重要なフラグ

この -o 出力フラグは、生成される成果物を明示的に指定できるため重要です。 --immutable 生成された型で readonly の意図を出力に保持したい場合に有用で、 --alphabetize 意味のないスキーマ順序の変化でも diff を安定させます。 --enum 生成されたインターフェースで union ではなく enum を好むチームにとって重要です。

プロジェクト自体のドキュメントはスコープについて明確で、これは 型ジェネレーターであり、クライアントランタイムやリクエストレイヤーではありません。この制約は、軽量で型ファーストなセットアップを望む場合に役立ちます。リポジトリはまた、ツールを支えるメンテナンスモデルも示しており、ドキュメントとリリースが活発に更新されることで、オープンソースツールが本番環境で耐えられる理由の一部でもあります。これは オープンソースメンテナンスの意義で議論されています。この姿勢の実用的な見方は、プロジェクトの GitHub リポジトリと CLI ドキュメントです.

生成処理を package.json に組み込み、コマンドを他のビルドスクリプトと同じ場所に配置し、spec が変更されたら実行します。CI ではファイルを再生成し、 git diff で差分を検出したら失敗させます。これにより、コントラクトの変更がサイレントなランタイムリスクではなく、レビューで確認可能な作業になります。

コマンドラインと同様に、スキーマ側も重要です。プロジェクトでは compilerOptions.noUncheckedIndexedAccess これで、 additionalProperties になる T | undefinedこれにより、呼び出し側でより安全なインデックスアクセスが強制されます。また、次を使用することも推奨します。 oneOf 他のコンポジションと混ぜるのではなく単体で使い、維持する $defs 配置が曖昧な場合はルートに置きます。定義の置き場所を誤ると生成出力から消えることがあるためです。もう一つ、後で時間を節約できるポイントがあります。 openapi-typescript 決して生成しません anyそのため、スキーマの詳細が欠けていれば、寛容な型に隠れず早い段階で表面化します。

Specは明示的に保ちましょう。そうしないと、ジェネレーターはその曖昧さを忠実にそのまま返してきます。

長続きするワークフローはシンプルです。Specをバージョン管理下に置き、ビルド時に再生成し、生成ファイルをコミットします。そして、誰かが不一致をマージする前に型チェッカーにエラーを出させます。これにより、パイプラインの残りの部分に安定したコントラクト境界ができます。

純粋な型、フルクライアント、コード生成なしのどれを選ぶか

パターン ビルド時間 出力ファイル Bundleサイズ 最適
薄いラッパー付きの純粋な型 高速 少ない 低 制御性と小さなランタイム表面積を求めるチーム
フルクライアントのcodegen より遅い 多い 高い 迅速な引き継ぎと自動生成されたオペレーションを求めるチーム
コードジェネレーションのリクエストビルダーなし 高速 なし、または最小限 低 手書きのトランスポートロジックを好む単一コードベースのアプリ

選択肢は「どのツールが勝つか」ではなく、リポジトリ、チーム、そしてAPIが受ける変更の頻度に合ったパイプラインの形を選ぶことです。2025年のベンチマークでは、約 75,000行、2 MB、約1,200の操作を含む大規模なOpenAPI仕様, openapi-typescript 生成出力に約 1.5秒 平均で、約 8.0秒 を @hey-api/openapi-ts, 5.5秒 を Orvalや 18.1秒 を Kubb、かつ単一の出力ファイルを生成 16 を hey-api, 2,719 を Orvalや 3,877 を Kubb (ベンチマークの詳細).

Pure typesは制御性を重視する

純粋な型定義のセットアップは、手書きのリクエストレイヤーと相性が良いです。ランタイムを最小限に保ち、API のインターフェースをシンプルに保てるためです。バンドラーに敏感なフロントエンドや、仕様と利用側の両方を1つのチームが管理するアプリでは特に重要です。開発者体験は構文シュガーだけではないことを思い出させるなら、 開発者体験の観点 は、クライアントの code が短く、明瞭で、レビューしやすい場合に判断しやすくなります。

フルクライアントはハンドオフの速さを優先

openapi-generator, hey-api, Orvalや Kubb すべては型以上のことを試みようとします。リクエストメソッド、モデル、配管をまとめて生成したい場合、特にバックエンドとフロントエンドチーム間の大きな引き継ぎでは役立つことがあります。ただし、上記のベンチマークにもあるように、コストは明白です。生成ファイルが増え、ランタイムの範囲が広がり、仕様が成長するにつれてビルドの摩擦が増える余地が生まれます。

コード生成なしはローカルリファクタリングに向く

型付きリクエストビルダーと fetch ラッパーは、1つのコードベースが形状の両端を所有し、API の変更が緊密に調整されている場合に有効です。ただし、保守規律が求められます。プロデューサーとコンシューマーの間にチームやリポジトリが介在するほど、契約テストを厳格に強制しない限り、手書きのリクエストレイヤーが乖離する可能性が高まります。

核心的な意思決定ポイントはイデオロギー的なものではありません。バンドル予算が厳しい場合は、純粋な型が魅力的です。最大限のスキャフォールディングを望み、出力を吸収できるチームであれば、フルクライアントがセットアップ時間を短縮します。最小限の部品で契約を近くに保てる場合は、コード生成なしのリクエストビルダーが適切な内部トレードオフになり得ます。

FetchやAxiosを薄い型付きクライアントでラップする

Webリクエスト用に生成された TypeScript の API 定義を用いた、型付きクライアントラッパーのプロセスを示す図。

薄いラッパーは、ジェネレーターが終わり、アプリケーションの code が始まる場所です。ラッパーは操作ごとに1つの関数を公開し、型付きのパラメータとクエリオブジェクトを受け取り、 fetch または注入された axios インスタンスへ呼び出しを転送するだけで、賢く振る舞おうとしません。ほとんどの本番環境設定では、そのレイヤーは約 30〜60行 で済みます。生成された型が形状の大部分を保持しているためです。

これが機能するメンタルモデルです:

  • パスパラメータは型付きのまま これで、 /users/{id} なしでは呼び出せない id.
  • クエリオブジェクトは型付きのまま オプションのフィルタが文字列の羅列にならないようにします。
  • レスポンスボディは型付きのまま そのため、code のパースは期待する狭い型を信頼できます。

そのようなラッパーは意図的に地味なものにすべきです。リトライ、変換、認証ポリシーなどが他のレイヤーに属する場合は、それらを発明してはいけません。型付きの操作からリクエストをトランスポート層へ渡し、型付きの結果を返すだけです。

ラッパーは地味で依存関係が少ないものに保ちましょう。そうしないと、将来のコード生成の変更がアプリ全体に波及します。

よくある失敗は、不一致を as any で隠すことです。生成された型が旧ラッパーのシグネチャと一致しない場合、これによりビルドは緑になりますが、アプリは脆くなります。また、ジェネレーターで明らかにしたかった契約の破綻も隠れてしまいます。

Axios を好むチームでもパターンは同じで、トランスポート実装が変わるだけです。ブラウザサイドの code をシンプルにしたいチームには、 fetch で十分です。重要なのは、リクエスト関数が生成されたパス型を受け取り、後から調整する緩い形状のオブジェクトではなく、型付きのレスポンスを返すことです。

この境界をうまく活用すれば、 openapi typescript 明確な役割分担が生まれます。スキーマはspecに、トランスポートはラッパーに。アプリは場当たり的なリクエストcodeではなく、型付きの操作を扱えます。

zod、ajv、io-tsでランタイムバリデーションを追加する

TypeScriptの型はランタイムでは消え、ネットワークはエディタの型チェックを気にしません。だからこそ安全なパターンは「型を生成して祈る」ではなく、「型を生成し、信頼できないデータがアプリに入る境界で検証する」ことです。生成されたスキーマがsource of truthのままで、次のような検証ライブラリが zod, ajvや io-ts コンパイル時の型ではできない境界チェックを処理します。

データが入ってくる箇所でバリデーションする

Reactアプリでは、境界は通常、リクエストが解決した直後で、ペイロードがstateに入る前です。サーバーでは、ペイロードがデータベースに書き込まれる前、またはビジネスルールに渡される前です。ルールはシンプルで、検証を境界に近づけ、手動チェックを機能codeに散らばせないことです。

ある zod shapeは生成されたレスポンスのshapeを、それを置き換えずに反映できます:

import { z } from "zod";

const WeatherForecastSchema = z.object({
  date: z.string(),
  temperatureC: z.number(),
  summary: z.string().nullable(),
  temperatureF: z.number().optional(),
});

この例では、スキーマがoptionalとマークしたフィールドを検証し、ランタイムチェックをジェネレーターの出力と整合させます。 ajv は、サーバー上で高スループットの JSON Schema 検証を行いたい場合に優れた選択肢ですが、 io-ts すでに fp-ts スタイルの構成に慣れているチームにも適しています。

最も大きな誤りは、検証を遅く行ってしまうことです。ペイロードがまずアプリに入ると、型システムはすでにバイパスされており、バグが隠れる場所ができてしまいます。 JavaScript のユニットテスト に関する短いガイドは、この考え方と相性が良いです。ユニットテストも境界での検証も、誤った前提を早期に検出できる場合に最も効果を発揮します。

クリーンなレイヤリングは予測可能で安定しています。 OpenAPI TypeScript がコントラクトを生成し、バリデータがランタイムのペイロードをチェックし、アプリの code は両方のステップを通過したデータのみを参照します。これは、信頼できないレスポンスを静的な型だけで管理しようとするよりもはるかに良い境界線です。

生成、バリデーション、契約テストをCIに組み込む

https://github.com のスクリーンショット

持続可能なパイプラインは、コントラクトを提案ではなくゲートに変えます。型を再生成し、ドリフトで失敗させ、 tsc --noEmit、マージ前にモックまたはコントラクトツールで API の形を検証してください。ジェネレータのバージョンを固定すれば package.json、2人のエンジニアが同じ仕様から誤って異なる出力を生成してしまうことはありません。

シンプルな GitHub Actionsの構成

実践的なワークフローは次のようになります:

  1. リポジトリまたは生成されたソースからspecを取得します。
  2. 型を再生成します。
  3. 次の場合にジョブを失敗させます: git diff に変更が検出された場合。
  4. 実行 tsc --noEmit.
  5. Prismなどのモックサーバーに対するコントラクトテスト、またはSpectralベースのチェックを実行します。

コントラクトテストとスナップショットテストの主な違いはスコープです。スナップショットはファイルが変わったことを教えてくれるだけですが、コントラクトテストはその構造が今もspec通りに振る舞うかどうかを教えてくれます。

バックエンドとフロントエンドの開発が時期やチームの境界で分かれている場合、モックサーバーは特に有用です。ハードコードされたフィクスチャではなく実際のコントラクトを検証しつつ、コンシューマー code に予測可能な API サーフェスを提供します。この CI設定ガイド は、クリーンで再現可能なCIベースラインを必要としているチームにとって有用なリファレンスになります。

ジェネレーターのバージョンを固定すれば、codegenパイプラインで最も厄介な失敗の一つである「目に見えない出力のズレ」を避けられます。一人の開発者だけがローカルでジェネレーターをアップグレードすると、生成ファイルはシグナルではなくランダムなノイズの発生源になりかねません。CIはそれを起こせないようにすべきです。

その結果、スキーマ変更、型生成、コンパイラチェック、コントラクトテストが互いを強化し合うパイプラインになります。これがワークフローに誠実さをもたらします。

メンテしやすいパイプライン、パフォーマンス、最終チェックリスト

ソフトウェア開発プロジェクト向けに、OpenAPI TypeScriptパイプラインを維持する4つの主要ステップを示すチェックリスト。

生き残るパイプラインには、地味で堅実なガバナンスがあります。スペックにバージョンを付け、code のようなスキーマ変更をレビューし、ジェネレーターのバージョンを固定し、破壊的変更の承認方法をドキュメント化してください。プロセスが曖昧だと、開発者はそれを回避しようとし、生成された型は強制力のない単なる飾りになってしまいます。

実際に効くパフォーマンスのレバーはいくつかある

インクリメンタル生成は、スペックが頻繁に変わる一方で、それを利用するパッケージが1つだけのモノレポで役立ちます。 tsc --incremental コンパイラの重複作業を削減でき、本番ビルドで不要な出力フラグを無効にすれば、生成されるコードの範囲を小さく保てます。実運用では、最大の効果は技術ではなくチームの習慣にあります。予測可能なパイプラインの方が、巧妙なものより頻繁に実行されるからです。

手元に置いておきたいチェックリストはこちらです:

  • バージョンの固定: 次の openapi-typescript のバージョンを package.json で固定し、マシン間で出力がずれないようにします。
  • スキーマレビュー: 仕様の変更は、単なる雑務ではなくレビュー対象の契約変更として扱います。
  • ドリフト検知: CIで再生成し、差分があれば失敗させます。
  • エッジでのバリデーション: 信頼できないペイロードは、アプリの状態や永続化層に到達する前にパースします。
  • コントラクトテスト: モックを用いたチェックを実行し、コンシューマーの code がスキーマと一致し続けていることを証明します。
  • 破壊的変更のポリシー: スキーマ変更の承認者と、クライアントへの通知方法を明文化します。

これらのゲートを含むパイプラインは、単に型を生成するだけでなく、コントラクトを可視化します。この可視性こそが、見た目だけ安全なファイルにチームが依存してしまうのを防ぐ鍵となります。

もし Capacitor や Electron アプリをリリースしていて、アップデートパイプラインにも同じ規律を持たせたいなら、Capgo を使えば、App Store の審査を待たずに JavaScript、CSS、文言、設定、アセットの修正を素早く反映できます。詳しくはこちら Capgo 署名済みbundle、ロールバック保護、リリース制御が、スピードを求めつつコントロールを失わないリリースプロセスにどう組み込めるかを確認します。

Capacitor アプリ向けの Live Updates

Web レイヤーのバグが本番で発生したら、App Store の審査を何日も待たずに Capgo で修正を配信しましょう。ネイティブの変更は通常の審査フローに残したまま、ユーザーはバックグラウンドでアップデートを受け取れます。

最新のブログ記事

Capgoは、真にプロフェッショナルなモバイルアプリを作るために必要な最高のインサイトを提供します。