静的コード読み取りが見落とすバグを見つけ:状態相互作用の副作用、順序を付けられた呼び出し間の競合状態、および互いに静かに取り消すハンドラー。
従来のデバッグチェック:
しかし、それはチェックしません:
実例:「新しいメール」ボタンがsetComposeMode(true)を呼び出してからselectThread(null)。両方は個別に機能しました。しかし、selectThreadにはcomposeMode: falseをリセットする副作用がありました。ボタンは何もしなかった。54のバグは体系的なデバッグによって見つかりました — これは見落とされました。
対象領域のすべてのインタラクティブなタッチポイントについて:
1. ハンドラーを特定(onClick、onSubmit、onChangeなど)
2. ハンドラーのすべての関数呼び出しを**順序で**追跡
3. 各関数呼び出し**について**:
a. どの状態を読んでいますか?
b. どの状態を書き込んでいますか?
c. 共有状態に副作用がありますか?
d. 副作用として状態をリセット/クリアしますか?
4. チェック:後の呼び出しが以前の呼び出しからの状態変更を取り消しますか?
5. チェック:最終状態はユーザーがボタンラベルから期待するもの?
6. チェック:競合状態がありますか(非同期呼び出しが間違った順序で解決される)?
任意のタッチポイントを監査する前に、すべての状態ストアアクションの副作用マップを構築:
範囲内の各Zustand ストア / React コンテキストについて:
各アクション/セッター:
- どのフィールドをセットしますか?
- 副作用として他のフィールドをリセットしますか?
- ドキュメント:actionName → {sets: [...], resets: [...]}
これは重要な参照です。「新しいメール」バグはselectThreadがcomposeModeをリセットしていることを知らないと見えなくなりました。
出力形式:
STORE: emailStore
setComposeMode(bool) → sets: {composeMode}
selectThread(thread|null) → sets: {selectedThread, selectedThreadId, messages, drafts, selectedDraft, summary} RESETS: {composeMode: false, composeData: null, redraftOpen: false}
setDraftGenerating(bool) → sets: {draftGenerating}
...
DANGEROUS RESETS(所有していない状態をクリアするアクション):
selectThread → composeMode をリセット(setComposeModeで所有)
reset → すべてをリセット
対象領域の各ボタン/トグル/フォーム送信について:
TOUCHPOINT: [ボタンラベル] in [Component:line]
ハンドラー:[関数呼び出しの完全なシーケンス]
最終状態:[これが達成されるべきもの]
詳細については、ドキュメントを参照してください。