[Swift] 일급 객체 (First-class Citizen) 정리

고차함수, 클로저에 대해 공부하려니 '일급 객체'에 대한 이야기가 많이 등장한다.

정확히 개념을 숙지하지 못한 상태에서 클로저와 고차함수를 사용해왔지만,

확실하게 정리하지 않고 넘어가니 내용이 깊어질수록 이해가 어려워지는듯 하여 정리해보려고 한다.

 

📎 일급 객체 (First-class Citizen)

일급 객체는 이름만 들어보면 제일 뛰어난?.. 객체인가 하고 생각하기 쉽지만,

오히려 급이 하나인 객체! 라고 생각하는 것이 더 적합하다.

 

👉 아래는 일급 객체가 되기 위한 충족 조건이다.

• 전달 인자로 전달 가능하다.
• 변수나 데이터 구조 안에 담을 수 있다.
• 반환 값으로 사용 가능하다.

위의 내용을 보면 좀 어려워 보일 수 있지만,,

한 마디로 요약하자면, 그냥 변수나 상수처럼 사용할 수 있어야 한다는 뜻이다.

(거의 모든 언어에서 변수, 상수는 일급 객체의 조건을 갖추고 있다.)

 

이제 여기서 짚어야 할 점은, Swift는 함수형 언어라는 점!

(스위프트의 언어적 특성에 대한 내용은 요기👇에서 참고해주세요.)

2021.06.09 - [📍 Swift Note/📋 Concept Summary] - [Swift] 스위프트의 언어적 특성

[Swift] 스위프트의 언어적 특성

 

Swift가 함수형 언어가 될 수 있었던 가장 중요한 이유가 바로

Swift에서는 함수를 일급 객체로 취급한다는 점이다.

함수가 일급 객체가 된다는 것은,

다양한 종류의 함수를 호출, 전달, 반환하는 등의 동작만으로 프로그램 구현이 가능하다는 이야기!

 

그렇다면 Swift에서 함수가 일급 객체의 조건을 만족하는지, 위의 충족 조건 세가지를 테스트해보자.

---

📎 Swift의 함수의 일급객체 증명

간단히 함수를 이용한 코드를 작성해보며 예시를 확인해본다.

 

✏️ 전달 인자로 전달이 가능한가?

func plus(_ num: Int) -> Int {
    return num + 1
}

func minus(_ num: Int) -> Int{
    return num - 1
}

func calculate(_ a: Int, _ b: Int) -> Int {
    return a + b
}

calculate(plus(1), minus(2))
// 3

calculate 함수를 호출하면서 전달 인자로 plus, minus 함수를 사용하는 것이 가능한 것을 확인할 수 있다.

 

✏️ 변수나 데이터 구조 안에 담을 수 있는가?

func plus(_ num: Int) -> Int {
    return num + 1
}

func minus(_ num: Int) -> Int{
    return num - 1
}

func calculate(_ a: Int, _ b: Int) -> Int {
    return a + b
}

let p = plus
let m = minus

calculate(p(1), m(2))
// 3

변수에 함수를 저장하여 사용할 수 있음을 확인 가능하다.

 

✏️ 반환 값으로 사용 가능한가?

func plus(_ num: Int) -> Int {
    return num + 1
}

func minus(_ num: Int) -> Int{
    return num - 1
}

func calculate(_ a: Int, _ b: Int) -> Int {
    return plus(a) + plus(b)
}

let p = plus
let m = minus

calculate(p(1), m(2))
// 5

calculate 함수 안에서 반환 값으로 plus, minus 함수를 사용해주었다.

반환 값으로 함수를 사용할 수 있는 것을 확인할 수 있다.

---

🌟 정리 🌟

일급 객체란 전달인자, 반환 값으로 사용할 수 있고 변수나 데이터 구조 안에 담을 수 있는 것.

Swift는 함수형 언어로, 함수를 일급 객체로 사용할 수 있음!

 

---

참고

• 📖 스위프트 프로그래밍
• https://machiner.tistory.com/24
• https://richard25.tistory.com/62