Go Academy · 강의

실전 제네릭: 주의점

Q: “실전 제네릭: 주의점” 강의는 무료인가요?

네 — “실전 제네릭: 주의점” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Go Academy 강의 전체를 잠금 해제할 수 있습니다. Go Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

Q: “실전 제네릭: 주의점”에서 뭘 배우나요?

제네릭을 사용할 때와 흔히 하는 실수 브라우저에서 직접 실행하는 실습 코드로 Go Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

Q: Go Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 Go Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.

Q: “실전 제네릭: 주의점” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

Q: 이 Go Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 Go Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

제네릭을 사용할 때와 흔히 하는 실수

실전 제네릭: 주의점은(는) CoddyKit의 무료 Go Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Go Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Go Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

과도한 제네릭화

모든 함수가 제네릭일 필요는 없습니다. 실제로 사용하는 구체적인 타입이 하나뿐이라면 제네릭은 이점 없이 복잡성만 더합니다. 구체적인 타입을 우선 사용하고, 중복이 나타날 때 제네릭으로 리팩터링합니다.

제네릭 내부의 타입 단언

제네릭 함수 내부에서는 타입 매개변수 자체에 대해 타입 단언이나 타입 스위치를 사용할 수 없습니다. 제네릭은 템플릿이 아니기 때문입니다. 대신 인터페이스나 reflect 패키지를 사용합니다.

// WRONG:
func Foo[T any](v T) {
    if x, ok := v.(int); ok { // compile error
    }
}

comparable은 순서 비교를 의미하지 않습니다

comparable은 ==만 지원합니다. <, >를 사용하려면 cmp.Ordered나 사용자 지정 제약 조건이 필요합니다. comparable이 순서 비교까지 지원한다고 생각하는 것은 흔한 실수입니다.

메서드에는 타입 매개변수를 추가할 수 없습니다

제네릭 타입의 메서드는 해당 타입의 매개변수를 재사용하지만 새로운 매개변수를 추가할 수는 없습니다. 메서드에 추가 타입 매개변수가 필요하다면 최상위 함수를 대신 사용합니다.

// WRONG:
func (s *Stack[T]) MapTo[U any]() []U // compile error

nil과 0 값

포인터 타입 매개변수에서는 0 값이 nil입니다. 값 타입에서는 해당 타입의 0 값입니다. 값이 항상 nil이 아니라고 가정하지 말고 0 값인 경우를 항상 처리해야 합니다.

인터페이스 메서드 집합과 제네릭

인터페이스로 제한된 제네릭 함수는 해당 인터페이스에 선언된 메서드만 호출할 수 있습니다. 구체적인 타입에 메서드를 추가해도 제약 조건을 통해 해당 메서드를 사용할 수 있게 되지는 않습니다.

인스턴스화로 인한 코드 증가(GC 셰이프)

Go는 GC 셰이프가 같은 타입의 구현을 공유합니다(예: 모든 포인터 타입이 하나의 구현을 공유함). 기본 타입은 각각 고유한 구현을 사용하지만, Go의 방식은 바이너리 크기를 적절한 수준으로 유지합니다.

any는 interface{}가 아닙니다

any는 interface{}의 별칭이지만, 제네릭 함수 F[T any]는 F(v interface{})와 같지 않습니다. 제네릭 함수에서는 호출 시점에 T가 구체적인 타입이 되므로 타입 정보가 유지됩니다.

재귀적 제네릭 타입

Go는 type Tree[T Tree[T]]과 같은 재귀적 타입 매개변수 정의를 지원하지 않습니다. 대신 조합을 사용합니다:

type TreeNode[T any] struct {
    Val   T
    Left  *TreeNode[T]
    Right *TreeNode[T]
}

사전 인스턴스화 도우미

성능이 중요한 코드에서는 자주 사용하는 제네릭 함수를 최상위 함수로 미리 인스턴스화하여 타입 추론이 반복되는 비용을 피할 수 있습니다(다만 Go 컴파일러가 이를 잘 처리합니다).

제네릭 코드 테스트

여러 인스턴스화로 제네릭 함수를 테스트합니다. 서로 다른 제약 조건(int, string, 사용자 지정 타입)마다 하나씩 사용합니다. 이렇게 하면 제약 조건별 경계 사례를 확인할 수 있습니다.

func TestMap(t *testing.T) {
    got := Map([]int{1,2}, double)
    // test with strings too
    gotS := Map([]string{"a","b"}, strings.ToUpper)
}

빠른 확인

제네릭 함수 내부에서 제네릭 타입 매개변수 T에 대해 타입 스위치를 사용할 수 없는 이유는 무엇인가요?

복습: 제네릭의 함정

핵심 내용:

제네릭을 과도하게 사용하지 마세요. 한 번만 사용되는 경우 구체적인 타입이 더 단순합니다
제네릭 함수 내부에서는 T에 대한 타입 스위치/타입 단언을 사용할 수 없습니다
comparable은 순서 비교가 아닙니다. < 지원에는 cmp.Ordered를 사용합니다
메서드에는 새로운 타입 매개변수를 추가할 수 없습니다

자주 묻는 질문