Data type & Variable - wooyeonhui/Yeonny GitHub Wiki

프로그래밍은 변수를 통해 값을 저장하고 참조하며 연산자로 값을 연산, 평가하고 조건문과 반복문에 의한 흐름제어로 데이터의 흐름을 제어하고 함수로 재사용이 가능한 구문의 집합을 만들며 객체, 배열 등으로 자료를 구조화하는 것이다.

변수는 위치(주소)를 기억하는 저장소이다. 위치란 메모리 상의 주소(address)를 의미한다. 즉 변수란 메모리 주소(Memory address)에 접근하기 위해 사람이 이해할 수 있는 언어로 지정한 식별자(identifier)이다.

변수(memory address에 접근하기 위한 식별자)를 통해 메모리에 값을 저장하기 위해서는 우선 필요한 저장 단위(byte)를 알아야한다. 이는 값의 종류에 따라 값을 저장하기 위해 확보해야할 메모리의 크기가 다르기 떄문이다. 이때 값의 종류 즉 데이터의 종류를 자료형(Data Type)이라 한다.

예를 들어 1byte(8bit)로 표현할 수 있는 값의 총수는 256개(2^8), 4byte(32bit)로 표현할 수 있는 값의 총수는 4,294,967,296ro(2^32)이다.

C나 Java같은 C-fammily 언어는 Static Typing(정적 타이핑) 언어로 변수 선언시 변수에 저장할 값의 종류레 따라 사전에 자료형을 지정(Type annotation)하여야 한다. 다음은 C에서 정수형 변수를 선언하는 예이다.

위 선언을 만나면 시스템은 이후 할당될 값과는 상관없이 4byte의 메모리를 할당해준다.따라서 자료형에 맞는 값을 대입(할당)하여야한다. 다음은 C에서 정수형 변수에 문자열을 잘못 할당한 예이다.

JavaScript는 동적 타이핑(Dynamic Typing) 언어로 변수의 Type annotation이 필요없이 값이 할당되는 과정에서 자동으로 자료형이 결정(Type Inference)된다. 따라서 같은 변수에 여러 자료형의 값을 대입할 수 있다.

JavaScript에는 어떠한 자료형이 있는지 그리고 변수는 어떻게 사용하는지 알아보도록 하자.

1. Data Type (자료형) 자료형(Data Type)은 프로그래밍 언어에서 문자열, 숫자, 불리언, 객체 등 여러 종류의 데이터를 식별하는 분류를 말한다. 모든 프로그래밍 언어의 학습은 자료형을 파악하는 것으로부터 시작된다.

• 기본 자료형(primitive data type)
• • Boolean
• • null
• • undefined
• • Number
• • String
• • Symbol (ECMAScript 6에서 추가)
• 객체형(Object type)
• • Object

Javascript의 자료형은 크게 기본 자료형(primitive data type)과 객체형(참조형)으로 구분할 수 있다.

Primitive Data Type(기본자료형)

• 기본자료형(Primitive data type)의 값은 변경 불가능한 값(immutable value)이다. 또한 이들은 pass-by-value 이다.

Boolean

• 논리적인 요소를 나타내며 true와 false 두가지 값을 가질 수 있다. 비어있는 문자열과 null, undefined,숫자0은 false로 간주된다.

null

• null 타입은 딱 한 가지 값, null 을 가질 수 있다. JavaScript는 case-sensitive하므로 null은 Null,NULL등과 다르다.

• Computer science에서 null은 의도적으로 기본형(primitives) 또는 object형 변수에 값이 없다는 것을 명시한 것이다.

• 주의할 것은 데이터 형식을 나타내는 문자열을 반환하는 typeof연산자로 null값은 가진 변수를 연산해 보면 null이 아닌 object가 나온다.이는 성계상의 문제이다.

따라서 null타입 변수인지 확인할 때 typeof 연산자를 사용하면 안되고 일치 연산자(===)를 사용하여야 한다.

undefined

• 값을 할당하지 않은 변수는 undefined 값을 가진다. 즉, 선언은 되었지만 할당된 적이 없는 변수에 접근하거나 존재하지 않는 객체 프로퍼티에 접근할 경우 반환된다.

Number

• C 언어의 경우, 정수형과 실수형을 수분하여 int, long, float, double 등과 같은 다양한 숫자 자료형이 존재한다.하지만 자바스크립트는 하나의 숫자 자료형만 존재한다.

• ECMAScript 표준에 따르면, 숫자 자료형은 배정밀도 64비트 부동 소수점 형 단 하나만 존재한다. 정수만을 표현하기 위한 특별한 자료형(integer type)은 없다.

추가적으로 세가지 의있는 기호적인 값들도 표현할 수 있다.

• +/- Infinity
• NaN(not-a-number)

String

• String(문자열) 타입은 텍스트 데이터를 나타내는데 사용한다. 이는 0개 또는 그 이상의 유니코드(16비트 부호없는 정수 값) 문자들의 집합이다.문자열은 작은 따옴표('') 또는 큰 따옴표("") 안에 텍스트를 넣어 생성한다.

• C와 같은 언어와는 다르게, 자바스크립트의 문자열은 변경 불가능(immutable)하다. 이것은 한 번 문자열이 생성되면, 그 문자열을 변경할 수 없다는걸 의미한다.

• 문자열은 배열처럼 인덱스를 통해 접근할 수 있다.str[0]='S'처럼 이미 생성된 문자열에 새로운 문자를 대입하여 변경시켜도 변경시켜도 반영되지 않는다(이때 에러가 발생하지 않는다). 한번 생성된 문자열은 read only로서 수정은 불가하다. 이것을 변경 불가능(immutable)이라 한다.

• 그러나 새로운 문자열을 할당하는 것은 물론 가능하다. 이는 기존 문자열을 수정하느 것이 아닌 새로운 문자열을 할당하는 것이기 때문이다.

Symbol

• Symbol은 ES6에서 새롭게 추가된 7번쨰 타입이다. Symbol은 애플리케이션 전체에서 유일하며 변경 불가능한(immutable) 기본 자료형(primitive)이다. 주로 객체의 프로퍼티 키(property key)로 사용한다. Symbol 값은 애플리케이션 전체에서 유일하기 때문에 Symbol 값을 키로 갖는 프로퍼티는 다른 어떠한 프로퍼티와도 충돌하지 않는다.

객체형 (Object type,참조형) 객체는 데이터와 그 데이터에 관련되는 동작(절차,방법,기능)을 모두 포함할 수 있는 개념적 존재이다. 달리 말해, 이름과 값을 가지는 데이터를 의미하는 프로퍼티(property)와 동작을 의미하는 메소드(method)를 포함하고 있는 독립적 주체이다.

자바스크립트는 객체(object)기반의 스크립트 언어이며 자바스크립트를 이루고 있는 거의"모든 것"은 객체이다. 기본자료형(Primitives)을 제외한 나머지 값들(배열, 함수, 정규표현식 등)은 모두 객체이다.

• 함수 (Function)
• 배열 (Array)
• 날짜 (Date)
• 정규식 (RegExp)

이것들은 모두 객체이다. 또한 객체는 pass-by-reference이다.

변수 (Variable) 애플리케이션에서 값(value)을 유지할 필요가 있을 때 변수를 사용한다. 변수는 값을 저장, 조회, 조작(변경)하는 데 사용되며 다른 사용자가 변수의 존재 목적을 쉽게 이해할 수 있도록 의미맀는 이름을 지정하여야한다.

변수명은 identifier(식별자)로 불리기도 하며 명명 규칙이 존재한다.

• 반드시 영문자(특수문자 제외), underscore( _ ),또는 달러 기호($)로 시작하여야 한다. 이어지는 문자에는 숫자(0~9)도 사용할 수 있다.
• JavaScript는 대/소문자를 구별하므로 사용할 수 있는 문자는 "A""Z"(대문자)와 "a""z"(소문자)이다. 변수를 선언할 때 var keyword가 사용된다. 등호(=,equal sign)는 변수에 값을 할당하기 위해 사용된다.

값을 할당하지 않은 변수 즉 선언만 되어 있는 변수는 undefined로 초기값을 갖게 된다. 미선언 변수에 접근하면 ReferenceError예외가 발생한다.

변수의 중복 선언 -변수의 중복 선언이 가능하다.

변수 선언 시 var 키워드 생략 허용

• 변수 선언시 var 키워드를 생략할 수 있다.

동적 타이핑(Dynamic Typing) -JavaScript는 동적타입(dynamic typed)언어 혹은 느슨한 타입(loosely typed)언어이다. 이것은 변수의 Type annotation이 필요없이 값이 할당되는 과정에서 자동으로 자료형이 결정(Type Inference)될 것이라는 뜻이다. 따라서 같은 변수에 여러 data type의 값을 대입할 수 있다. 이를 동적 타이핑(Dynamic Typing)이라 한다.

변수 호이스팅(Variable Hoisting) var 키워드를 사용하여 선언한 변수는 중복 선언이 가능하기 때문에 위의 코드는 문법적으로 문제가 없다. ①에서 변수 foo는 아직 선언되지 않았으므로 ReferenceError:foo is not defined가 발생할 것을 기대했겠지만 콘솔에는 undefined가 출력된다. 이것은 다른 C-family 언어와는 차별되는 자바스크립트의 특징으로 모든 선언문은 호이스팅(Hoisting)되기 떄문이다. 호이스팅이란 var 선언문이나 function 선언문을 해당 Scope의 선두로 옮기는 것을 말한다. 즉 자바스크립트는 코드를 실행하기 전에 var 선언문과 function선언문을 해당 스코프의 맨위로 옮긴다. 변수가 어떻게 생성되며 호이스팅은 어떻게 이루어지는 지 좀더 자세히 살펴보자. 변수는 3단계에 걸쳐 생성된다. 자세한 내용은 Execution Context을 참조하기 바란다.

• 선언단계(Declaration phase) 변수 객체(Variable Object)에 변수를 등록한다. 이변수 객체는

• 초기화 단계(Initialization phase) 변수 객체(variable Object)에 등록된 변수를 메모리에 할당한다. 이 단계에서 변수는 undefined로 초기화된다.

• 할당 단계(Assignment phase) undefined로 초기화된 변수에 실제값을 할당한다.

javascript의 변수는 다른 C-family와는 달리 block-level scope를 가지지 않고 function-level scope를 갖는다. 단, ECMAScript 6에서 도입된 let,const 키워드를 사용하면 block-level scope를 사용할 수 있다. 자세한 내용은 Scope를 참조하기 바란다.

• Function-level scope 함수내에서 선언된 변수는 함수 내에서만 유효하며 함수 외부에서는 참조할 수 없다. 즉, 함수 내부에서 선언한 변수는 지역 변수이며 함수 외부에서 선언한 변수는 모두 전역 변수이다.

• Block-level scope 코드 블럭 내에서 선언된 변수는 코드 블럭 내에서만 유효하며 코드 블럭 외부에서는 참조할 수 없다.

var 키워드로 선언된 변수의 문제점

ES5에서 변수를 선언할 수 있는 유일한 방법은 var 키워드를 사용하는 것이다. var 키워드로 선언된 변수는 아래와 같은 특징을 갖는다. 이는 다른 C-family언어와는 차별되는 특징(설계상 오류)으로 주의를 기울이지 않으면 심각한 문제를 발생시킨다.

1. Function-level scope

• 전역 변수의 남발
• for loop 초기화식에서 사용한 변수를 for loop 외부 또는 전역에서 참조할 수 있다.

2. var 키워드 생략 허용

• 의도하지 않은 변수의 전역화

3. 중복 선언 허용

• 의도하지 않은 변수값 변경

4. 변수 호이스팅

• 변수를 선언하기 전에 참조가 가능하다.

대부분의 문제는 전역변수로 인해 발생한다. 전역 변수는 간단한 애플리케이션의 경우, 사용이 편리한 면이 있지만 불가피한 상황을 제외하고 사용을 억제해야 한다. 전역 변수는 범위(scope)가 넓어서 어디에서 어떻게 사용될 지 파악하기 힘들다. 이는 의도치 않은 변수의 변경이 발생할 수 있는 가능성이 증가한다. 또한 여러함수와 상호 의존하는 등 side effect가 있을 수 있어서 복잡성이 증가한다.

변수의 범위(scope)는 좁을수록 좋다.

ES6는 이러한 var의 단점을 보완하기 위해 let과 const 키워드를 도입하였다.