기본형 데이터와 참조형 데이터(불변성, 가변성)

불변값

변수와, 상수를 구분하는 성질은 "변경 가능성" 입니다.

바꿀 수 있으면 변수, 바꿀 수 없으면 상수 입니다.

 

 불변값과 상수를 같은 개념으로 오해하면 안된다.
변수와 상수를 구분 짓는 "변경 가능성"은 변수 영역 메모리 이다.

반면, 불변성 여부를 구분할 때의 변경 가능성의 대상은 데이터 영역 메모리이다.

 

기본형 데이터인 

숫자, 문자열 , boolean, null, undefined, Symbol은 모두 불변값입니다.

var num;
num = 'Hello';

num = num + 'World';

var one = 1;
var two = 1;

two = 2;

만약,

2번째줄에서 저장된 문자열 "Hello" 에 "World" 를 추가하라고 하면

"Hello"가 저장된 공간 (@3000)에 "HelloWorld" 를 할당하는 것이 아니라 "HelloWorld" 라는 문자열을 새로 만들어데이터 영역 메모리의 @3001 번주소와 같은 다른 주소 공간에 저장하고 변수 메모리의 값 영역을 @3001로 변경하는 것입니다.

같은 방법으로 6번째줄에 one변수에 1을 할당하기 위해서 데이터영역 메모리에서 먼저 1을 찾게되고

없다면 데이터 공간에 한 구역에 1을 저장합니다,

후에 7번째줄 two 변수에 1을 저장하려고 하니 메모리에서 1을 먼저 검색하고 6번째줄에서 메모리영역에

저장해둔 1이 있기때문에 그 주소를 재활용합니다.

 

마지막줄에서 two 변수에 2를 할당하려고 하니 데이터 영역 메모리에는 2가 없기 때문에 새로운 주소에 2를 저장하고 그위치의 주소를 two 변수영역 메모리에 값으로 저장하게 됩니다.

 

결국 HelloWorld를 만들때도 Hello를 저장했던 3000번 데이터 영역 메모리를 변경한 것이 아니라
3001번주소에 새로 저장한것처럼,
two 변수에 할당된 값을 1에서 2로 변경 시킬때도 1이 저장되어있던 데이터 영역 메모리를 변경시킨게 아니라
2를 새로 메모리에 할당했던것 처럼 불변성을 구분할 때의 지표인 데이터영역 메모리에서는 값이 변경되지
않는 것을( 변경 되지 않고 새로 할당됨 ) 알 수 있습니다!!

결국 변경은 새로 만드는 동작을 통해서만 이루어지며, 한번 만들어진 값들은 가비지 컬렉팅을 당하지 않는 한 영원히 변하지 않습니다 ( 가비지 컬렉팅에 대해서는 조금더 알아보도록 해요 )

 

 

가변값

위에서 기본형 데이터는 모두 불변값이라고 했으니, 참조형 데이터는 모두 가변값일까?

참조형 데이터의 기본적인 성질은 가변값인 경우가 많지만 설정에따라 다르지만 우선 참조형 데이터의 변수에 할당하는 과정부터 알아보자

var obj = {
    num1: 1,
    num2: 'one'
};

기본형 데이터와 차이는 객체의 변수 영역이 별도로 존재한다는 점이다.

위의 그림을 보면 객체에 할당된 영역은 변수 영역일 뿐 ' 데이터 영역' 은 기존의 메모리공간을 그대로 활용하고 있습니다.

 

데이터 영역에 저장된 값은 모두 불변값입니다. 그러나 변수에는 다른 값을 얼마든지 대입할 수 있습니다.

바로 이 부분 때문에 흔히 참조형 데이터는 불변하지 않다 ( 가변값이다) 라고 하는 것이다.

 

var obj = {
    num1: 1,
    num2: 'one'
};

obj.num1 = 2;

위와 같이 데이터 영역 메모리 주소( @3000 )가 변경되는 게 아닌 기존 내부의 값만 바뀐다.

바로 이 부분 때문에 참조형 데이터는 가변값 이라고 하는 것이다. 

주소는 안바뀌었는데 값은 바뀐다? => 가변값!!!
※ 참고로, 참조형 데이터 자체를 변경할 경우는 불변값이고 그 내부의 프로퍼티를 변경할 때만 가변성이 성립된다.