Go에서 빈 구조체 배열이 포인터가 다름에도 불구하고 때때로 동일한 것으로 비교되는 이유는 무엇입니까?

빈 구조체 배열 비교: 변수 동작 이해

Go에서 빈 구조체 배열을 비교할 때 예상치 못한 결과가 발생할 수 있습니다. 코드 예제를 통해 이 동작을 살펴보고 왜 발생하는지 이해해 보겠습니다.

다음 코드를 고려하세요.

var s, ss struct{} // two empty structs
arr1 := [6]*struct{}{&s} // array with empty struct pointer
arr2 := [6]*struct{}{&ss} // array with empty struct pointer
fmt.Println(&s == &ss, arr1 == arr2)  // false, true

여기서 빈 구조체 s 및 ss를 정의하고 배열 arr1 및 arr2를 다음과 같이 초기화합니다. 이러한 구조체에 대한 포인터를 지정하고 비교 결과를 인쇄합니다. 놀랍게도 &s와 &ss는 같지 않지만 arr1과 arr2는 같습니다.

이를 이해하려면 Go 사양을 참조해야 합니다. 포인터 값에 대한 사양은 동일한 변수를 가리키거나 둘 다 nil 값을 갖는 경우 동일하다고 명시합니다. 결정적으로, 크기가 0인 별개의 변수에 대한 포인터는 "같을 수도 있고 같지 않을 수도 있습니다."

또한 필드가 없는 구조체의 크기는 0입니다. 따라서 &s 및 &ss는 서로 다른 크기가 0인 변수를 가리키며 &s == &ss 비교는 true 또는 false로 평가될 수 있습니다.

마찬가지로 배열 비교 arr1 == arr2의 동작은 보장되지 않습니다. 크기가 0인 변수에 대한 사양은 해당 변수가 메모리에서 동일한 주소를 가질 수 있음을 나타냅니다. 따라서 arr1과 arr2는 같을 수도 있고 같지 않을 수도 있으며, 결과는 프로그램 실행에 따라 달라질 수 있습니다.

요약하자면, 빈 구조체와 같이 크기가 0인 별개의 변수에 대한 포인터를 비교하면 예측할 수 없는 결과가 나올 수 있습니다. 결과. 특정 결과를 한 번 관찰할 수 있지만 컴파일러가 메모리 할당을 최적화하는 방식으로 인해 후속 실행에서는 다를 수 있습니다.

위 내용은 Go에서 빈 구조체 배열이 포인터가 다름에도 불구하고 때때로 동일한 것으로 비교되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!