Golang Generics
1편 — 개요와 기본 문법

• 정의할 때가 아니라 쓸 때 타입이 정해진다
• Java · C++ · Rust에는 이미 있던 기능
• Go는 1.18(2022년 3월)에 정식 도입
• 도입 명분은 단 하나 — 코드 중복 제거

// T는 아직 정해지지 않은 타입
func printAny[T any](a T) {
    fmt.Println(a)
}

// 호출하는 순간 결정된다
printAny(10)      // T = int
printAny("hello") // T = string

• interface{}에서 구체 타입을 꺼내는 연산
• 형태는 value.(Type)
• 타입이 안 맞으면 런타임 panic
• 두 번째 반환값 ok로 안전하게 받을 수 있다

var val interface{} = "hello"

s := val.(string) // OK
i := val.(int)    // panic!

// 안전한 형태
s, ok := val.(string) // true
i, ok := val.(int)    // false, 0

• any는 모든 타입을 허용하는 constraint
• 출력·전달처럼 타입을 안 따지는 일에 알맞다
• 대신 < + 같은 연산은 쓸 수 없다
• 연산이 필요하면 허용 타입을 좁혀야 한다

// any = 모든 타입 허용
func printAny[T any](a T) {
    fmt.Println(a)
}

func main() {
    printAny(10)      // T = int
    printAny(3.14)    // T = float64
    printAny("hello") // T = string
}

• 매번 인라인으로 나열하는 건 비효율
• interface 키워드로 이름 붙인 constraint를 만든다
• constraint끼리 합성도 된다
• 메서드 집합이 아니라 타입 집합을 정의하는 용법

type IntegerType interface {
    int | int16 | int32 | int64
}

type Float interface {
    float32 | float64
}

// 합성도 가능하다
type ComparableNumbers interface {
    IntegerType | Float
}

• 컴파일러가 인자에서 타입 파라미터를 추론한다
• 명시 방식과 추론 방식은 결과가 완전히 같다
• 추론이 가능하면 추론 쪽이 권장된다
• 읽는 사람에게 타입이 안 보일 때만 명시한다

func identity[T any](v T) T { return v }

// 명시적 타입 지정
r1 := identity[int](42)
r2 := identity[string]("hello")

// 타입 추론 — 인자로부터 자동
r3 := identity(42)      // T = int
r4 := identity("hello") // T = string

• 타입 파라미터마다 대응하는 인자에서 결정된다
• 서로 다른 타입이 섞여도 문제없다
• 하나만 추론되고 하나는 안 되는 경우는 전부 명시해야 한다

func pair[T, U any](a T, b U) string {
    return fmt.Sprintf("(%v, %v)", a, b)
}

// 모두 추론 가능
pair(1, "hello") // T=int, U=string
pair(3.14, true)  // T=float64, U=bool