GOTO는 정말 끝내준다(C 오류 처리에서)

요약

본 글은 C 언어의 오류 처리 메커니즘인 goto와 defer를 구조적 프로그래밍 관점에서 비교 분석합니다. 저자는 단순한 구문적 우열보다는 제어 흐름 그래프의 구조가 중요하며, 다단계 탈출(multi-level exit)을 통해 구조성을 확보할 수 있다고 주장합니다. 궁극적으로는 함수 밖 이동 등을 제한하는 엄격하게 통제된 goto가 최적의 대안이라고 제시합니다.

핵심 포인트

• Go와 Zig/C의 defer 동작 방식 차이점을 비교 분석함.
• 오류 처리에 goto를 사용해도 구조적 프로그래밍이 가능함을 논증함.
• 실제 문제는 구문 중첩과 들여쓰기 깊이에 있으며, 이는 언어 설계로 개선 가능함.
• 가장 이상적인 오류 처리 메커니즘은 제한된 이동 규칙을 가진 goto임.