답변

Go 컴파일러는 escape analysis(포인터 이동 분석) 메커니즘을 적용합니다: 모든 값은 기본적으로 스택에 배치되지만, 변수가 "스코프를 벗어나면"(예: 지역 변수의 포인터가 반환될 때) 자동으로 힙(heap)에 배치됩니다.

이것은 성능에 중요합니다:

• 스택은 매우 빠르며 자동으로 해제되고 GC(가비지 컬렉터)를 요구하지 않습니다.
• 힙은 더 비쌉니다(메모리 관리자, GC).

컴파일러는 객체를 스택에 배치할 수 있는지 판단하려고 하지만, 만약 명시적으로 함수의 경계를 "벗어나면" 힙에 배치합니다.

이동 예시:

func NewPoint() *int {
    a := 42
    return &a // 힙으로 이동!
}

이동하지 않는 예시:

func Sum(a, b int) int {
    c := a + b
    return c // 스택에 있음
}

컴파일러 진단을 위해 go build -gcflags='-m'를 사용하여 세부 사항을 확인할 수 있습니다:

go build -gcflags='-m' main.go

고무적인 질문

"함수에서 값만 반환하면 객체가 힙으로 가는가 — 포인터는 아닌가?"

많은 사람들은 반환되는 모든 값이 "힙으로 간다"고 생각합니다. 사실, 값 (포인터가 아닌)이 반환되면, 변수가 스택에 남을 수 있습니다.

예시:

func F() int {
    x := 10
    return x // 스택 할당, 힙으로 가지 않음
}

주제에 대한 복잡함을 모르고 발생한 실제 오류 예시

---

이야기

팩토리 함수를 통해 구조체를 대량 생성할 때 지역 변수 포인터를 반환하여 메모리 사용량과 GC 부하가 급증했습니다. 확인해보니, 지역 변수의 포인터를 반환함으로써 모든 객체가 힙으로 옮겨졌지만, 값을 반환함으로써 이를 피할 수 있었습니다.

---

이야기

마이크로서비스에서 고루틴 간 포인터를 전달하고 다른 함수에서 반환함으로써, 스택에서 많은 객체가 힙으로 "흘러나가" 성능이 저하되고 GC의 빈번한 일시 정지가 발생했습니다.

---

이야기

한 개발자는 함수 내에서 정적 배열을 슬라이스로 래핑하고 슬라이스에 대한 포인터를 반환하여 부하 테스트 중 메모리 누수를 경험했습니다. 진단 결과, 변수가 함수의 경계를 "넘어가지" 않았지만 Go는 간접적인 사용으로 인해 잘못하여 힙에 배치했습니다.