Result로 전환할지 판단하는 일이 하나의 흐름이다.
unwind와 abort 중 의도한 방식을
확인한다.
| 상황 | 해석 | 권장 처리 |
|---|---|---|
| 내 코드 인덱스 오류 | 자료구조 길이에 대한 전제가 틀어졌다. | 범위 검사, 안전한 조회, 테스트 케이스를 추가한다. |
| 외부 입력 오류 | 사용자가 고칠 수 있는 실패일 가능성이 있다. |
Result와 오류 메시지로 돌려준다.
|
| 불변식 파괴 | 프로그램 내부 계약이 깨진 버그다. | 패닉 위치보다 앞선 상태 변경을 조사한다. |