[CS] 일급 객체란?

 

안녕하세요 Foma 입니다!

 

클로져에 대해서 정확히 공부하려고 알아보던 와중에 "클로져는 일급객체이다" 라는 말에서

 

일급객체에 대해서 명확하게 설명할 수가 없어서 구체적으로 알아보고 정리해보겠습니다.

 

바로 시작할게요!

---

First-Class-Object(일급 객체)

 

일급 객체란 무엇일까?🧐

 

위키백과에는 다음과 같이 정의되어있습니다.

 

"일급 객체란 다른 객체들에 일반적으로 적용 가능한 연산을 모두 지원하는 객체를 가리킨다. 보통 함수에 매개변수로 넘기기, 수정하기, 변수에 대입하기와 같은 연산을 지원할 때 일급 객체라고 한다."

 

즉, 함수를 값으로도 저장할 수 있고 파라미터로 넣어줄 수도 있고 리턴값으로도 쓰일 수가 있는 것이 일급 객체입니다.

 

1960년대, 영국의 컴퓨터 과학자 크리스토퍼 스트래치가 처음 이 개념에 대해서 언급했다고 하네요.

 

---

1. 함수를 값으로 저장할 수 있다.

 

간단하게 a와 b를 더해주는 함수를 만들어주겠습니다.

 

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

 

다음과 같이 함수자체를 값으로 저장할 수 있습니다.

 

let aPlusB = firstClassObject(1, 2)

---

2. 함수를 파라미터로 넣어줄 수 있다.

 

다음과 같이 a와 b 그리고 aPlusB 함수를 파라미터로 가지고 있는 argumentAPlusB를 만들어주고

 

argumentAPlusB에 firstClassObject를 인수로 넣어줄 수 있다.

func paramAPlusB(a:Int,b:Int,aPlusB:(Int,Int)->Int) {
   print(aPlusB(a,b))
}

paramAPlusB(a: 1, b: 2, aPlusB:firstClassObject(_:_:))

---

3. 함수를 리턴값으로 쓸 수 있다.

 

다음과 같이 함수를 반환값으로 쓸 수 있습니다.

 

func returnAPlusB(a:Int,b:Int)-> Int {

    return firstClassObject(a, b)
}

returnAPlusB(a: 1, b: 2)

---

(다음과 함수를 인자값으로 받으면서 동시에 반환할 수도 있습니다. 효율적인 코드는 아니지만 예시를 위해...)

func returnAndParamAPlusB(a:Int,b:Int,aPlusB:(Int,Int)->Int) -> Int {
    
    return aPlusB(a,b)
}

returnAndParamAPlusB(a: 1, b: 2, aPlusB: firstClassObject(_:_:))

---

이렇게 예시를 통해 일급객체에 대해서 알아보았는데요.

 

일급객체를 사용하면 고차 함수와 콜백 함수를 구현할 수 있는 장점이 있습니다.

 

고차함수와 콜백함수에 대해서는 나중에 구체적으로 정리하도록 하겠습니다.

 

혹시라도 궁금하신 점이 있다면 댓글로 알려주세요!