[js] 함수와 일급 객체

일급 객체

일급 객체
1. 무명의 리터럴로 생성할 수 있다. 즉, 런타임에 생성이 가능
2. 변수나 자료구조(객체, 배열 등)에 저장할 수 있다.
3. 함수의 매개변수에 전달할 수 있다.
4. 함수의 반환값으로 사용할 수 있다.

- 함수가 일급객체라는 것은 함수를 객체와 동일하게 사용할 수 있다는 의미

   - 객체는 값이므로 함수는 값과 동일하게 취급할 수 있음.

- 따라서 함수는 값을 사용할 수 있는 곳이라면 리터럴로 정의할 수 있으며 런타임에 함수 객체로 평가된다.

- 함수형 프로그래밍을 가능케 하는 자바스크립트의 장점 중 하나다.

//자바 스크립트는 위의 조건을 모두 만족해서 일급 객체임.

//1.2. (변수에 저장)
const increase = function (num) {
	return ++num;
};

const decrease = function (num) {
	return --num;
};

//2. (객체에 저장)
const auxs = {increase, decrease};

- 함수는 객체이지만, 일반 객체와는 차이가 있다.

   - 일반 객체는 호출할 수 없지만, 함수 객체는 호출할 수 있다.

   - 그리고 함수 객체는 일반 객체에는 없는 함수 고유의 프로퍼티를 소유한다.

 

함수 객체의 프로퍼티

- 함수는 객체라서 프로퍼티를 가질 수 있음 -> console.dir 메서드로 함수 객체 내부를 볼 수 있다.

   - 모든 프로퍼티의 어트리뷰트는 -> Object.getOwnPropertyDescriptors 메서드로 확인할 수 있다.

   - arguments, caller, length, name, prototype 프로퍼티는 모두 함수 객체의 데이터 프로퍼티

   - __proto__는 접근자 프로퍼티 (함수 객체 고유의 프로퍼티가 아니라 Object.prototype객체의 프로퍼티를 상속받음.)

 

1) arguments 프로퍼티

- arguments 객체는 함수 호출 시 전달된 인수들의 정보를 담고 있는 iterable한 유사 배열 객체

- 함수 객체의 arguments는 함수 내부에서 지역 변수처럼 사용할 수 있는 arguments 객체를 참조함.

자바스크립트는 함수의 매개변수와 인수의 개수가 
일치하는 지 확인하지 않는다.

//arguments 객체의 Symbol 프로퍼티

function multiply(x, y) {
	const iterator = arguments[Symbol.iterator]();
    
    console.log(iterator.next()); // {value: 1, done:false}
    console.log(iterator.next()); // {value: 2, done:false}
    console.log(iterator.next()); // {value: 3, done:false}
    console.log(iterator.next()); // {value: undefined, done:true}
    
    return x * y;
}

multiply(1, 2, 3);

- 유사 배열 객체는 배열이 아니라서 배열 메서드를 사용할 경우 에러가 발생

   - Function.prototype.call, Function.prototype.apply를 사용해 간접 호출해야 함.

function sum() {
	// arguments 객체를 배열로 변환
	const array = Array.prototype.slice.call(arguments);
    return array.reduce(function(pre,cur) {
    	return pre + cur;
    }, 0);
}

console.log(sum(1,2));
console.log(sum(1,2,3,4,5));

- ES6 Rest 파라미터의 도입으로 이거 별로 중요하지 않게 됨.

function sum(... args) {
	return args.reduce((pre, cur) => pre+cur, 0);
}

2) caller 프로퍼티 

- ECMAScript 사양에 포함되지 않은 비표준 프로퍼티라고 함 (이후 표준화돌 예정도 없는 프로퍼티라 참고만)

function foo(func) { return func() };

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

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

3) length 프로퍼티 

- 함수를 정의할 때, 선언한 매개변수의 개수를 가리킴.

4) name 프로퍼티

- 함수 이름을 나타냄. (ES6에서 정식 표준이 되었다.)

5) __proto__ 접근자 프로퍼티

- 모든 객체는 [[Prototype]]이라는 내부 슬롯을 갖는다.

   - [[Prototype]] 내부 슬롯은 객체지향 프로그래밍의 상속을 구현하는 프로토타입 객체를 가리킨다.

- __proto__ 프로퍼티는 프로토타입 객체에 접근하기 위해 사용하는 접근자 프로퍼티이다.

const obj = { a: 1 };
console.log(obj.__proto__ === Object.prototype); // true

console.log(obj.hasOwnProperty('a')); // true
console.log(obj.hasOwnProperty('__proto__')); // false 

//hasOwnProperty : 키가 객체 고유의 프로퍼티일 때만 true, 상속받은 프로토타입의 프로퍼티인 경우 false

 

6) prototype 프로퍼티

- 생성자 함수로 호출할 수 있는 함수 객체, 즉, constructor만이 소유하는 프로퍼티

- 일반 객체와 non-constructor에는 prototype 프로퍼티가 없다.