[모던 자바스크립트 딥다이브] 18장 함수와 일급 객체

 

일급 객체 조건

1. 무명의 리터럴로 생성할 수 있음. 즉, 런타임에 생성 가능함
2. 변수나 자료구조에 저장가능
3. 함수의 매개변수에 전달가능
4. 함수의 반환값으로 사용가능

 

일급 객체

• 함수는 일급 객체의 조건을 모두 만족하므로 일급 객체임
• 함수를 객체와 동일하게 사용할 수 있다는 의미
• 객체는 값으미로 함수는 값과 동일하게 취급 가능
• 함수는 값을 사용할 수 있는 곳(변수 할당문, 객체의 프로퍼티 값, 배열의 요소, 함수 호출의 인수, 함수 반환문)이라면 어디서든 리터럴로 정의 가능하며 런타임에 함수 객체로 평가됨
• 가장 큰 특징은 일반 객체와 같이 함수의 매개변수에 전달 가능하며 함수의 반환값으로 사용할 수 있다는 것
• 하지만, 일반 객체와 달리 함수 객체는 호출할 수 있고 함수 고유의 프로퍼티를 소유함

// 1. 함수는 무명의 리터럴로 생성 가능
// 2. 함수는 변수에 저장 가능
// 런타임에 함수 리터럴이 평가되어 함수 객체가 생성되고 변수에 할당됨
const increase = function(num) { return num++; }

// 2. 함수는 객체에 저장 가능
const auxx = { increase };

// 3. 함수의 매개변수에 전달 가능
// 4. 함수의 반환값으로 사용 가능
function makeCounter(aux) {
	let num = 0;
    
    return function() {
    	num = aux(num);
        return num;
    }
}

// 3. 함수는 매개변수에 함수 전달 가능
const increaser = makeCounter(auxs.increase);

 

 

함수 객체의 프로퍼티

• Object.getOwnPropertyDescriptor 메서드로 모든 프로퍼티의 프로퍼티 어트리뷰트 확인 가능
• 함수 객체의 고유한 데이터 프로퍼티 : arguments, caller, length, name, prototype
• --proto-- 접근자 프로퍼티는 함수 객체 고유의 프로퍼티가 아니라 Object.prototype 객체의 프로퍼티를 상속받은 것임

 

arguments 프로퍼티

• arguments 프로퍼티 값은 arguments 객체임
• 함수 호출 시 전달된 인수의 정보를 담고 있는 순회 가능한 유사 배열 객체임
• 함수 내부에서 지역 변수처럼 사용함 => 함수 외부에서 참조 불가
• 함수가 호출되면 함수 몸체 내에서 암묵적으로 매개변수가 선언되고 undefined로 초기화된 이후 인수가 할당됨
• arguments의 callee 프로퍼티는 객체를 생성한 함수, 즉 함수 자신을 가리키고 length 프로퍼티는 인수의 개수를 가리킴
• arguments의 Symbol 프로퍼티는 arguments 객체를 순회 가능한 자료구조인 이터러블로 만들기 위한 프로퍼티임
• 자바스크립트 엔진은 선언된 매개변수의 개수와 함수를 호출할 때 전달하는 인수의 개수를 확인하지 않기 때문에 이때 유용하게 사용하는 것이 arguments 객체임
• 매개변수 개수를 확정할 수 없는 가변 인자 함수를 구현할 때 유용함
• 단, 유사배열이기 때문에 배열 메서드를 사용하면 에러가 발생함 => ES6에서 Rest 파라미터 도입(스프레드 연산자)

 

caller 프로퍼티

• ECMAScript 사양에 포함되지 않은 비표준 프로퍼티

 

length 프로퍼티

• 함수를 정의할 때 선언한 매개변수의 개수를 가리킴
• 인자의 개수와는 다름!

 

name 프로퍼티

• 함수 이름을 가리킴 (ES6부터)
• 함수 객체를 가리키는 식별자!

 

__proto__ 접근자 프로퍼티

• [[Prototype]] 내부 슬롯이 가리키는 프로토타입 객체에 접근하기 위해 사용하는 접근자 프로퍼티

 

prototype 프로퍼티

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