자바스크립트에서 함수는 값으로 취급된다.
모든 값은 자료형을 가지고 있으며, 함수의 자료형은 객체이다.
함수는 호출이 가능한(callable) ‘행동 객체’ 이다. 우리는 함수를 호출할 수 있을 뿐만 아니라 객체처럼 함수에 프로퍼티를 추가·제거하거나 참조를 통해 전달할 수도 있다.
함수 객체엔 몇 가지 프로퍼티가 있다.
‘name’ 프로퍼티를 사용하면 함수 이름을 가져올 수 있다.
function sayHi() {
alert("Hi");
}
alert(sayHi.name); // sayHi
함수 객체에 이름을 할당해주는 로직은 아주 똑똑해서 익명 함수라도 자동으로 이름이 할당된다.
let sayHi = function() {
alert("Hi");
};
alert(sayHi.name); // sayHi (익명 함수이지만 이름이 있네요!)
기본값을 사용해 이름을 할당한 경우에도 마찬가지이다.
function f(sayHi = function() {}) {
alert(sayHi.name); // sayHi (이름이 있네요!)
}
f();
자바스크립트 명세서에서 정의된 이 기능을 ‘contextual name’이라고 부른다. 이름이 없는 함수의 이름을 지정할 땐 컨텍스트에서 이름을 가져온다.
객체 메서드의 이름도 ‘name’ 프로퍼티를 이용해 가져올 수 있다.
let user = {
sayHi() {
// ...
},
sayBye: function() {
// ...
}
}
alert(user.sayHi.name); // sayHi
alert(user.sayBye.name); // sayBye
그런데 객체 메서드 이름은 함수처럼 자동 할당이 되지 않는다. 적절한 이름을 추론하는 게 불가능한 상황이 있는데, 이 때 name 프로퍼티엔 빈 문자열이 저장된다.
// 배열 안에서 함수를 생성함
let arr = [function() {}];
alert( arr[0].name ); // <빈 문자열>
// 엔진이 이름을 설정할 수 없어서 name 프로퍼티의 값이 빈 문자열이 됨
실무에서는 대부분의 함수가 이름이 있기 때문에 위와 같은 상황은 잘 발생하지 않는다.
length
프로퍼티내장 프로퍼티 length
는 함수 매개변수의 개수를 반환한다.
function f1(a) {}
function f2(a, b) {}
function many(a, b, ...more) {}
alert(f1.length); // 1
alert(f2.length); // 2
alert(many.length); // 2
위 예시를 통해 나머지 매개변수는 개수에 포함되지 않는다는 걸 확인할 수 있다.
한편, length
프로퍼티는 다른 함수 안에서 동작하는 함수의 타입을 검사할 때도 종종 사용된다.
질문에 쓰일 question
과 질문에 대한 답에 따라 호출할 임의의 수의 handler
함수를 함께 받는 함수 ask
를 예시로 이에 대해 알아보자.
사용자가 답을 제출하면 ask
는 핸들러 함수를 호출한다. 이때 우리는 두 종류의 핸들러 함수를 ask
에 전달할 수 있다.
handler.length
프로퍼티를 사용하면 상황에 맞는 handler 를 호출할 수 있다.사용자가 긍정적인 대답을 했을 때 사용할 인수가 없는 핸들러를 하나 만들고, 사용자의 응답 종류와 관계없이 범용적으로 사용할만한 핸들러도 구축해 ask
내부에서 handler.length
와 함께 사용하면 된다.
인수의 종류에 따라 인수를 다르게 처리하는 방식을 프로그래밍 언어에선 다형성이라고 부른다. 자바스크립트 라이브러리를 보면 다형성이 곳곳에서 사용되고 있다는 걸 확인할 수 있다.
함수에 자체적으로 만든 프로퍼티를 추가할 수도 있다.
이런 특징을 이용해 함수 호출 횟수를 counter
프로퍼티에 저장해보자.
function sayHi() {
alert("Hi");
// 함수를 몇 번 호출했는지 세봅시다.
sayHi.counter++;
}
sayHi.counter = 0; // 초깃값
sayHi(); // Hi
sayHi(); // Hi
alert( `호출 횟수: ${sayHi.counter}회` ); // 호출 횟수: 2회
sayHi.counter = 0
와 같이 함수에 프로퍼티를 할당해도 함수 내에 지역변수 counter
가 만들어지지 않는다. counter
프로퍼티와 변수 let counter
는 전혀 관계가 없다.
프로퍼티를 저장하는 것처럼 함수를 객체처럼 다룰 수 있지만, 이는 실행에 아무 영향을 끼치지 않는다. 변수는 함수 프로퍼티가 아니고 함수 프로퍼티는 변수가 아니기 때문이다. 둘 사이에는 공통점이 없다.
클로저는 함수 프로퍼티로 대체할 수 있다. counter
함수를 함수 프로퍼티를 사용해 바꿔보자.
function makeCounter() {
// let count = 0 대신 아래 메서드(프로퍼티)를 사용함
function counter() {
return counter.count++;
};
counter.count = 0;
return counter;
}
let counter = makeCounter();
alert( counter() ); // 0
alert( counter() ); // 1
이제 count
는 외부 렉시컬 환경이 아닌 함수 프로퍼티에 저장된다.
두 방법의 차이점은 count
값이 외부 변수에 저장되어있는 경우 드러난다. 클로저를 사용한 경우엔 외부 코드에서 count
에 접근할 수 없다. 오직 중첩함수 내에서만 count
값을 수정할 수 있다. 반면 함수 프로퍼티를 사용해 count
를 함수에 바인딩시킨 경우엔 다음 예시와 같이 외부에서 값을 수정할 수 있다.
기명 함수 표현식(Named Function Expression, NFE)은 이름이 있는 함수 표현식을 나타내는 용어이다.
일반 함수 표현식을 살펴보자.
let sayHi = function(who) {
alert(`Hello, ${who}`);
};
let sayHi = function func(who) {
alert(`Hello, ${who}`);
};
“func” 라는 이름을 붙여도 여전히 함수 표현식이다. 표현식을 할당한 형태를 유지하기 때문에 함수 선언문으로 바뀌지 않는다. 이름을 추가한다고 해서 기존에 동작하던 기능이 동작하지 않는 일은 발생하지 않는다.
sayHi()로 호출하는 것도 여전히 가능하다.
let sayHi = function func(who) {
alert(`Hello, ${who}`);
};
sayHi("John"); // Hello, John
func와 같은 이름을 붙이면 두 가지 변화가 생긴다.
함수 sayHi
를 예시로 이에 대해 살펴보자. 함수 sayHi
는 who
에 값이 없는 경우, 인수 ”Guest”
를 받고 자기 자신을 호출한다.
let sayHi = function func(who) {
if (who) {
alert(`Hello, ${who}`);
} else {
func("Guest"); // func를 사용해서 자신을 호출합니다.
}
};
sayHi(); // Hello, Guest
// 하지만 아래와 같이 func를 호출하는 건 불가능합니다.
func(); // Error, func is not defined (기명 함수 표현식 밖에서는 그 이름에 접근할 수 없습니다.)
예시 :
let sayHi = function(who) {
if (who) {
alert(`Hello, ${who}`);
} else {
sayHi("Guest");
}
};
하지만 이렇게 코드를 작성하면 외부 코드에 의해 sayHi
가 변경될 수 있다. 함수 표현식을 새로운 변수에 할당하고, 기존 변수에 null
을 할당하면 에러가 발생한다.
let sayHi = function(who) {
if (who) {
alert(`Hello, ${who}`);
} else {
sayHi("Guest"); // TypeError: sayHi is not a function
}
};
let welcome = sayHi;
sayHi = null;
welcome(); // 중첩 sayHi 호출은 더 이상 불가능합니다!
에러는 함수가 sayHi
를 자신의 외부 렉시컬 환경에서 가지고 오기 때문에 발생한다. 지역(local) 렉시컬 환경엔 sayHi
가 없기 때문에 외부 렉시컬 환경에서 sayHi
를 찾는데, 함수 호출 시점에 외부 렉시컬 환경의 sayHi
엔 null
이 저장되어있기 때문에 에러가 발생한다.
함수 표현식에 이름을 붙여주면 바로 이런 문제를 해결할 수 있다.
let sayHi = function func(who) {
if (who) {
alert(`Hello, ${who}`);
} else {
func("Guest"); // 원하는 값이 제대로 출력됩니다.
}
};
let welcome = sayHi;
sayHi = null;
welcome(); // Hello, Guest (중첩 호출이 제대로 동작함)
"func"이라는 이름은 함수 지역 수준(function-local)에 존재하므로 외부 렉시컬 환경에서 찾지 않아도 된다. 외부 렉시컬 환경에선 보이지도 않는다. 함수 표현식에 붙인 이름은 현재 함수만 참조하도록 명세서에 정의되어있기 때문이다.
이렇게 기명 함수 표현식을 이용하면 sayHi
나 welcome
같은 외부 변수의 변경과 관계없이 func
이라는 '내부 함수 이름’을 사용해 언제든 함수 표현식 내부에서 자기 자신을 호출할 수 있다.