Closure Capture List - Memory

언제 이 이슈를 유념해야 할까

클로저를 인스턴스 속성에 저장할 때입니다.

---

 

발생하는 상황

클로저의 강한 참조 순환은 다음 상황에 발생합니다.

 

1. 클로저가 인스턴스의 프로퍼티일 때

2. 클로저의 값 획득 상황

 

클로저 내부에서 self.(propertyName)이나, self.(methodName)처럼 인스턴스의 속성이나 메서드를 호출할 때,

클로저는 self를 획득하므로 강한 참조 순환이 발생합니다.

 

문제는 클로저가 획득한 인스턴스의 참조 카운트를 증가시켜 메모리 해제를 방지한다는 것입니다. 즉, 강한 참조를 유지하게 됩니다.
단, 클로저 내부에서 self 속성을 여러 번 호출하여 접근한다고 해도 참조 횟수는 한 번만 증가한다고 합니다.

 

앞선 글에서는 참조 타입의 인스턴스와 참조 타입 인스턴스 때문에 강한 참조 순환이 발생하였습니다.

 

클로저도 참조 타입이기 때문에 같은 상황이 발생한다고 생각할 수 있습니다.

---

 

해결 방법

해결방법은 Closure Capture List를 사용하는 것입니다.

 

이것을 사용하면 클로저가 다른 인스턴스의 참조를 획득할 때, 강한 참조 대신 약한 참조나 미소유 참조를 할 수 있게 설정할 수 있습니다.

---

 

Syntax

Closure Capture List는 리스트 내에 명시한 값들을 획득하는데, 값의 타입에 따라 동작이 조금 다릅니다.

 

우선 값 타입일 때, 획득할 당시의 값을 캡처하여 새로운 상수로 초기화합니다.

 

따라서 클로저 내에서 값을 변경한다고 해도, 실제 변수에는 영향이 없습니다.

 

값을 Capture List에 넣지 않으면 새로운 상수로 초기화되지 않기 때문에, 클로저 바디에서의 변경이 실제로 반영됩니다.

 

참조 타입일 때는 똑같이 상수로 초기화 하지만, 참조 타입 이므로 그 속성은 변경할 수 있고 실제로 반영됩니다.

 

관련 글: 값 타입 vs 참조 타입

 

다만 참조 타입에서는 그 값을 어떻게 획득할 것인지 정해줄 수 있습니다. (강한 참조, 약한 참조, 미소유 참조)

 

방법은 클로저 내부의 첫 분에 ` [ 참조 방법 + 캡처할 값... ]  in ` 형태로 적어주면 됩니다.

 

class Person {
    let name: String
    let age: Int
    
    /* 1 */
    lazy var makeProfile: () -> String = {[weak self] in
        /* 2 */
        return "Name: \(self?.name)\nAge:\(self?.age)"
    }
    
    init(name: String, age: Int) {
        self.name = name
        self.age = age
    }
}

 

/* 1 */ 에서 lazy (지연 저장 속성)를 붙여준 이유는 클로저가 실행될 시점에 다른 속성이 아직 초기화되지 않았기 때문에 어떤 속성에도 접근할 수 없기 때문입니다.

 

관련 글: self의 접근 가능 시점

 

/* 2 */ 에서 옵셔널 언래핑을 해준 이유는,  self 속성을 weak으로 캡처했기 때문입니다. 약한 참조는 옵셔널 타입입니다.

 

 

 

끝!

---