Microsoft MVP성태의 닷넷 이야기
VC++: 149. Golang - 인터페이스 포인터가 의미 있을까요? [링크 복사], [링크+제목 복사],
조회: 15738
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

Golang - 인터페이스 포인터가 의미 있을까요?

그렇습니다. 정말 몰라서 질문하는 것입니다. ^^

설명을 위해, Go 언어에서 간단하게 인터페이스를 구현해 볼까요? ^^

package main

import "fmt"

type Person interface {
    GetAge() int
}

type Student struct {
    Age int
}

func (student Student) GetAge() int {
    return student.Age
}

func main() {
    student := Student{ Age: 5 }

    person := student
    fmt.Println(person.GetAge())
}

C/C++에 익숙하신 분들은, 위의 경우 GetAge 함수가 값 복사가 된 Student 인스턴스가 넘어왔다는 것을 알 것입니다. 그래서, GetAge 함수에서 값을 변경해도 호출 측에서 넘겨준 인스턴스의 값을 변경할 수는 없습니다.

func (student Student) GetAge() int {
    student.Age = 10
    return student.Age
}

func main() {
    student := Student{ Age: 5 }

    person := student
    fmt.Println(person.GetAge()) // 출력 결과: 10

    fmt.Println(student.Age) // 출력 결과: 5
}

만약, 호출 측의 인스턴스에 영향을 주고 싶다면 GetAge 함수 선언을 다음과 같이 포인터 형식으로 바꿔야 합니다.

func (student *Student) GetAge() int {
    student.Age = 10
    return student.Age
}

func main() {
    student := Student{ Age: 5 }

    person := &student
    fmt.Println(person.GetAge()) // 출력 결과: 10

    fmt.Println(student.Age) // 출력 결과: 10
}

그런데 위에서 좀 재미있는 부분이 있지 않나요? 즉, 인터페이스 측에 선언한 GetAge 함수의 signature와는 별도로 그 규약을 따르는 타입 측에서는 GetAge라는 함수를 2가지 유형으로 정의할 수 있다는 점입니다.

// receiver를 값 형식으로 받는 함수로 정의해도 되고.
func (student Student) GetAge() int {
	return student.Age
}

// 포인터 형식을 받는 함수로 정의해도 되고.
func (student *Student) GetAge() int {
	return student.Age
}

게다가 둘 중 하나만 가능합니다. 그렇지 않으면 다음과 같은 식으로 컴파일 오류가 발생합니다.

# command-line-arguments
.\main.go:19:6: method redeclared: Student.GetAge
    method(Student) func() int
    method(*Student) func() int

어쩔 수 없습니다. 만약 저런 경우가 필요하다면 각각의 함수 이름을 달리해 만들어야 합니다.




그런데, 이런 규칙이 인터페이스를 인자로 받아들이는 경우가 되면 약간 혼란이 옵니다. 가령, 다음과 같은 예제 코드에서,

package main

import "fmt"

type Person interface {
    GetAge() int
}

type Student struct {
    Age int
}

type MyFunc func(person Person)

func (student Student) GetAge() int {
    return student.Age
}

func main() {
    student := Student{ Age: 5 }

    func1 := func(person Person) {
        fmt.Println(person.GetAge())
    }

    func1(student)

    fmt.Println(student.Age)
}

값 복사를 막기 위해 포인터 처리를 해야 한다면 어떻게 될까요? 이때 자칫 실수의 여지가 있는데요, 소스 코드가 복잡하다 보면 아래와 같은 식의 시도도 할 수 있다는 점입니다.

type MyFunc func(person *Person)

func (student Student) GetAge() int {
    return student.Age
}

func main() {
    student := Student{ Age: 5 }

    func1 := func(person Person) {
        fmt.Println(person.GetAge())
    }

    func1(student)
    fmt.Println(student.Age)
}

무심코 ":=" 연산자를 사용했기 때문에 위의 코드는 컴파일 오류도 발생하지 않습니다. 왜냐하면 ":="로 하는 경우 기존 타입 정의가 없어도 Go 컴파일러가 추론으로 타입을 처리하기 때문에 위에서 MyFunc 타입과 독립적으로 "func1" 변수의 타입이 정의되기 때문입니다. 따라서, 원래 의도한 대로라면 다음과 같이 명시적으로 MyFunc와 func1을 연결해야 합니다.

type MyFunc func(person *Person)

func main() {
    student := Student{ Age: 5 }

    /* 컴파일 오류
.\main.go:23:8: cannot use func literal (type func(Person)) as type MyFunc in assignment
    */      
    var func1 MyFunc
    func1 = func(person Person) {
        fmt.Println(person.GetAge())
    }

    /* 컴파일 오류
.\main.go:27:7: cannot use student (type Student) as type *Person in argument to func1:
	*Person is pointer to interface, not interface
    */    
    func1(student)
    fmt.Println(student.Age)
}

이제는 컴파일 오류가 발생하는 것이 당연하지만, 그렇다고 양측의 타입을 일치시켜도 여전히 오류가 발생합니다.

func main() {
    student := Student{ Age: 5 }

    /* 이제는 타입 추론으로 변경 */
    func1 := func(person *Person) {
        /* 컴파일 오류
.\main.go:24:21: person.GetAge undefined (type *Person is pointer to interface, not interface)
        */
        fmt.Println(person.GetAge())
    }

    /* 컴파일 오류
.\main.go:27:7: cannot use student (type Student) as type *Person in argument to func1:
	*Person is pointer to interface, not interface
    */
    func1(student)

    /* 컴파일 오류
.\main.go:29:8: cannot use &student (type *Student) as type *Person in argument to func1:
	*Person is pointer to interface, not interface
    */
    func1(&student)

    fmt.Println(student.Age)
}

위와 같은 경우에 대한 근본적인 원인은, Go 언어에서 인터페이스는 포인터 타입이 없다는 것입니다. 따라서, 위와 같은 경우 인터페이스가 아닌 구현 타입 측에서만 포인터 처리를 해 주면 됩니다.

func (student *Student) GetAge() int {
    student.Age = 10
    return student.Age
}

func main() {
    student := Student{ Age: 5 }

    func1 := func(person Person) {
        fmt.Println(person.GetAge()) // 출력 결과 10
    }

    func1(&student)
    fmt.Println(student.Age) // 출력 결과 10
}

자칫 이전의 C/C++ 느낌으로 인터페이스를 포인터 처리하게 되면 "[Type] is pointer to interface, not interface"라는 오류에서 헤매게 될 것입니다. ^^;




이에 대한 자세한 설명을 다음의 문서에서 볼 수 있습니다.

Interface values
; https://tour.golang.org/methods/11

// An interface value holds a value of a specific underlying concrete type.

정리해 보면, interface 변수는 타입 정보를 보관한다는 것인데, 인터페이스 포인터 형식이라면 "그 타입 정보에 대한 포인터"가 되는데 그런 의미에서 딱히 유용한 형식으로 보이진 않습니다. 사실 interface 변수의 기본값은 nil이라는 점에서 그것 자체가 포인터와 닮아 있긴 합니다. 그러므로, 애당초 인터페이스 변수에 값을 담을 수도 있고, 참조를 담을 수도 있으므로 인터페이스 자체의 포인터를 선언할 필요가 없는 것입니다.

type Space interface {
    GetPosition() (x, y int)
}

type Point struct {
    X int
    Y int
}

func main() {

    pt := Point{5,10}
    var space1, space2 Space
    space1 = pt // 값도 담을 수 있고,
    space2 = &pt // 참조도 담을 수 있고
    space1.GetPosition()
    space2.GetPosition()
}

그런데, 여기서 또 재미있는 것은 인터페이스의 정의와는 무관하게 그것에 맞춰 구현하는 타입의 receiver가 어떤 메서드를 포함했느냐에 따라 위의 코드가 컴파일 오류가 발생할 수도 있다는 점입니다.

가령, 위의 예제에서 SetPosition만을 다음과 같이 추가하면,

type Space interface {
    GetPosition() (x, y int)
    SetPosition(x, y int)
}

...[생략]...

func (pt *Point) SetPosition(x, y int) {
    pt.X, pt.Y = x, y
}

컴파일 시 이제는 다음과 같은 오류가 발생합니다.

func main() {

    pt := Point{5,10}
    var space1, space2 Space

    /* 컴파일 오류
.\main.go:46:9: cannot use pt (type Point) as type Space in assignment:
	Point does not implement Space (SetPosition method has pointer receiver)
    */
    space1 = pt

    space2 = &pt
    space1.GetPosition()
    space2.GetPosition()
}

즉, SetPosition 메서드에 포인터 형의 receiver가 정의되었으므로 값으로는 더 이상 받을 수 없다는 것입니다. 따라서 이런 경우에는 무조건 "space2 = &pt"와 같이 포인터 값을 보관하는 것만 가능합니다.




인터페이스와 관련해 또 하나 실수할 수 있는 여지를 하나 볼까요? ^^

가령, 처음에는 대상 타입의 포인터를 가리켜 다음과 같이 잘 사용하던 코드가 있다고 가정했을 때,

type Student struct {
    Age int
}

type Company struct {
    Owner *Student
}

func main() {

    student := Student{ Age: 5 }
    company := Company{&student}
    fmt.Println(company.Owner.GetAge())

    fmt.Println(student.Age)
}

나중에 리팩터링을 하면서 Company의 Student를 인터페이스로 변경하는 일이 발생해 무심코 타입명만 변경해 버리면 다시 컴파일 오류에 시달리게 됩니다.

type Person interface {
    GetAge() int
}

type Student struct {
    Age int
}

// ...[생략]...

type Company struct {
    Owner *Person
}

func main() {

    student := Student{ Age: 5 }

    /* 컴파일 오류
.\main.go:60:21: cannot use &student (type *Student) as type *Person in field value:
	*Person is pointer to interface, not interface
    */
    company := Company{&student}

    /* 컴파일 오류
.\main.go:61:27: company.Owner.GetAge undefined (type *Person is pointer to interface, not interface)
    */    
    fmt.Println(company.Owner.GetAge())

    fmt.Println(student.Age)
}

명심하세요, 절대 인터페이스는 포인터 타입이 와서는 안 됩니다. ^^

type Company struct {
    Owner Person
}

// 이하 정상 컴파일

저럴 거면, 아예 인터페이스 타입의 필드를 정의하는 단계에서 불가능하게 처리를 했어야 하지 않을까요? 혹시, 이 글을 읽고 있는 분들 중에 인터페이스를 포인터 타입으로 선언해 사용한 좋은 사례가 있는지, 있다면 덧글 부탁드립니다. ^^




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]







[최초 등록일: ]
[최종 수정일: 9/6/2021]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




... 181  182  183  184  [185]  186  187  188  189  190  191  192  193  194  195  ...
NoWriterDateCnt.TitleFile(s)
339정성태9/14/200619271오류 유형: 11. ProtocolsSection?
338정성태2/4/200727509개발 환경 구성: 12. BUG: 웹 서비스에서 DataTable 사용하기 [2]파일 다운로드1
350정성태10/2/200620688    답변글 개발 환경 구성: 12.1. ASMX 2.0 and SchemaImporterExtensions파일 다운로드1
335정성태8/20/200628455디버깅 기술: 8. COM+ 서버 응용 프로그램에 대한 F5 디버깅 방법
334정성태8/20/200623677디버깅 기술: 7. VS.NET 2003/2005의 다중 프로젝트 디버깅
333정성태8/20/200624092개발 환경 구성: 11. COM+ 서버 활성화 보안 설정
331정성태8/27/200617094개발 환경 구성: 10. 최대 절전 모드와 VPC 네트워크 문제
330정성태8/20/200617379개발 환경 구성: 9. VPC로 구성하는 개인 환경
328정성태8/20/200635110개발 환경 구성: 8. AppVerifier 사용법 [1]
327정성태8/16/200631894개발 환경 구성: 7. ActiveX 서명 과정 자동화 [1]
326정성태8/16/200625658Team Foundation Server: 13. Sysnet 웹 사이트 TFS Migration
322정성태8/15/200620539개발 환경 구성: 6. 4GB 메모리 구성 [1]
316정성태9/20/200639656디버깅 기술: 6. .NET 예외 처리 정리 [6]
309정성태12/27/200640551디버깅 기술: 5. PDB 이야기 [7]
310정성태8/5/200627644    답변글 디버깅 기술: 5.1. PDB 파일에 따른 Debug 정보 - WinForm + Library 유형의 프로젝트파일 다운로드1
311정성태8/10/200627131    답변글 디버깅 기술: 5.2. PDB 파일에 따른 Debug 정보 - .NET 2.0 Web Application Project + Library 유형의 프로젝트
312정성태8/5/200629895    답변글 디버깅 기술: 5.3. PDB 파일에 따른 Debug 정보 - .NET 2.0 Web Site Model 유형의 프로젝트
313정성태8/12/200629019    답변글 디버깅 기술: 5.4. VS.NET 2005 디버그 모드에서의 PDB 파일 사용 차이 (1)
317정성태8/12/200626472    답변글 디버깅 기술: 5.5. VS.NET 2005 디버그 모드에서의 PDB 파일 사용 차이 (2)
318정성태8/12/200632908    답변글 디버깅 기술: 5.6. VS.NET 2005를 이용한 미니덤프 파일 분석 (1)
319정성태8/12/200627938    답변글 디버깅 기술: 5.7. VS.NET 2005를 이용한 미니덤프 파일 분석 (2) [1]
320정성태8/12/200632056    답변글 디버깅 기술: 5.8. WinDBG를 이용한 미니덤프 파일 분석 [1]
321정성태8/13/200636518    답변글 디버깅 기술: 5.9. Microsoft의 PDB 파일 관리
323정성태8/15/200637831    답변글 디버깅 기술: 5.10. Symbol Server 생성 [4]
324정성태8/15/200634687    답변글 디버깅 기술: 5.11. PDB 파일과 소스 코드
325정성태9/8/200627393    답변글 디버깅 기술: 5.12. CCP를 이용한 Windows Source Code 수준의 디버깅
... 181  182  183  184  [185]  186  187  188  189  190  191  192  193  194  195  ...