Swift10 - first class citizen

1급객체란?

- 컴퓨터 프로그래밍 언어 디자인에서, 일급 객체란 다른 객체들에 일반적으로 적용 가능한 연산을 모두 지원하는 객체를 가리킨다.

- 보통 함수에 매개변수로 넘기기, 수정하기, 변수에 대입하기와 같은 연산을 지원할 때 일급 객체라고 한다.

- 일급객체는 무슨 혜택을 받는다는 게 아니라, 사용할 때 다른 요소들과 아무런 차별이 없다는 것을 뜻한다.

- 정수와 실수처럼 가장 간단한 스칼라 자료형은 대부분 일급 객체이다.

- 스위프트에서는 클로저를 통해 일급함수를 구현

 

일급 객체와 이급 객체. 

ALGOL에서 실수는 표현식에 사용하거나 변수에 할당할 수 있으며, 프로시저에 매개변수로 넘겨질 수 있다. 하지만 프로시저의 경우 프로시저 콜에서 호출 대상 혹은 매개 변수로 등장할 수 있을 뿐이며, 프로시저를 반환하는 프로시저는 없다. 이런 측면에서 ALGOL에서의 프로시저는 이급 시민이다. 언제나 직접 나타나야 하며 변수나 연산식으로 대신 나타낼 수 없기 때문이다.

 

일급객체 조건

모든 일급 객체는 함수의 실질적인 매개변수가 될 수 있다.

모든 일급 객체는 함수의 반환값이 될 수 있다.

모든 일급 객체는 할당의 대상이 될 수 있다.

모든 일급 객체는 비교 연산(==, equal)을 적용할 수 있다

 

일급 객체이기 때문에 할 수 있는 것

콜백 패턴 을 사용할 수 있다.

고차함수(High-order function) 를 만들 수 있다.