TIL : 함수와 일급객체

일급객체

: 일급 객체의 조건을 충족하는 객체.

일급객체의 조건

1. 무명의 리터럴로 생성할 수 있다. ( = 런타임(할당단계)에 생성이 가능하다. )

2. 변수나 자료구조( 객체, 배열 등 )에 저장할 수 있다.
   

3. 함수의 매개변수에 전달할 수 있다.

4. 함수의 반환 값으로 사용할 수 있다.

• 함수 = 일급객체
  

⭐ 자바스크립트의 함수는 위의 조건을 만족하므로 일급객체이다. ⭐

• 함수는 일급객체이다 = 함수를 객체와 동일하게 사용할 수 있다.

  ⇒ 객체 = 값 이므로, 함수 = 값 으로 취급할 수 있다.
  

• 함수의 매개변수에 저장되고, 함수의 반환값으로 사용할 수 있다는 특징이 함수형 프로그래밍을 가능하게 하는 자바스크립트의 장점이다.

• 함수객체와 일반객체의 차이점

  1. 일반 객체는 호출할 수 없지만, 함수 객체는 호출할 수 있다.
  2. 일반 객체에는 없는 함수 고유의 프로퍼티를 소유한다.

사진 : 출처블로그

---

함수객체의 프로퍼티

1. arguments 프로퍼티

• arguments 프로퍼티의 값 = arguments 객체
• arguments 객체 ? 함수 호출 시, 전달된 인수들의 정보를 담고 있는 순회가능한(iterable) 유사배열객체.
  • 유사배열객체 ? : length 프로퍼티를 가진 객체. for문으로 순회할 수 있는 객체 .
    유사배열 객체에 배열메서드를 사용하려면
    Function.prototype.call ,Function.prototype.apply 를 사용해 간접호출 ⇒ Rest 파라미터 도입 ( ES6 )
    
• 함수를 정의할 때, 선언한 매개변수는 함수 몸체 내부에서 변수와 동일하게 취급한다.
  ⇒ 함수가 호출되면 함수 몸체 내에서 암묵적으로 매개변수가 선언되고, undefined로 초기화 된 후에 인수가 할당된다.

• 자바스크립트는 함수의 매개변수와 인수의 개수가 일치하는지 확인을 따로 하지 않으므로,
  함수 호출 시 매개변수 개수만큼 인수를 전달하지 않아도 에러발생 X
  - 인수가 적게 전달됨 ⇒ 인수가 전달되지 않은 매개변수는 undefined
  - 인수가 많이 전달됨 ⇒ 초과된 인수는 무시함 ⇒ arguments 객체에 전달

  arguments 객체는 매개변수 개수를 확정할 수 없는 가변 인자 함수를 구현할 때 유용하다. 

• Symbol 프로퍼티
  : arguments 객체를 이터러블( 순회 가능한 자료구조 )로 만들기 위한 프로퍼티

2. caller 프로퍼티

• ECMAScript 사양에 포함되지 않은 비표준 프로퍼티.
• 함수 자신을 호출한 함수를 가리킨다.

function foo(func){
	return func();
}
function bar(){
	return 'caller: ' + bar.caller;
}

console.log(foo(bar); // caller : function foo(func){...}
console.log(bar()); // caller : null

3. length 프로퍼티

• 함수를 정의할 때 선언한 매개변수의 개수
• arguments객체의 length 프로퍼티의 value와 다르므로 주의!
  - arguments 객체 : 인자의 개수
  • 함수 객체 : 매개변수의 개수

4. name 프로퍼티

• 함수의 이름을 나타냄
• ES6부터 정식 표준이 되었다.
• 익명 함수 표현식
  ES5 : 빈 문자열
  ES6 : 함수 객체를 가리키는 식별자

5. proto 접근자 프로퍼티

• 모든 객체는 [[Prototype]] 이라는 내부슬롯을 가지며, 이 내부 슬롯은 객체지향 프로그래밍의 상속을 구현하는 프로토타입 객체를 가리킨다.
• [[Prototype]] 내부슬롯에는 직접 접근할 수 없기 때문에 간접적인 접근 방법으로 접근해야하는데, 이 때 사용하는 것이 proto 접근자 프로퍼티이다.

6. prototype 프로퍼티

• 생성자 함수로 호출할 수 있는 함수 객체 = constructor만이 소유하는 프로퍼티
• 함수가 객체를 생성하는 생성자 함수로 호출될 때, 생성자 함수가 생성할 인스턴스의 프로토타입 객체를 가리킨다.