[Swift] 클로져는 왜 참조타입일까?(Why closure is reference type?)

 

안녕하세요 Foma👟 입니다!

오늘은 클로져가 왜 참조타입인지에 대해서 알아보려고 합니다!

 

바로 시작할게요~

---

클로져란?

 

클로져는 이름이 정해져있지 않은 함수 즉, 익명함수입니다!

(엄밀히 말하면 모든 함수를 뜻하기도 합니다.)

 

일급 객체로써 역할을 하므로 인자로 보낼 수도 있고 반환값을 전달하거나 저장할 수도 있습니다.

 

보통 함수는 아래와 같이 작성되어 있죠?

func hello() -> String {
    return "hello"
}

클로져는 아래와 같이 함수명이 없이 함수와 같은 역할을 할 수 있습니다.

let hello:(()->String) = { return "hello"}

 

클로져에 대한 글이 아니므로 간단하게만 설명하고 넘어갈게요~

---

참조 타입이란?

 

참조 타입은 객체의 주소를 메모리에 저장해서 사용할 때 그 주소를 참조하는 타입입니다.

 

고로 메모리 영역에서 동적 할당 메모리 영역인 "힙" 영역에 저장되어 있습니다.

 

고로 해당 주소의 값이 사라지는 시점에 메모리 해제를 잘 해줘야 메모리 누수가 발생하지 않습니다.

---

근데 왜 클로져는 참조 타입이야? 🤨

 

위에서 든 예시로 아래와 같은 함수는 String으로 된 "hello"라는 값을 가지고 있습니다.

 

let hello:(()->String) = { return "hello"}

 

 

위 클로져처럼 원시 타입을 가지고 있는데 왜 참조 타입일까? 라는 생각이 들었습니다.

 

열심히 찾아본 결과 이에 대한 해답은 "클로져는 값을 캡쳐한다" 입니다.

 

이게 무슨 의미인지 천천히 설명해드릴게요!

다음과 같이 클로져에 파라미터가 있는 경우 해당 파라미터로 전달된 값을 사용할 수 있어야겠죠?

let hello:((_ name:String)->String) = { name in return "\(name) hello"}
hello("foma") //foma hello

 

이 때 클로져는 값을 "캡쳐" 해서 저장해놓게 됩니다.

 

만약 아래와 같이 객체가 파라미터로 받는 경우는 어떻게 할까요?

class Person {
    var name:String
    
    init(name:String) {
        self.name = name
    }
}

let person = Person(name: "foma")

let hello:((_ person:Person)->String) = { person in return "\(person.name) hello"}

hello(person) //foma hello

클로져는 값을 "캡쳐"할 때 파라미터로 들어온 타입에 따라서 값을 "캡쳐"하게 됩니다.

 

즉, 참조타입이 들어오면 클로져도 참조타입으로 값을 "캡쳐" 해놓는다는 의미이죠!

---

탈출 클로져

 

이러한 원리로 탈출 클로져는 참조 타입의 값을 캡쳐해놓고 있다가 함수가 끝난 뒤에도 값을 전달할 수 있는 것이죠!

 

아래는 escaping 함수가 2초 뒤에 실행되도록 해놓고 그 뒤에 person의 이름을 gran으로 바꿔보겠습니다.

 

이렇게 하면 참조한 값이 바뀌었으므로 2초 뒤에 출력되는 값도 바뀐 값인 "gran hello" 가 출력되게 됩니다.

class Person {
    var name:String
    
    init(name:String) {
        self.name = name
    }
}

let person = Person(name: "foma")

let hello:((_ person:Person)->String) = { person in return "\(person.name) hello"}

func escaping(completion:@escaping(Person)->String) {
    DispatchQueue.main.asyncAfter(deadline: .now() + 2) {
       print("From Escaping Closure",completion(person))
    }
}

escaping(completion: hello) //gran hello
person.name = "gran"

---

Weak Self

 

평소에 클로져의 바디 부분 앞에 [weak self] 가 있는 것을 많이 보셨을거에요!

 

이것 또한 같은 원리로 뷰컨트롤러와 클로져 모두 참조 타입이므로 서로 강하게 연결되는 리테인 사이클을 

 

방지해 메모리 누수를 막아주는 것입니다.

class ViewController: UIViewController {
  
    @IBOutlet weak var nameLabel:UILabel!

    override func viewDidLoad() {
        super.viewDidLoad()
        
        escaping {[weak self] person in
            self?.nameLabel.text = person.name
        }
        
    }
    
    func escaping(completion:@escaping(Person)->Void) {
        let person = Person(name: "foma")
        DispatchQueue.main.asyncAfter(deadline: .now() + 2) {
            print("From Escaping Closure",completion(person))
        }
    }
    
}

---

오늘은 이렇게 클로져가 참조타입인 이유에 대해서 알아보았습니다.

 

혹시라도 궁금하신 점이 있거나 틀린 부분이 있다면 언제든 댓글로 알려주세요!