자바스크립트 기초 쌓기 시리즈 - 3: 함수의 실행 컨텍스트와 아규먼트(Arguments) 메커니즘

 

함수에 대해서 이야기를 하기 전, 이해를 돕기 위해 함수와 비밀요원을 매칭해서 설명해 보겠습니다. 비밀요원은 임무가 떨어지기 전, 본부에서 대기하고 있을 때 아무런 무기나 장비가 없습니다. 그저 임무 지침서(함수 정의)만 기억하고 있을 뿐입니다. 그러다 본부로부터 출동 명령이 떨어지는 순간(함수 호출), 비밀 요원은 자신만의 독립된 임무 수행 공간(함수 실행 컨텍스트)으로 진입합니다. 임무 수행 공간으로 들어가면서 본부 가방 전달책으로부터 이번 작전에 필요한 특수 장비와 암호(전달인자: Arguments)가 담긴 가방을 건네받습니다. 요원은 작전 공간 안에서 오직 그 가방 속에 들어있는 장비들만 꺼내어 임무를 수행합니다. 작전 공간 외부에 있는 일반인들은 요원의 가방 내부에 어떤 치명적인 무기가 들어있는지 절대 들여다볼 수 없고 간섭할 수 없습니다. 자바스크립트 함수가 매개변수를 처리하는 과정이 비밀 요원의 임무 수행 과정과 동일합니다. 

 

 

 

 

 

함수 선언(Declaration)과 호출(Invocation)의 차이

 

가장 많이 하는 실수 중 하나는 함수의 메모리 할당 시점을 혼동하는 것입니다. 함수가 선언될 때는 실행 컨텍스트가 생성되지 않습니다. 함수 선언 시점(평가 단계)에서 자바스크립트 엔진은 함수가 적힌 물리적 위치를 보고 'A 함수가 여기에 생성됬구나'하고 상위 주소(Outer 참조)만 함수 객체에 적어두고 전역 메모리 힙(Heap)에 올려만 둡니다. 그리고 함수 호출 시점(런타임 단계)에서 코드 라인을 한 줄씩 읽다가 함수 이름 뒤에 '괄호()'를 붙여 실행하는 순간, 엔진은 콜 스택(Call Stack)에 전역 컨텍스트 위에 새로운 함수 실행 컨텍스트를 올립니다.

즉, 매개변수에 실제 데이터가 매핑되고 내역이 준비되는 바인딩 시점은 '함수가 호출되는 런타임 그 순간'에만 일어납니다.

 

 

 

 

 

매개변수와 환경 레코드

 

함수가 호출되어 함수 컨텍스트가 열리면, 엔진은 가장 먼저 해당 공간의 변수 대장인 환경 레코드(Environment Record)를 들여다봅니다. 정확히는 함수 컨텍스트의 경우 Declarative Environment Record 중에서도 Function Environment Record라는 특수한 장부가 생성됩니다. 해당 장부는 우리가 함수를 만들 때 명시한 매개변수의 이름들이 변수처럼 등록되는데, 여기에 전달인자도 등록됩니다.

 

매개변수 등록 프로세스

1. 매개변수(Parameter) 이름 등록
- 함수 정의에 적힌 순서대로 변수 이름을 장부에 기록합니다.

2. 값 할당(Binding)
- 호출 할 때 던져준 전달인자(Arguments)를 순서대로 매칭하여 값을 집어넣습니다. 만약 매개변수 개수보다 인자를 적게 던진 경우, 자바스크립트는 에러를 내지 않고 매칭되지 않은 나머지 매개변수에 'undefined'를 할당합니다.

3. 내장 전달인자 객체 생성

- 자바스크립트 엔진은 함수 내부에서 언제든 던져진 인자들을 배열 형태로 꺼내볼 수 있도록, 로컬 객체인 Arguments 객체를 자동으로 만들어 장부에 추가합니다.

 

소스 확인

function methodA(id, name){
    console.log("매개변수 확인: ", id, name);
    console.log("내장 arguments 객체: ", arguments);
    console.log("전달된 인자의 개수: ", arguments.length);
}

// 선언된 함수는 인자 2개를 받지만, 실행때 3개의 인자를 던져봄.
methodA("P20260528001", "Hongkildong", 20); // 함수가 실행되는 순간, 실행 컨텍스트가 Call Stack에 쌓임.

 

methodA("P20260528001", "Hongkildong", 20) 함수가 실행되는 순간, 힙 메모리에 생성되는 methodA 함수의 환경 레코드(Environment Record) 내부 상태는 아래와 같습니다.

 

[ methodA 함수의 환경 레코드 ]
{
　id : "P20260528001",         // 첫 번째 인자 바인딩
　name : "Hongkildong",       // 두 번째 인자 바인딩
　arguments: {
　　0: "P20260528001",
　　1: "Hongkildong",
　　2: 20,                              // 매개변수 이름은 없지만 arguments 객체에는 저장됨
　　length: 3,
　　callee: ƒ methodA(id, name)
　}
}

 

 

변수 이름으로 매핑된 것은 id와 name 둘 뿐이지만, 엔진이 자동으로 만든 arguments 객체에는 넘치게 들어온 세 번째 인자인 20까지 안전하게 저장되어 있습니다. 자바스크립트가 인자의 개수가 맞지 않아도 런타임 에러를 뿜지 않는 비결이 바로 이 arguments 객체의 유연성 덕분입니다.

 

 

 

 

 

ES6+에서의 매개변수와 환경 레코드

 

현업에서는 arguments 객체를 쓰기 보단, 기본값(Default Parameter)과 나머지 매개변수(Rest Parameter)를 사용합니다. 

 

소스 확인

// 기본값 매개변수 사용
function calculate(first, second = 10){
    console.log(first);
    console.log(second);
}
calculate(200); // 인자를 하나만 던짐.

// Rest Parameter 사용
function sum(first, ...remains){
    console.log(remains);
}
sum(10,20,30,40,"50");

 

 

✔️ 매개변수 기본값 사용

과거에는 전달인자가 안 들어오면 undefined를 환경 레코드에 넣었습니다. 하지만, ES6+ 환경에서 기본값이 지정되면 엔진은 인자 값을 바인딩할 때 조건을 겁니다. 

"전달된 인자가 없거나 undefined이면 장부에 기록할 때 엔진이 평가 단계에서 미리 준비해 둔 기본값(10)을 대신 채워 넣는다."

 

이렇게 기본값을 사용하게 되면, 'second가 없을 때 특정 기본값을 설정한다 (if(!second) second = 10;)'와 같은 로직이 필요 없고 엔진 레벨이 장부 초기화 단계로 흡수되어 깔끔한 로직으로 사용할 수 있습니다.

 

✔️ 나머지 매개변수(Rest Parameter) 사용

arguments 객체는 배열처럼 생겼지만 진짜 배열이 아닌 유사 배열 객체(Array-like Object)기 때문에 map이나 forEach 같은 강력한 배열 메서드를 쓰지 못합니다. 하지만, '... remains'라는 Rest Parameter를 쓰면 엔진은 환경 레코드에 데이터를 적재할 때, 매핑되고 남은 인자들을 모아서 진짜 Array 객체를 생성합니다.

 

[ sum 함수 Environment Record ]
{
　first: 1,
　remains: [20,30,40,"50"]　　　<< 가짜 배열이 아닌, Array.prototype을 상속받은 진짜 배열 객체
}

 

이렇듯 실무에서는 유사 배열 객체 arguments 대신 안전하고 강력한 진짜 배열 Rest Parameter로 대체하여 코드를 작성하고 있습니다.

 

 

 

 

 

매개변수 격리와 은닉화(Encapsulation)

 

현대 소프트웨어 공학에서 전역 변수의 무분별한 사용을 지양하고, 함수라는 독립된 단위를 통해 매개변수(Parameter)를 강제하는 이유는 소프트웨어의 안전성과 예측 가능성을 확보하기 위함입니다.

자바스크립트 엔진이 제공하는 '함수 실행 컨텍스트'의 독립된 장부 구조는 구조적 프로그래밍의 정수인 은닉화를 구현하는 물리적 기반이 됩니다. 이 메커니즘이 제공하는 세 가지 핵심적인 공학적 이점이 있습니다.

 

 

🛡️ 함수 컨텍스트 격리가 보장하는 3대 안전성

 

1. 정보 은닉을 통한 블랙박스화(Black Box)

함수가 실행될 때 생성되는 환경 레코드(Environment Record)는 외부 영역에서 절대로 직접 접근하거나 내부를 들여다볼 수 없는 격리 공간입니다. 외부 시스템은 오직 함수가 정의한 공식 통로인 '매개변수'를 통해서만 데이터를 전달할 수 있으며, 내부에서 그 데이터가 어떻게 가공되고 처리되는지는 알 필요가 없습니다. 이를 소프트웨어 공학에서는 '정보 은닉(Information Hiding)'이라고 부릅니다. 

내부 핵심 로직과 변수를 외부의 무분별한 접근 및 의도치 않은 오염으로부터 완벽하게 방어함으로써, 코드의 독립성과 무결성을 유지할 수 있게 됩니다.

 

2. 부수 효과(Side Effect)의 원천 차단과 불변성 지향

전역 변수를 수정하는 함수는 호출하는 타이밍이나 순서에 따라 전체 애플리케이션의 상태를 뒤흔드는 부수 효과를 발생시킵니다. 이는 대규모 프로젝트에서 추적하기 극도로 어려운 런타임 버그의 주원인이 됩니다.

반면, 매개변수를 통해 제어되는 함수는 외부 상태를 직접 참조하거나 수정하지 않습니다. 인자로 넘어온 값들을 독립된 함수 컨텍스트 내부 장부에 복사하거나 참조하여 연산한 뒤, 결과만을 return으로 안전하게 돌려줍니다.

또한 함수 내부에서 선언된 지역 변수와 매개변수들은 함수 실행이 종료되어 컨텍스트가 콜 스택에서 소멸하는 순간, 메모리 상에서 함께 안전하게 수거(Garbage Collection)됩니다. 전역 공간에 어떠한 흔적도 남기지 않으므로, 언제 어디서 호출하더라도 항상 동일한 결과를 보장하는 안전한 함수를 설계할 수 있습니다.

 

3. 모듈의 독립성 확보와 느슨한 결합(Loose Coupling)

좋은 소프트웨어 아키텍처는 변경 사항이 발생했을 때 다른 코드가 연쇄적으로 무너지는 파급 효과를 최소화해야 합니다. 매개변수를 적극적으로 활용하여 설계된 함수는 외부의 특정 환경이나 전역 변수의 존재 여부에 의존하지 않고, 오직 자신에게 주어지는 매개변수만을 바라보고 임무를 수행합니다. 이를 '느슨한 결합(Loose Coupling)'이라고 하며, 컴포넌트의 재사용성을 극대화합니다. 전역 환경이 어떻게 변경되든 관계없이 함수 자체를 다른 파일이나 다른 프로젝트로 그대로 옮겨 심어도 완벽하게 독립적으로 작동하는 단단한 소프트웨어 모듈이 완성되는 것입니다.

 

 

 

 

 

@Junesker

---