함수 클로저는 대부분의 독자에게 고급 용어가 아닙니다. 그렇다면 클로저란 무엇일까요? 다음은 Wiki의 정의에서 발췌한 내용입니다.
클로저는 환경과 함께 함수를 저장하는 레코드입니다. 환경은 함수의 각 자유 변수(로컬에서 사용되지만 정의된 변수)를 연결하는 매핑입니다. 클로저가 생성될 때 이름이 바인딩된 값 또는 참조가 포함된 엔클로징 범위).
간단히 말해서 클로저는 함수와 참조 환경으로 구성된 엔터티입니다. 구현 과정에서 클로저는 외부 함수를 호출하고 내부 함수를 반환하여 구현되는 경우가 많습니다. 그 중 참조 환경은 외부 함수(내부 함수에서는 사용되지만 외부 함수에서 정의됨)의 자유 변수 매핑을 의미합니다. 내부 함수는 외부 자유 변수를 도입하여 이러한 변수가 외부 함수의 환경을 벗어나더라도 해제되거나 삭제되지 않습니다. 반환된 내부 함수는 여전히 이 정보를 보유합니다.
이 구절은 이해하기 쉽지 않을 수 있으므로 예를 들어보겠습니다.
1package main
2
3import "fmt"
4
5func outer() func() int {
6 x := 1
7 return func() int {
8 x++
9 return x
10 }
11}
12
13func main() {
14 closure := outer()
15 fmt.Println(closure())
16 fmt.Println(closure())
17}
18
19// output
202
213
로그인 후 복사
보시다시피 Go의 두 가지 기능(함수는 일급 시민이고 익명 함수를 지원함)을 사용하면 클로저 구현을 쉽게 할 수 있습니다.
这里和普通的函数调用不一样：局部变量<span style="font-size: 15px;letter-spacing: 1px;">x</span>closure는 클로저 함수이고 변수 x는 참조입니다. 환경의 조합은 폐쇄 엔터티입니다.
<p style="font-size: inherit;color: inherit;line-height: inherit;margin-top: 1.5em;margin-bottom: 1.5em;">x<span style="font-size: 15px;letter-spacing: 1px;"> 이것은</p>outer🎜🎜함수 내부 및 익명 함수 외부의 지역 변수입니다. 일반 함수 호출이 끝나면 🎜🎜x🎜🎜는 함수 스택이 파괴됨에 따라 파괴됩니다. 그러나 익명 함수의 참조로 인해 🎜🎜outer🎜🎜반환된 함수 객체는 항상 유지됩니다🎜 <코드 스타일 ="글꼴 크기: 상속; 줄 높이: 상속; 오버플로 랩: 중단 단어; 패딩: 2px 4px; 테두리 반경: 4px; 마진 오른쪽: 2px; 마진 왼쪽: 2px; 색상: rgb(233 , 105, 0);배경: rgb(248, 248, 248);">🎜x🎜🎜 변수. 이로 인해 클로저에 대한 모든 호출이 발생합니다. 🎜🎜closure🎜🎜, 🎜🎜x🎜🎜변수가 누적됩니다. 🎜🎜🎜🎜이것은 일반 함수 호출과 다릅니다: 지역 변수🎜🎜x🎜🎜이 기능을 따르지 않습니다. 통화가 종료되고 사라집니다. 그렇다면 왜 이런가요? 🎜🎜🎜🎜🎜🎜🎜
实现原理
我们不妨从汇编入手，将上述代码稍微修改一下
1package main
2
3func outer() func() int {
4 x := 1
5 return func() int {
6 x++
7 return x
8 }
9}
10
11func main() {
12 _ := outer()
13}
1$ go build -gcflags '-m -m -l' main.go
2# command-line-arguments
3./main.go:6:3: outer.func1 capturing by ref: x (addr=true assign=true width=8)
4./main.go:5:9: func literal escapes to heap:
5./main.go:5:9: flow: ~r0 = &{storage for func literal}:
6./main.go:5:9: from func literal (spill) at ./main.go:5:9
7./main.go:5:9: from return func literal (return) at ./main.go:5:2
8./main.go:4:2: x escapes to heap:
9./main.go:4:2: flow: {storage for func literal} = &x:
10./main.go:4:2: from func literal (captured by a closure) at ./main.go:5:9
11./main.go:4:2: from x (reference) at ./main.go:6:3
12./main.go:4:2: moved to heap: x // 变量逃逸
13./main.go:5:9: func literal escapes to heap // 函数逃逸
Go 컴파일러의 이스케이프 분석 메커니즘은 클로저 객체를 힙에 할당하므로 함수 스택이 파괴될 때 자유 변수가 사라지지 않고 클로저 엔터티에 따라 항상 존재할 수 있습니다. 따라서 클로저 사용의 장점과 단점은 분명합니다. 클로저는 전역 변수 사용을 피하고 대신 메모리에 저장된 자유 변수를 오랫동안 유지할 수 있지만, 이러한 암시적 자유 변수 보유는 부적절하게 사용될 경우 문제를 일으키기 쉽습니다. 메모리 낭비 및 누출.
실제 프로젝트에서는 클로저 사용 시나리오가 많지 않습니다. 물론 코드에 클로저를 작성하는 경우(예: 작성한 콜백 함수가 클로저를 형성하는 경우) 주의해야 합니다. 그렇지 않으면 메모리 사용 문제로 인해 문제가 발생할 수 있습니다.
위 내용은 Go 함수 클로저의 기본 구현의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!
![[웹 프런트엔드] Node.js 빠른 시작](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
