## 포인터 수신기 메서드를 사용하여 Go 유형의 인스턴스를 복사하는 것이 왜 위험한가요?

포인터 수신자 메서드를 사용한 인스턴스 복사의 함정

Go에서 명명된 유형 T에 대한 모든 메서드의 수신자 유형이 T 자체인 경우 (*T 아님) 해당 유형의 인스턴스를 복사하는 것은 안전한 것으로 간주됩니다. 이는 모든 메서드 호출이 반드시 복사본에서 작동하여 원래 값이 수정되지 않은 상태로 유지되기 때문입니다. 그러나 T에 대한 메서드에 포인터 수신기가 있는 경우 T의 인스턴스를 복사하는 것은 위험할 수 있습니다.

설명

메서드 호출 시 해당 메서드가 호출되는 값 on이 먼저 복사되고 복사본이 수신자로 전달됩니다. 유형에 값 수신자가 있는 메소드만 있는 경우 해당 메소드가 조치에 관계없이 원래 값을 수정할 수 없음을 보장합니다. 이는 복사본이 항상 활용되어 의도하지 않은 변경으로부터 원본을 보호하기 때문입니다.

그러나 유형에 포인터 수신자가 있는 메서드가 있는 경우 해당 메서드는 복사본이 아닌 원래 지정된 값을 수정할 수 있습니다. 이는 메서드가 원래 값에 대한 포인터를 수신하여 기본 데이터를 변경할 수 있기 때문입니다.

예

래퍼 유형을 고려하세요. 래퍼:

type Wrapper struct {
    v int
    p *int
}

Set() 메소드를 사용하여 두 필드에 동일한 값이 포함되도록 합니다.

func (w *Wrapper) Set(v int) {
    w.v = v
    *w.p = v
}

Wrapper 인스턴스를 생성하는 경우:

a := Wrapper{v: 0, p: new(int)}

그리고 이어서 a의 복사본 (b):

b := a

Set()을 사용하여 a를 1로 설정한 후:

a.Set(1)

a와 b 모두 필드가 1로 설정될 것으로 예상합니다. 그러나 해당 값을 인쇄하면 다른 내용이 드러납니다.

fmt.Printf("a.v=%d, a.p=%d;  b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)

출력:

a.v=1, a.p=1;  b.v=0, b.p=1

이 불일치의 이유는 b의 포인터가 복사되는 동안 여전히 동일한 것을 참조하기 때문입니다. 기본 데이터를 a의 포인터로 사용합니다. Set()이 지정된 값을 수정하면 Wrapper의 두 복사본 모두에 영향을 줍니다. 그러나 포인터가 아닌 필드 v는 a와 b 사이에서 고유하게 유지됩니다.

모범 사례

이 문제를 방지하려면 다음을 사용하여 유형의 인스턴스를 복사하지 않는 것이 좋습니다. 포인터 수신기 방법. 포인터 값 작업이 필요한 경우 포인터 자체를 복사(*T)하는 것이 가능한 대안입니다.

위 내용은 ## 포인터 수신기 메서드를 사용하여 Go 유형의 인스턴스를 복사하는 것이 왜 위험한가요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!