[GO] Tucker의 GO 언어 프로그래밍 - 24장 제네릭 프로그래밍

ㅁ 들어가며

ㅇ Tucker의 GO 언어 프로그래밍 책을 보고 정리한 글입니다.

ㅇ [GO] Tucker의 GO 언어 프로그래밍 - 목차

 

ㅁ 제네릭 프로그래밍 소개

  제네릭 프로그래밍은 Go 1.18 버전에서 도입된 기능으로, 타입에 구애받지 않고 재사용 가능한 코드를 작성할 수 있게 해준다. 이를 통해 개발자는 다양한 데이터 타입에 대해 동작하는 함수와 데이터 구조를 만들 수 있으며, 코드 중복을 줄이고 타입 안정성을 높일 수 있다.

 

ㅁ 제네릭 함수

ㅇ 제네릭 함수는 타입 매개변수를 사용하여 여러 타입에 대해 동작할 수 있는 함수이다.

func Max[T comparable](a, b T) T {
    if a > b {
        return a
    }
    return b
}

ㅇ 이 함수는 comparable제약 조건을 만족하는 모든 타입 T에 대해 사용할 수 있다.

 

ㅁ 제네릭 타입

ㅇ 제네릭 타입을 사용하면 다양한 타입에 대해 동작하는 데이터 구조를 정의할 수 있다.

type Stack[T any] struct {
    elements []T
}

func (s *Stack[T]) Push(element T) {
    s.elements = append(s.elements, element)
}

func (s *Stack[T]) Pop() T {
    element := s.elements[len(s.elements)-1]
    s.elements = s.elements[:len(s.elements)-1]
    return element
}

ㅇ 이 스택 구현은 어떤 타입의 요소든 저장할 수 있다.

 

ㅁ 언제 제네릭 프로그래밍을 사용해야 하는가?

ㅇ 제네릭 프로그래밍은 공통적으로 사용되는 자료구조에 유용하다. 

1. 재사용 가능한 데이터 구조 구현 (예: 연결 리스트, 이진 트리, 힙)
2. 슬라이스, 맵, 채널 등 다양한 타입에 대해 작동하는 함수 작성
3. 타입 안정성을 유지하면서 코드 중복을 줄이고자 할 때
4. 알고리즘을 구현할 때 (예: 정렬, 검색, 필터링)

ㅇ 객체의 타입이 아닌 객체의 기능이 강조되는 곳에서는 인터페이스를 사용(p527)

 

ㅇ 성능(p525)

 - 제네릭 함수나 타입의 경우 하나의 함수나 타입처럼 보이지만 실제로는 컴파일 타임에 사용한 타입 파라미터별로 새로운 함수나 타입을 생성해서 사용하게 된다.

 - 제네릭 프로그래밍을 많이 사용하면 컴파일 시 함수와 타입 개수가 늘어 컴파일 지연이 발생되고 용량 제한이 있는 임베디드 환경에서는 문제가 될 수 있다.

 

ㅁ 제네릭을 사용해 만든 유용한 기본 패키지

Go 1.18 이후 버전에서는 제네릭을 활용한 여러 유용한 패키지가 등장했다.

1. golang.org/x/exp/slices: 슬라이스 조작을 위한 제네릭 함수들을 제공한다.(p528)
2. golang.org/x/exp/maps: 맵 조작을 위한 제네릭 함수들을 제공한다.(p532)

 

ㅁ 인터페이스와 제네릭 비교

[GO] 인터페이스와 제네릭의 차이점은?에 정리함.

 

ㅁ 마무리

제네릭 프로그래밍은 여러 타입에 대해서 동작할 수 있도록 하여 중복 코드를 줄일 수 있다. 

인터페이스는 다형성을 구현하고 객체의 행동을 정의하고, 제네릭은 타입에 구애받지 않는 재사용 가능한 코드를 작성한다. 

제네릭 프로그래밍은 Go 언어에 큰 유연성을 더해주었지만, 사용 시 성능 영향을 고려해야 하며 필요한 경우에만 적절히 사용하는 것이 중요하다.

 

ㅁ 함께 보면 좋은 사이트

ㅇ 공봉식 - Tucker의 GO 언어 프로그래밍

ㅇ 구글 도서 - Tucker의 GO 언어 프로그래밍