[Go 공식문서 한국어 정리] ③ Go의 예외 처리: defer, panic, recover

[Go 공식문서 한국어 정리] ③ Go의 예외 처리: defer, panic, recover

원문 제목: Defer, Panic, and Recover
작성자: Andrew Gerrand

Go는 if, for, switch, goto 같은 일반적인 제어 흐름 문법을 제공합니다.
여기서는 흔하지는 않지만 매우 강력한 세 가지 메커니즘인 defer, panic, recover에 대해 다룹니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 1. defer 문 — "나중에 실행"을 약속하는 문법
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

defer는 함수 호출을 목록에 저장해 두고, 현재 함수가 리털될 때 실행시킵니다.
주로 파일 닫기, 뮤텍스 해제, 로그 푸터 출력 같은 정리(clean-up) 작업에 씁니다.

예를 들어 두 파일을 열어 내용을 복사하는 함수를 보겠습니다.
원래 코드는 중간에 에러가 나면 열어둔 파일을 닫지 못하는 버그가 있습니다.

defer를 도입하면 파일을 열자마자 닫기를 예약할 수 있어,
함수 내 return 문이 몇 개든 상관없이 파일은 반드시 닫힙니다.

func CopyFile(dstName, srcName string) (written int64, err error) {
src, err := os.Open(srcName)
if err != nil {
return
}
defer src.Close() // ← 여기서 닫기 예약

dst, err := os.Create(dstName)
if err != nil {
return
}
defer dst.Close() // ← 여기서도 닫기 예약

return io.Copy(dst, src)
}

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 2. defer의 세 가지 간단한 규칙
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

① defer 호출의 인자는 defer 문이 평가될 때 즉시 계산됩니다.
예: defer fmt.Println(i) 에서 i는 defer 시점의 값이 고정됩니다.

② deferred 호출은 Last In First Out(LIFO) 순서로 실행됩니다.
가장 마지막에 예약한 함수가 가장 먼저 실행됩니다.
예: for문 안에서 0,1,2,3을 defer하면 출력은 3,2,1,0 입니다.

③ deferred 함수는 현재 함수의 named return 값을 읽고 수정할 수 있습니다.
예: return 1 을 했는데 deferred func에서 i++ 하면 최종 반환값은 2가 됩니다.
이 특성은 에러 반환값을 마지막에 수정할 때 유용합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 3. panic — 보통의 흐름을 멈추는 비상 신호
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

panic은 내장 함수로, 정상적인 제어 흐름을 멈추고 패닉 상태를 시작합니다.
함수 F가 panic을 호출하면 F의 실행이 즉시 중단됩니다.
단, F 안의 deferred 함수들은 정상적으로 실행된 뒤,
F는 호출자에게 panic 상태를 전파합니다.

이 과정은 콜 스택을 따라 계속 올라가고,
현재 고루틴의 모든 함수가 리털될 때까지 계속됩니다.
그래도 recover가 없으면 프로그램은 크래시(종료)합니다.

panic은 직접 호출할 수도 있고,
배열 범위 초과 접근 같은 런타임 에러에 의해 자동 발생할 수도 있습니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 4. recover — 패닉 상태에서 되살아나는 구조
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

recover는 내장 함수로, 패닉 중인 고루틴의 제어권을 되찾습니다.
중요한 점: recover는 반드시 deferred 함수 안에서만 의미가 있습니다.

정상 실행 중에 recover를 호출하면 nil을 반환하고 아무 일도 일어나지 않습니다.
하지만 현재 고루틴이 패닉 중이라면,
recover는 panic에 전달된 값을 캡처하고 정상 실행을 재개합니다.

예시 프로그램의 흐름을 볼까요.
함수 g는 i가 3보다 크면 panic을 발생시키고,
그렇지 않으면 i+1로 자기 자신을 재귀 호출합니다.

함수 f는 deferred 함수 안에서 recover를 호출합니다.
g(0) → g(1) → g(2) → g(3) → g(4)에서 panic이 터지면,
스택을 따라 남겨진 defer들이 역순으로 실행되고,
마지막으로 f의 recover가 panic 값 4를 잡아내 프로그램을 정상 종료시킵니다.

출력 결과는 다음과 같습니다.
Calling g.
Printing in g 0
Printing in g 1
Printing in g 2
Printing in g 3
Panicking!
Defer in g 3
Defer in g 2
Defer in g 1
Defer in g 0
Recovered in f 4
Returned normally from f.

만약 f에서 deferred recover를 제거하면 panic은 최상위까지 전파되어
프로그램이 강제 종료됩니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 5. 실전에서의 활용 사례
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

Go 표준 라이브러리의 json 패키지가 대표적인 예입니다.
json 인코딩은 재귀 함수로 값을 순회하는데,
중간에 에러가 발생하면 panic으로 스택을 언와인딩하고,
최상위 함수에서 recover로 잡아 적절한 error 값을 반환합니다.

또한 defer는 뮤텍스 해제(mu.Unlock), 푸터 출력(printFooter) 등
다양한 정리 작업에 활용됩니다.

Go 라이브러리의 관례는 날것의 panic을 남발하지 않고,
패키지 낮부에서는 panic을 쓰더라도 외부 API에는 명시적인 error 반환값을 제공하는 것입니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📎 출처 링크
https://go.dev/blog/defer-panic-and-recover

#Go #Golang #defer #panic #recover #예외처리 #공식문서