26. 함수의 추가 기능

ES6 이전의 함수

• 사용 목적에 따라 명확히 구분되지 않는다.
• 일반 함수로서 호출을 할 수 있는 것을 물론 생성자 함수로서 호출할 수 있었다.
• callable이면서 constructor다(객체에 바인딩된 함수도 마찬가지이며 이것은 문제가 된다 - 불필요한 프로토타입 객체 생성)

이런 문제를 해결하기 위해 ES6에서는 함수를 사용 목적에 따라 세 가지 종류로 명확히 구분했다.

ES6 함수의 구분	constructor	prototype	super	argument
일반 함수	O	O	X	O
메서드	X	X	O	O
화살표 함수	X	X	X	X

메서드

ES6 사양애서 메서드는 메서드 축약 표현으로 정의된 함수만을 의미한다.

const obj = {
	x:1,
	// foo는 메서드다.
	foo() {return this.x},
	bar: function() {return this.x}
};

• 인스턴스를 생성할 수 없는 non-constructor이다.
• 따라서 생성자 함수로서 호출할 수 없다.
• 인스턴스를 생성할 수 없으므로, prototype 프로퍼티가 없고 프로토타입도 생성하지 않는다.
• 표준 빌트인 객체가 제공하는 프로토타입 메서드와 정적 메서드는 모두 non-constructor다.
• 자신을 바인딩한 객체를 가리키는 내부 슬롯 [[ HomeObject]]를 갖는다 → super 키워드를 사용할 수 있다.

화살표 함수

콜백 함수 내부에서 this가 전역 객체를 가리키는 문제를 해결하기 위한 대안으로 유용하다.

• 화살표 함수는 인스턴스를 생성할 수 없는 non-constructor이다.
• 중복된 매개변수 이름을 선언할 수 없다.
• 함수 자체의 this, arguments, super, new.target 바인딩을 갖지 않는다.
  • 상위 스코프를 참조
• 일반 함수와 구변되는 가장 큰 특징 this
  • 콜백 함수 내부의 this 문제. 콜백 함수의 this와 외부 함수의 this가 서로 다른 값을 가리킴
  • 이를 해결하기 위한 방법은 다음과 같다

  1. add 메서드를 호출한 prefixer 객체를 가리키는 this를 일단 회피시킨 후에 콜백 함수 내부에서 사용한다.

     const Prefixer {
     	constructor(prefix) {
     		this.prefix = prefix
     	}
     }
     ---
     
     add(arr) {
     	//this를 회피시킨다.
     	const that = this;
     	return arr.map(function (item) {
     		//this 대신 that을 참조한다.
     		return that.prefix + ' ' + item;
     	});
     }

  2. Array.pretotype.map의 두 번째 인수로 add메서드를 호출한 prefixer 객체를 가리키는 this를 전달한다.

     add(arr) {
     	return arr.map(function (item) {
     		return this.prefix + ' ' + item;
     	}, this); // this에 바인딩된 값이 콜백 함수 내부의 this에 반영된다.
     }

  3. Function.pretotype.bind 메서드를 사용하여 add메서드를 호출한 prefixer 객체를 가리키는 this를 바인딩한다.

     add(arr) {
     	return arr.map(function (item) {
     		return this.prefix + ' ' + item;
     	}.bind(this)); // this에 바인딩된 값이 콜백 함수 내부의 this에 반영된다.
     }

     ES6에서는 화살표 함수를 사용하여 ‘콜백 내부의 this 문제’를 해결할 수 있다.

     class Prefixer {
     	constructor(prefix) {
     		this.prefix = prefix;
     	}
     
     	add(arr) {
     		return arr.map(item => this.prefix + item);
     	}
     }

  • 화살표 함수는 함수 자체의 this 바인딩을 갖지 않는다. 따라서 화살표 함수 내부에서 this를 참조하면 상위 스코프의this를 그대로 참조한다. 이를 lexical this라 한다.
  • 화살표 함수가 중첩되어 있다면 상위 화살표 함수에도 this 바인딩이 없으므로 스코프 체인 상에서 가장 가까운 상위 함수 중에서 화살표 함수가 아닌 함수의 this를 참조
  • Function.preotype.call, Function.preotype.apply, Function.preotype.bind 메서드를 사용해도 화살표 함수 내부의 this를 교체할 수 없다.
  • 메서드로 정의하는 것은 바람직하지 않다.
  • 메서드로 정의할 때는 ES6 메서드 축약 표현으로 정의한 ES6 메서드를 사용하는 것이 좋다.

super

화살표 함수는 함수 자체의 super 바인딩을 갖지 않는다. 따라서 화살표 함수 내부에서 super를 참조하면 this와 마찬가지로 상위 스코프의 super를 참조한다.

arguments

this와 마찬가지로 상위 스코프의 arguments를 참조한다.

Rest 파라미터

• 매개변수 이름 앞에 세개의 점 …을 붙여서 정의한 매개변수.
• 함수에 전달된 인수들의 목록을 배열로 전달받는다.
• 먼저 선언된 매개변수에 할당된 인수를 제외한 나머지 인수들로 배열이 구성되어 반드시 마지막 파라미터이어야한다.
• 단 하나만 선언할 수 있다.
• length 프로퍼티에 영향을 주지 않는다.
• 가변 인자 함수의 인수 목록을 직접 배열로 전달받아, 유사 배열 객체인 arguments 객체를 배열로 변환하는 번거로움을 피할 수 있다.
• 화살표 함수는 arguments 객체를 갖지 않으므로 반드시 rest 파라미터를 사용해야 한다.

매개변수 기본값

JS엔진은 매개변수의 개수와 인수의 개수를 체크하지 않아 수가 일치하지 않아도 에러가 발생하지 않는다(undefined)

따라서 다음과 같은 방어 코드가 필요하다.

function sum(x = 0, y = 0) {
	return x + y;
}

console.log(sum(1,2)); // 3
console.log(sum(1)); // 1

• Rest 파라미터에는 기본값을 지정할 수 없다.
• 함수 객체의 length 프로퍼티와 argument 객체에 아무런 영향을 주지 않는다.