ライフタイムガード

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

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

strict: true では、ルートコンテナから scoped キーを解決すると Scoped "key" cannot be resolved from the root container. Use createScope(). がスローされます。scoped サービスは createScope() が返した子コンテナから解決してください。

ライフタイムのルール

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

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

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

strict モード

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

• ルートコンテナからの scoped キーの直接解決
• キャストによって持ち込まれた singleton から scoped、または singleton から transient への違反
• キャプチャされた外側のコンテナによるファクトリーのリーク
• 同期的なシングルトンの循環
• 同期的なトランジェントの循環
• 静的チェックを回避する動的キーの誤用

const root = new Container({ strict: true })

fast モード

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

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

fast モードは、解決パスからランタイムの循環およびライフタイムの記録処理を取り除きます。scope は不変のルートレジストリを直接参照して親チェーンの走査を避け、委譲された singleton を scope のキャッシュへ反映します。strict scope はローカルミスのたびに正確な親チェーンを走査するため、保持されたルックアップメタデータなしで変更が反映されます。owned インスタンスの同一性による重複排除は両モードとも disposal 時に実行されます。型レベルの契約は変更しませんが、不正なキャスト、キャプチャされた外側のコンテナ、循環に対しては防御できません。ルートの scoped ガードも省略されるため、アプリケーションコードはルートから scoped キーを解決しないでください。

推奨されるワークフロー: strict モードで開発・テストを行い、単一の線形 fluent チェーンで各ランタイムキーを一度だけ登録し、最初の解決または scope 作成前に登録を完了します。その後、監査済みで不変のプロダクショングラフだけを切り替え、祖先より先に子 scope を破棄してください。