답변.

Go 언어에서 개발자는 기존 유형을 기반으로 자신의 유형을 만들거나 코드 가독성 및 외부 라이브러리와의 통합을 위해 별칭을 선언할 수 있습니다.

문제의 역사:

Go는 기본 유형을 기반으로 새로운 유형을 만드는 것(type MyInt int)과 별칭(type MyIntAlias = int)을 구분하여 타입 시스템을 근본적으로 단순화합니다. 이들 간의 혼동이 자주 발생하며, 이는 시스템의 다양한 부분 간의 데이터 호환성에 영향을 미칠 수 있습니다.

문제:

유형 선언 방식을 잘못 선택하면 여러 가지 암묵적인 오류가 발생할 수 있습니다: 패키지 간 데이터 전송 불능, 외부 라이브러리와의 잘못된 작업 또는 별칭을 사용하려 할 때 모든 메소드가 손실되는 경우가 있습니다.

해결책:

새로운 유형(type Foo T)은 실제로 새로운 유형을 생성하며, 기존 유형(예: int, struct)을 기반으로 하더라도 독립적인 정체성을 갖습니다.
별칭(type Foo = T)은 기존 유형에 대해 대체 이름을 제공하며, 이를 통해 모든 메소드와 동작을 완전히 유지합니다. 인터페이스 일치 또한 포함됩니다.

코드 예제:

package main
import "fmt"

type MyInt int           // 새로운 유형
func (m MyInt) Double() int { return int(m) * 2 }

type MyIntAlias = int    // 별칭

func main() {
    var a MyInt = 5
    var b MyIntAlias = 10
    fmt.Println(a.Double()) // 작동함
    //fmt.Println(b.Double()) // 오류: int에는 정의된 메소드가 없음
}

주요 특징:

새로운 유형은 기본 유형과 완전히 분리되어 있습니다.
별칭은 새로운 유형을 생성하지 않고 단지 새로운 이름만 생성합니다.
새로운 유형에 대해 선언된 메소드는 별칭에는 적용되지 않습니다.

함정이 있는 질문.

구조체의 별칭을 만들고 기본 구조체와 다른 메소드를 추가할 수 있습니까?

아니요. 메소드는 새로운 유형에 대해서만 선언할 수 있으며, 별칭에 대해서는 불가능합니다. 별칭은 동일한 유형에 대한 다른 이름일 뿐이며, 프로그램의 일부는 유형의 "확장"을 알지 못합니다.

type MyStructAlias = SomeStruct
// func (s MyStructAlias) NewMethod() {} // 오류

기본 유형의 메소드가 별칭에 자동으로 "붙을" 수 있습니까?

예, 이는 컴파일러에 대해 동일한 유형이기 때문입니다. 그러나 새로운 메소드를 사용할 수는 없습니다: 별칭에 고유한 메소드를 추가할 수 없습니다.

type MyString = string // string에 대한 모든 메소드와 함수가 작동합니다

유형 변환과 별칭 변환의 차이는 무엇입니까?

새로운 유형을 선언할 때는 명시적 변환이 필요합니다: MyInt(x) 여기서 x는 int입니다. 별칭의 경우 변환이 필요하지 않으며, 유형이 완전히 서로 교환 가능합니다.

type A int
type B = int
var x int = 3
var a A = A(x)      // 명시적 변환
var b B = x         // 암묵적 변환, int와 동일

유형 오류 및 안티 패턴

새로운 유형과 별칭의 혼합으로 인한 코드 구조의 혼란
별칭에 메소드가 없을 때의 예상치 못한 상황
데이터 격리를 위해 별칭을 사용하는 것 — 이는 적합하지 않음 (새로운 유형이 더 좋음)

실제 사례 예

부정적인 사례

개발자는 외부 라이브러리를 위한 유형 별칭을 만들고 이 유형 위에 자신의 메소드를 추가하고 비즈니스 로직을 캡슐화할 수 있다고 잘못 생각합니다.

장점:

외부 API와 쉽게 통합됨

단점:

메소드가 추가되지 않으며, 동작이 확장되지 않고 데이터의 예측할 수 없는 논리가 생김

긍정적인 사례

팀은 int를 기반으로 하는 새로운 유형을 만들어 사용자 ID를 표현하며 비즈니스 로직이 다른 정수값과 실수로 혼동되지 않도록 하며, 특별한 메소드(검증기, 변환기)를 추가합니다.