Skip to content

ライフタイムガード

InferDI には 3 つのライフタイムがあります:

種類生成タイミングキャッシュ先コンテナによる破棄
singleton所有コンテナごとに 1 回所有コンテナあり
scopedスコープごとに 1 回スコープあり
transient解決のたびにキャッシュしないなし

ライフタイムのルール

シングルトンは scoped または transient なサービスに直接依存することはできません。シングルトンは 1 回だけ生成され、すべてのリクエストで共有されます。そのため、スコープドな値 — 現在のリクエストのコンテキスト、ユーザー、トランザクション — をキャプチャしてしまうと、その 1 つのリクエストの状態が他のすべてのリクエストへ静かに漏れ出します。InferDI は、このようなケースをコードレビューに委ねるのではなく、型システム上で表現不可能にします。

ts
new Container()
  .registerClass('request', RequestContext, [], 'scoped')
  .registerClass('users', UserService, ['request'], 'singleton')

この登録は TypeScript によって拒否されます。strict モードでは、キャストが型システムを回避した場合でも、同じ形がランタイムで拒否されます。

strict モード

strict: true がデフォルトです。次のものを捕捉します:

  • キャストによって持ち込まれた singleton から scoped、または singleton から transient への違反
  • キャプチャされた外側のコンテナによるファクトリーのリーク
  • 同期的なシングルトンの循環
  • 同期的なトランジェントの循環
  • 静的チェックを回避する動的キーの誤用
ts
const root = new Container({ strict: true })

fast モード

strict: false は、テストによってグラフの形が証明された後にのみ使用してください:

ts
const root = new Container({ strict: false })

fast モードは、解決パスからランタイムの循環およびライフタイムの記録処理を取り除きます。型レベルの契約は変更しませんが、不正なキャスト、キャプチャされた外側のコンテナ、循環に対しては防御できません。

推奨されるワークフロー: strict モードで開発・テストを行い、監査の後にパフォーマンスが重要なプロダクションのグラフだけを切り替えます。