Go는 오류를 값으로 어떻게 처리하나요?

Question

Accepted Answer

Go에는 일반적인 오류에 대한 **예외(exception)가 없습니다**. 대신 오류는 함수에서 반환되는 **값**(보통 마지막 반환값)이며, 호출자가 **명시적으로 확인**합니다. 이는 오류 처리를 가시적이고 의도적이며 조용히 무시할 수 없게 만듭니다 — Go를 정의하는 철학입니다.

## error 타입과 핵심 패턴

```go
// `error`는 내장 interface: Error() string 메서드를 가진 모든 것
type error interface {
    Error() string
}

// 함수는 (결과, 오류)를 반환 — 성공 시 오류는 nil
func divide(a, b float64) (float64, error) {
    if b == 0 {
        return 0, errors.New("division by zero")   // 오류 생성
    }
    return a / b, nil    // nil = 오류 없음
}

// 어디에나 있는 호출 패턴
result, err := divide(10, 0)
if err != nil {              // 오류를 명시적으로 확인
    fmt.Println("error:", err)
    return
}
fmt.Println(result)
```

`if err != nil { ... }` 확인은 Go에서 끊임없이 나타납니다 — 실패할 수 있는 모든 연산 뒤에 명시적 오류 확인이 따릅니다. 이 장황함은 의도적입니다: 오류는 항상 가시적이고 호출 지점에서 처리됩니다.

## 오류 생성

```go
errors.New("something failed")                       // 간단한 오류
fmt.Errorf("failed to process %s: %w", name, err)    // 형식화, 래핑 포함(%w)
```

## 오류 래핑과 검사

```go
// %w는 하위 오류를 래핑하여 체인을 보존
if err != nil {
    return fmt.Errorf("reading config: %w", err)   // 맥락 추가, 원본 유지
}

// errors.Is / errors.As로 언래핑하고 검사
if errors.Is(err, os.ErrNotExist) { ... }          // 특정 오류 확인
var pathErr *os.PathError
if errors.As(err, &pathErr) { ... }                 // 특정 오류 타입 추출
```

래핑(`%w`)은 오류가 위로 전파될 때 맥락을 추가하고, `errors.Is`/`errors.As`는 특정 하위 오류를 확인하거나 추출하게 해줍니다 — 오류 체인을 처리하는 현대적 방법입니다.

## 사용자 정의 오류 타입

```go
type ValidationError struct {
    Field string
}
func (e *ValidationError) Error() string {           // error interface 구현
    return "invalid field: " + e.Field
}
return &ValidationError{Field: "email"}
```

## error vs panic

```text
error(값) → 예상되고 복구 가능한 상황(파일 없음, 잘못된 입력) — 일반적
panic     → 예상치 못한, 프로그래머 오류 / 복구 불가(nil 역참조, 범위 초과)
→ 일반적인 실패 처리는 error를, panic은 진짜 예외적인 경우에만 사용.
```

## 왜 중요한가

Go의 오류-값 접근은 가장 정의적이고 논쟁적인 특징 중 하나로, 예외 기반 언어와 근본적으로 다릅니다.

호출자가 반드시 명시적으로 확인해야 하는 값으로 오류를 반환함으로써(`if err != nil`), Go는 오류 처리를 **가시적이고, 지역적이며, 실수로 무시할 수 없게** 만듭니다 — 각 오류가 어디서 처리되는지 정확히 보이며, 장황함을 대가로 신뢰성을 높입니다.

이 철학, `(결과, 오류)` 패턴, `errors.Is`/`errors.As`와 함께하는 오류 래핑(`%w`)으로 맥락 추가와 체인 검사, 사용자 정의 오류 타입, 그리고 error(일반적, 복구 가능)와 panic(예외적, 프로그래머 오류)의 구별을 이해하는 것은 절대적으로 필수적입니다 — 모든 Go 프로그램에 스며들어 있고 예외 기반 언어에서 온 개발자에게 핵심적인 사고 전환을 나타냅니다.

또한 가장 흔한 Go 면접 주제 중 하나입니다.