Go Academy · 강의

제약 조건: comparable과 인터페이스

합집합 제약 조건과 comparable 기본 제공 요소

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

제약 조건이란 무엇입니까

제약 조건은 타입 인수로 사용할 수 있는 타입을 제한합니다. 제약 조건이 없으면 타입 매개변수는 any입니다. 이는 빈 인터페이스이며 ==를 통한 할당과 비교만 지원합니다.

any 제약 조건

any(interface{})의 별칭은 가장 넓은 제약 조건으로, 모든 타입이 이를 만족합니다. 모든 타입이 지원하는 연산, 즉 할당과 인터페이스 인수로 전달하는 연산만 사용할 수 있습니다.

func Print[T any](v T) { fmt.Println(v) }

comparable 제약 조건

comparable은 타입 매개변수를 ==와 !=을 지원하는 타입으로 제한합니다. 해당 타입을 맵 키로 사용하거나 동등성 검사를 수행하려면 필요합니다.

func Contains[T comparable](s []T, v T) bool {
    for _, item := range s {
        if item == v { return true }
    }
    return false
}

인터페이스 제약 조건

특정 메서드를 요구하려면 인터페이스를 제약 조건으로 사용합니다. 타입 매개변수는 인터페이스의 모든 메서드를 가지고 있어야 합니다.

type Stringer interface { String() string }

func Print[T Stringer](v T) {
    fmt.Println(v.String())
}

합집합 제약 조건

|를 사용한 타입의 합집합으로 구체적인 타입 집합으로 제한합니다. 이를 통해 어떤 인터페이스에도 속하지 않는 연산자(예: +)를 사용할 수 있습니다.

type Number interface {
    int | int64 | float64
}

func Sum[T Number](s []T) T {
    var total T
    for _, v := range s { total += v }
    return total
}

기반 타입에 사용하는 ~T

~T를 사용하면 T뿐만 아니라 T를 기반 타입으로 하는 모든 타입도 포함할 수 있습니다(예: type MyInt int로 정의한 사용자 지정 타입).

type Integer interface { ~int | ~int64 }

type MyInt int
// MyInt satisfies Integer because its underlying type is int

golang.org/x/exp/constraints

constraints 패키지는 공통 제약 조건 인터페이스를 제공합니다. Ordered(< 지원), Integer, Float, Signed, Unsigned가 여기에 해당합니다.

import "golang.org/x/exp/constraints"

func Min[T constraints.Ordered](a, b T) T {
    if a < b { return a }
    return b
}

cmp 패키지 (Go 1.21)

Go 1.21에서는 표준 라이브러리에 cmp.Ordered 제약 조건과 cmp.Compare/cmp.Less 함수를 추가하여 exp/constraints 의존성을 대체했습니다.

import "cmp"
func Min[T cmp.Ordered](a, b T) T { return min(a, b) }

제약 조건 결합

제약 조건에 여러 인터페이스를 포함하면 여러 속성을 요구할 수 있습니다:

type Printable interface {
    comparable
    fmt.Stringer
}

제약 조건 추론

컴파일러는 인수에서 타입 매개변수를 추론합니다. 제약 조건이 너무 광범위한 경우(any), 추론을 유도하기 위해 타입 인수를 명시해야 할 수 있습니다.

comparable을 사용하는 경우

제네릭 함수에서 값에 ==를 사용하거나, 값을 맵의 키로 저장하거나, 맵/집합의 요소로 사용해야 한다면 comparable을 사용합니다. 모든 타입이 비교 가능한 것은 아닙니다(슬라이스, 맵, 함수는 비교할 수 없습니다).

빠른 확인

~int와 같은 유니온 제약 조건에서 ~ 접두사는 무엇을 의미하나요?

복습: 제약 조건

핵심 내용:

any: 가장 넓은 범위; comparable: == 지원; interface: 메서드 필요
유니온(int|float64)을 사용하면 산술 연산자를 사용할 수 있습니다
~T는 T를 기반 타입으로 하는 명명된 타입을 포함합니다
<, >, <=, >= 제약 조건에는 cmp.Ordered(Go 1.21 이상)를 사용합니다

자주 묻는 질문

“제약 조건: comparable과 인터페이스” 강의는 무료인가요?

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

“제약 조건: comparable과 인터페이스”에서 뭘 배우나요?

합집합 제약 조건과 comparable 기본 제공 요소 브라우저에서 직접 실행하는 실습 코드로 Go Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

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

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

“제약 조건: comparable과 인터페이스” 강의는 얼마나 걸리나요?

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

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

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

이 강의의 모든 강의

← Go Academy(으)로 돌아가기