[JS Deep Dive] 4,5장 정리 - 변수, 표현식과 문에 대하여

4장- 변수

‘10 + 20’ 자바스크립트 코드를 계산(평가 하려면),

1. 10, 20, +라는 기호(리터럴과 연산자)의 의미를 알고 있어야 하며
2. 10 + 20이라는 식(표현식)의 의미도 해석(파싱)할 수 있어야 한다.

자바스크립트 엔진이 10 + 20이라는 식의 의미를 해석하면 + 연산을 수행하기 위해 먼저 + 연산자의 좌변과 우변의 숫자 값, 피연산자를 기억한다.

→ 이 때 컴퓨터는 CPU를 사용해 연산하고, 메모리를 사용해 데이터를 기억한다.

 

메모리는 데이터를 저장할 수 있는 메모리 셀의 집합체

 

메모리 셀 하나의 크기는 1바이트(8비트)

 

컴퓨터는 메모리 셀의 크기, 즉 1바이트 단위로 데이터를 저장하거나 읽어들임

 

각 셀은 고유의 메모리 주소를 가짐

→ 메모리 공간의 위치를 나타냄(0부터 시작, 메모리의 크기만큼 정수로 표현)

→ ex. 4GB 메모리는 0부터 4,294,967,295(0x00000000 ~ 0xFFFFFFFF)까지의 주소를 가짐

→ 이 때 메모리에 저장되는 데이터는 데이터의 종류와 상관없이 모두 2진수로 저장

 

10 + 20 = 30이라고 연산을 끝내도, 연산 결과 30을 재사용할 수 없다.

→ 메모리 주소를 통해 연산 결과가 저장된 메모리 공간에 직접 접근하는 것은 치명적 오류를 발생시킬 가능성이 높은 매우 위험한 일

→ 자바스크립트는 개발자의 직접적인 메모리 제어를 허용x

 

따라서 프로그래밍 언어는 기억하고 싶은 값을 메모리에 저장하고,

저장한 값을 읽어들여 재사용하기 위해 변수라는 메커니즘을 제공

 

변수: 하나의 값을 저장하기 위해 확보한 메모리 공간 자체 또는 그 메모리 공간을 식별하기 위해 붙인 이름

→ 값의 위치를 가리키는 상징적인 이름

변수 이름: 메모리 공간에 저장된 값을 식별할 수 있는 고유한 이름

변수 값: 변수에 저장된 값

할당(assignment, 대입, 저장): 변수에 값을 저장하는 것

참조(reference): 변수에 저장된 값을 읽어들이는 것

---

식별자

식별자: 어떤 값을 구별해서 식별할 수 있는 고유한 이름, 즉 변수 이름

식별자는 값이 저장되어 있는 메모리 주소와 매핑 관계를 맺으며, 이 매핑 정보도 메모리에 저장되어야 함

→ 식별자는 값이 아니라 메모리 주소를 기억

→ 변수, 함수, 클래스 등의 이름은 모두 식별자

---

변수 선언

변수를 생성하는 것

→ 값을 저장하기 위한 메모리 공간을 확보하고 변수 이름과 확보된 메모리 공간의 주소를 연결해서 값을 저장할 수 있게 준비하는 것

 

변수를 사용하려면 선언이 필요. 변수를 선언할 때는 var, let, const 키워드를 사용

ES6에서 let, const 키워드가 도입, 그 전까지는 var 키워드가 변수를 선언할 수 있었던 유일한 키워드

 

키워드: 자바스크립트 코드를 해석하고 실행하는 자바스크립트 엔진이 수행할 동작을 규정한 일종의 명령어

 

자바스크립트 엔진은 변수 선언을 2단계에 거쳐 수행

1. 선언 단계: 변수 이름을 등록해서 자바스크립트 엔진에 변수의 존재를 알림
2. 초기화 단계: 값을 저장하기 위한 메모리 공간을 확보하고 암묵적으로 undefined를 할당해 초기화

 

실행 컨텍스트

자바스크립트 엔진이 소스코드를 평가하고 실행하기 위해 필요한 환경을 제공하고 코드의 실행 결과를 실제로 관리하는 영역

→ 자바스크립트 엔진은 실행 컨텍스트를 통해 식별자와 스코프를 관리

→ 변수 이름과 변수 값은 실행 컨텍스트 내에 키/값 형식인 객체로 등록되어 관리

 

선언하지 않은 식별자에 접근하면 ReferenceError(참조 에러)가 발생

→ 식별자를 통해 값을 참조하려 했지만 자바스크립트 엔진이 등록된 식별자를 찾을 수 없을 때 발생하는 에러

---

변수 선언의 실행 시점과 변수 호이스팅

변수 선언은 소스코드가 한 줄씩 순차적으로 실행되는 시점, 즉 런타임이 아니라 그 이전 단계에서 머저 실행

→ 자바스크립트 엔진은 변수 선언이 소스코드의 어디에 있든 상관없이 다른 코드보다 먼저 실행

→ 변수 선언이 소스코드의 어디에 위치하는지와 상관없이 어디서든지 변수 참조 가능

 

변수 호이스팅: 변수 선언문이 코드의 선두로 끌어 올려진 것처럼 동작하는 자바스크립트 고유의 특징

---

값의 할당

변수에 값을 할당할때는 할당 연산자 =를 사용.

→ 우변의 값을 좌변의 변수에 할당

 

변수 선언은 소스코드가 순차적으로 실행되는 시점인 런타임 이전에 먼저 실행되지만 값의 할당은 소스코드가 순차적으로 실행되는 시점인 런타임에 실행

console.log(score); // undefined

var score; // 변수 선언
score = 80; // 값의 할당

console.log(score); // 80

변수에 값을 할당할 때는 이전 값 undefined가 저장되어 있던 메모리 공간을 지우고 그 메모리 공간에 할당 값 80을 새롭게 저장하는 것이 아니라 새로운 메모리 공간을 확보하고 그곳에 할당 값 80을 저장함

---

값의 재할당

재할당: 이미 값이 할당되어 있는 변수에 새로운 값을 또다시 할당하는 것

 

값을 재할당 할 수 없어서 변수에 저장된 값을 변경할 수 없다면 변수가 아니라 상수라고 한다.

→ 상수는 단 한 번만 할당할 수 있는 변수

→ const는 재할당이 금지, 즉 상수를 표현(but 상수만을 위해 사용되지는 않음)

 

값이 재할당될 때 마다 새로운 메모리 공간을 확보하고 그 메모리 공간에 새로운 값을 저장한다.

 

가비지 콜렉터

애플리케이션이 할당한 메모리 공간을 주기적으로 검사하여 더 이상 사용되지 않는 메모리를 해제하는 기능

→ 자바스크립트는 가비지 콜렉터를 내장하고 있는 매니지드 언어로서 가비지 콜렉터를 통해 메모리 누수를 방지

 

언매니지드 언어와 매니지드 언어

언매니지드 언어는 메모리 제어를 개발자가 주도( c언어는 메모리를 개발자가 명시적으로 할당하고 해제)

매니지드 언어는 메모리 관리 기능을 언어 차원에서 담당하고 개발자의 직접적인 메모리 제어를 허용하지 않는다.

---

식별자 네이밍 규칙

• 식별자는 특수문자를 제외한 문자, 숫자, 언더스코어(_), 달러 기호($)를 포함할 수 있다.
• 식별자는 특수문자를 제외한 문자, 언더스코어, 달러 기호로 시작해야한다. (숫자로 시작은 허용x)
• 예약어는 식별자로 사용할 수 없다.

예약어는 프로그래밍 언어에서 사용디고 있거나 사용할 예정인 단어

 

알파벳 외에 유니코드 문자로 명명된 식별자를 사용하는 것은 권장되지 않는다.

자바스크립트는 대소문자를 구별한다.

---

네이밍 컨벤션

firstName → 카멜 케이스(camelCase)

first_name → 스네이크 케이스(snake_case)

FirstName → 파스칼 케이스(PascalCase)

자바스크립트에서는 일반적으로 변수나 함수의 이름에는 카멜 케이스를 사용하고, 생성자 함수, 클래스의 이름에는 파스칼 케이스를 사용한다.

 

---

5장 - 표현식과 문

값(value)은 식(표현식,expression)이 평가되어 생성된 결과

리터럴

사람이 이해할 수 있는 문자 또는 약속된 기호를 사용해 값을 생성하는 표기법

자바스크립트 엔진은 코드가 실행되는 시점인 런타임에 리터럴을 평가해 값을 생성

리터럴에는 정수 리터럴, 부동소수점 리터럴, 2진수 리터럴, 문자열 리터럴… 등이 있다.

---

표현식

값으로 평가될 수 있는 문(statement)

→ 표현식이 평가되면 새로운 값을 생성하거나 기존 값을 참조

---

문

프로그램을 구성하는 기본 단위이자 실행 단위(명령문이라고도 부른다)

문은 여러 토큰으로 구성

→ 토큰이란 문법적인 의미를 가지며, 문법적으로 더 이상 나눌 수 없는 코드의 기본 요소

문은 선언문, 할당문, 조건문, 반복문 등으로 구분할 수 있다.

---

세미콜론과 세미콜론 자동 삽입 기능

세미콜론은 문의 종료를 나타낸다.

자바스크립트 엔진이 소스코드를 해석할 때 문의 끝이라고 예측되는 지점에 세미콜론을 자동으로 붙여주는 세미콜론 자동 삽입 기능(ASI)가 압묵적으로 수행

→ 문의 끝에 붙이는 세미콜론은 옵션

→ 하지만 세미콜론 사용이 권장되는 분위기

---

표현식인 문과 표현식이 아닌 문

표현식인 문은 값으로 평가될 수 있는 문

변수 선언문은 값으로 평가될 수 없다.

표현식인 문과 표현식이 아닌 문을 구별하는 가장 간단하고 명료한 방법은 변수에 할당해 보는 것이다.

---

완료 값

크롬 개발자 도구에서 표현식이 아닌 문을 실행하면 언제나 undefined를 출력하는데, 이를 완료 값이라 한다.

→ 완료 값은 표현식의 평가 결과가 아니다. 변수 할당,참조 불가능