Go의 컴파일러가 메소드를 호출할 때 암시적으로 포인터를 전달하는 것처럼 보이는 이유는 무엇입니까?

Go에서 메소드 수신기의 흥미로운 동작 이해

프로그래밍 영역에서 Go 둘러보기 연습 51은 흥미로운 수수께끼를 제시합니다. 포인터가 아닌 Vertex 값을 수신할 때 효과적이지 않다고 주장하는 Scale 메소드는 실제로 이러한 개념을 무시합니다.

명확하게 설명하기 위해 원본 코드에서는 Vertex 유형의 변수인 v를 선언하고 Scale에 &v로 전달됩니다. . 놀랍게도 &v를 v로 직접 바꾸면 여전히 출력에 눈에 띄는 효과가 나타납니다.

이 현상의 메커니즘을 자세히 살펴보면 Go의 강력한 타이핑 시스템이 명확한 변수 유형의 선언을 강제한다는 사실을 알 수 있습니다. 함수나 메서드가 T와 같은 특정 유형에 대한 포인터를 요구하는 경우 해당 정확한 유형(T)의 변수만 이 요구 사항을 충족할 수 있습니다.

그러나 Go의 컴파일러는 숨겨진 포인터를 보유합니다. 힘: 특정 조건에서 코드를 변환합니다. 이러한 조건 중 하나는 포인터가 아닌 변수(x)를 사용하여 포인터 수신기를 허용하는 메서드(m)를 호출할 때 발생합니다. 여기서 컴파일러는 x.m() 대신 (&x).m() 문을 개입하여 효과적으로 실행합니다. 이 매혹적인 동작은 다음과 같은 Go의 문서와 일치합니다.

"x의 메소드 세트(유형)에 m이 포함되고 인수 목록이 매개변수 목록에 할당될 수 있는 경우 메소드 호출 x.m()이 유효합니다. x가 주소 지정 가능하고 &x의 메소드 세트에 m이 포함된 경우 x.m()은 (&x).m()의 약어입니다."

이 개념 이해하기 포인터가 아닌 인수가 제공되는 경우에도 Scale이 수신자를 수정한다는 흥미로운 관찰을 명확히 합니다. 컴파일러의 자동 변환은 의도한 동작이 적용되도록 보장합니다.

위 내용은 Go의 컴파일러가 메소드를 호출할 때 암시적으로 포인터를 전달하는 것처럼 보이는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!