Go에서 제네릭은 어떻게 동작하나요?

Question

IT Interview Practice · Accepted Answer

**제네릭(generics)**(Go 1.18에 추가)은 타입 매개변수를 통해 **여러 타입**과 함께 동작하는 함수와 타입을 작성하게 해주며, 컴파일 시점 타입 안정성을 유지합니다. 타입마다 코드를 중복하거나 `interface{}`로 안정성을 잃는 옛 트레이드오프를 제거합니다.

## 제네릭이 해결하는 문제

```go
// ❌ 제네릭 이전 — 타입마다 중복하거나...
func MaxInt(a, b int) int { ... }
func MaxFloat(a, b float64) float64 { ... }   // 타입마다 복붙

// ...interface{}를 써서 타입 안정성을 잃고 캐스트/단언이 필요
func Max(a, b interface{}) interface{} { ... }   // 안전하지 않고 번거로움
```

## 제네릭 함수

```go
// T는 "순서가 있는"(< > 비교 가능) 것으로 제약된 타입 매개변수
func Max[T constraints.Ordered](a, b T) T {
    if a > b {
        return a
    }
    return b
}

Max(3, 5)         // T는 int로 추론 → 5
Max(2.5, 1.1)     // T는 float64로 추론 → 2.5
Max("a", "b")     // T는 string으로 추론 → "b"
```

`[T constraints.Ordered]`는 **제약(constraint)**(어떤 타입이 허용되는지)을 가진 타입 매개변수 `T`를 선언합니다. 컴파일러가 인자에서 `T`를 추론합니다 — 하나의 구현이 여러 타입에 동작하며, 완전히 타입 안전합니다.

## 타입 제약

```go
// 제약은 허용된 타입이나 필요한 메서드를 나열하는 interface
type Number interface {
    ~int | ~int64 | ~float64        // | 합집합은 "이들 중 아무것"을 의미
}

func Sum[T Number](nums []T) T {
    var total T
    for _, n := range nums {
        total += n                   // 안전 — T는 수치 타입으로 제약됨
    }
    return total
}
Sum([]int{1, 2, 3})       // 6
Sum([]float64{1.5, 2.5})  // 4.0

// 내장 제약:
any                        // 모든 타입(interface{}의 별칭)
comparable                 // ==로 사용 가능한 타입(map 키 등)
// golang.org/x/exp/constraints: Ordered, Integer, Float 등
```

제약은 타입 매개변수에 어떤 연산이 유효한지 정의합니다(`~`는 "기반 타입이 이것인 모든 타입"을 의미).

## 제네릭 타입

```go
// 모든 타입에 동작하는 제네릭 스택
type Stack[T any] struct {
    items []T
}
func (s *Stack[T]) Push(item T) { s.items = append(s.items, item) }
func (s *Stack[T]) Pop() T {
    item := s.items[len(s.items)-1]
    s.items = s.items[:len(s.items)-1]
    return item
}

intStack := Stack[int]{}       // int의 스택
strStack := Stack[string]{}     // string의 스택 — 같은 코드
```

## 제네릭을 쓸 때(와 쓰지 말 때)

```text
✓ 제네릭 자료구조(스택, 트리, 집합), 컬렉션에 대한 유틸리티 함수
  (Map, Filter, Reduce), 타입 안전 컨테이너
✗ 과용 금지 — interface나 구체 타입이 간단히 동작하면 그것을 선호.
  Go 철학은 여전히 단순성을 선호; 제네릭은 도구이지 기본값이 아님.
```

## 왜 중요한가

제네릭은 실제 고충을 해결한 Go의 주요하고 오래 기다려온 추가(1.18)였습니다: 이전에는 여러 타입을 위한 재사용 코드 작성이 타입마다 중복(장황, 유지보수 불가)하거나 `interface{}`를 쓰는(컴파일 시점 타입 안정성 상실, 런타임 단언 필요) 것을 강요했습니다.

제네릭은 타입 안전하고 재사용 가능한 함수와 자료구조(컨테이너, Map/Filter/Reduce 같은 컬렉션 유틸리티)를 한 번 작성하게 하며, 컴파일러가 정확성을 강제하고 타입을 추론합니다.

타입 매개변수, 제약(`any`, `comparable`, 합집합/`~` 문법 포함), 제네릭 타입을 이해하는 것은 생태계가 이를 채택하면서 점점 중요해집니다.

똑같이 중요한 것은 제네릭이 진정한 재사용을 위한 **도구이지 기본값이 아니라는** Go 사고방식입니다 — 과용은 Go의 단순성 철학에 반합니다.

현대 Go에 대한 능숙함을 반영하는, 현재 자주 논의되는 주제입니다.

제네릭이 해결하는 문제

제네릭 함수

타입 제약

제네릭 타입

제네릭을 쓸 때(와 쓰지 말 때)

왜 중요한가

관련 질문