[Go] 제너릭

이번에 업데이트된 버전 1.18부터 제너릭 신택스가 추가되었다.

타입 파라미터

Go의 제너릭도 다른 언어들과 마찬가지로, 타입 파라미터를 정의하고 그걸 사용하는 방식의 구조를 가진다.

타입 파라미터는 다음과 같은 형태를 띤다.
[타입명 타입제약, 타입명2 타입제약2, ...]

저기서 "타입 제약"은, 해당 타입으로 특정 타입을 충족하는 값만 들어올 수 있도록 제약한다.

제약사항에는 보통 인터페이스를 넣을텐데, 다 쓰고싶으면 any를 달면 된다. 기본타입을 넣을 수도 있고, 여러가지 타입을 허용하고 싶다면 | 연산자로 묶을 수도 있다.

예를 들어 아래의 경우는 제약을 int로만 묶어놨는데,

이래놓고 문자열을 넣는다거나 하면

에러를 뱉을 것이다.

그럴때는 |로 묶어주거나 하면 된다.

제너릭 함수

함수에 제너릭을 적용하는 방법은 간단하다.

함수명 오른쪽에 타입파라미터를 추가하고, 그 타입명을 잘 사용하면 된다.

아래는 아무 타입이나 받아서 출력하는 간단한 제너릭 출력 함수를 만든 것이다.

컴파일타임에 각각의 타입에 대한 구체화 버전을 만들어 사용하므로, 그냥 any를 쓰는 것에 비하면 런타임 성능문제가 없다.

제너릭 구조체

함수보다 더 중요한건 구조체일 것이다.
구조체도 함수와 마찬가지로 구조체 이름 오른쪽에 타입파라미터를 붙인다.

아래는 제너릭을 이용해 간단한 래퍼 타입을 구현한 것이다.

그러면 다음과 같이 객체를 생성할 수 있다.

구조체 메서드의 정의는 다음과 같이 할 수 있다. 특별한게 달리 있지는 않고, 그냥 제약만 뺀채로 타입명을 this로 바인딩해주면 된다.

그럼 다음과 같은 형태로 사용할 수 있다.

그렇다.