[JAVA] primitive 타입 정수형 변수에는 값이 저장되는 것인가? 주소값이 저장되는 것인가?

Question

안녕하세요 java 학습중에 의문이 생겨 조사를 진행했지만 시원하게 해결되지 않아 질문 드립니다..java 원시타입 정수는 굳이 따지고 보면 주소값을 가지는 게 맞다, 하지만 구조상 값이라고 생각하는 게 편하다. 라는 답변을 들었습니다.조사한 내용 블로그 글질문1.Oracle JVM 공식문서 - 오퍼랜드 스택에서는 reference라는 키워드가 있음에도 불구하고 iconst, bipush, sipush 명령어 에서 정수값을 1, 2, byte, short 혹은 value 로 표현합니다. 하지만 4byte짜리 2진수를 push한다는 말은 찾아볼 수 없었습니다. 그렇다면 따지고 보면 실질적으로는 주소값을 참조하는 것이나 편의상 값이라고 칭하는 것인가요?질문2.Oracle JVM 공식문서 - constant pool 에서 Integer 타입을 저장할 때 unsigned 32bit 크기를 가지는 bytes에 int 상수 값을 빅 엔디안(big endian)방식으로 저장한다고 합니다. 그렇다면 bytes 에는 2진수로 표현된 정수 '값'이 저장되는 게 맞는 것인가요?질문3. constant pool 에 2진수로 표현된 '값'이 저장된다고 한다면, 이를 참조하는 오퍼랜드 스택은 constant pool의 값을 복사해서 스택에 push한 뒤 연산을 수행하는 걸까요? 주소 값을 push한 뒤 연산을 수행하는 걸까요?

ykd · Answer

말씀해주신 int 타입 포함하여 리터럴 표현은 컴파일 타임에 스태틱 영역에 포함되는 공간을 가지며, 이또한 참조 주소를 가지는 것으로 알고있습니다.제가 아는 한 달빅 jvm 제외한 모든 jvm은 빅엔디안 구조입니다. 또한 바이트라고 말씀하신 단위는 word단위를 따라가므로 해당 부분은 jvm에 따라 상이하다고 봅니다.질문이 이해가 잘 안가는데요, 바이트코드를 직접 확인해보시는건 어떨지요혹시 제가 잘못 설명하고있다면 지적 부탁드립니다.

honolulu · Answer

둘다 입니다.정수형 타입에 들어가는 값 까지는 값으로 직접 박아 넣고, 안들어가는 놈은 constant pool 에 저장해서 불러다 씁니다.

hyunsb · Answer

다른 커뮤니티에서 받은 답변은 이렇습니다. 저도 아직 해당 문제에 대해 확신을 가지지 못했기 때문에 혹시라도 나중에 정답을 알게된다면 답변으로 달아놓겠습니다.1.자바에서 정수형 상수는 주소 값을 가지지 않습니다. 오퍼랜드 스택에 값(value)으로 푸시됩니다. JVM에서는 정수형 상수를 처리하기 위해 iconst, bipush, sipush 등의 명령어를 사용합니다. 이 명령어들은 해당하는 값(value)을 오퍼랜드 스택에 직접 푸시하므로 주소 값을 참조하는 것이 아니라 값(value)을 참조합니다.2.constant pool에서 정수형 상수는 2진수로 표현된 값(value)이 저장됩니다. 저장된 값(value)은 JVM이 실행되는 플랫폼의 엔디안 방식에 맞추어 빅 엔디안(big endian) 또는 리틀 엔디안(little endian)으로 저장됩니다.3.constant pool의 값(value)을 참조하는 오퍼랜드 스택은 해당하는 값(value)을 복사해서 연산을 수행합니다. 즉, 주소 값을 참조해서 연산을 수행하는 것이 아니라 값(value)을 복사해서 연산을 수행합니다. 이는 자바의 원시타입(primitive type)이 값(value)을 참조하고, 객체 타입(object type)은 주소 값을 참조하는 특성 때문입니다.

장독깨기 · Answer

아, 뭔가 굉장히 복잡하고 난해하네요. ㅎ전 오래된 사람이 c/c++ 를 먼저하고 나중에 자바를 접했는데요,c++ 에서 보면,int a = 1; // a 에는 값도 있고 주소도 있습니다. 특정주소에 1이라는 값이 저장되어 있는거죠.struct abc abc = {1,2,3}; // abc 역시 마찬가지로 값도 있고 주소도 있습니다.vector v; // 이 역시 마찬가지입니다.그런데, vector *pv = new vector();이렇게 하면 pv 역시 변수 이므로 주소도 있고 값이 있습니다.여기에 있는 값은 new 로 할당한 주소가 되겠죠.자바로 넘어와서 보면,char, int, ... 이런 것들을 전부 primitive type 이라 하고, 전부 값 입니다.물론 c++ 처럼 주소도 있겠지만 자바에서는 이 주소를 다루지 않습니다.그리고, 클래스는 전부 new 할당을 합니다.c++ 처럼 new 할당하지 않더라도 쓸 수 있는 방법을 제공하지 않습니다.Map map = new Map();map 역시 변수 이므로 주소와 값이 있는데, 여기서 값은 new 할당한 주소가 되는거죠.그러니까, 자바에서는 프리미티브 변수에는 값이 저장되어 있고,객체 변수는 new 할당한 주소가 저장되어 있습니다.물론 모든 변수는 나름의 특정 주소를 가지고 있습니다만,자바는 c++ 처럼 이 주소를 다루지 않는거죠.그래서, 자바가 c++ 보다 좀 더 쉽게 접근할 수 있습니다.저 주소를 다루게 되면 골치아프거든요. ㅎ글이 길어졌네요. 더 헷갈리게 한 건 아닌지 모르겠습니다. :)

장독깨기 · Answer

음... 조금만 더 첨언 해보겠습니다.결론적으로 저 블로그 글은 접근 방법이 좀 이상합니다.원시타입의 변수 뿐만 아니라 모든 변수는 주소값을 저장하고 있는게 아니라 주소를 가르키고 있는 겁니다.예를 들어 보겠습니다.int a &#61; 1; // 스택에 1이라는 값을 푸시합니다. 그리고, 1이 저장된 스택 내 주소가 있을 겁니다. 1000번지라 하겠습니다.int b &#61; 2; // 스택에 2라는 값을 푸시합니다. 1008번지라 하겠습니다.// 여기서 1,2 를 어디에서 가져왔느냐? 이건 중요하지 않습니다. 그리고, 상수풀에 있는 값을 가져왔다 했으니, 나름 주소도 있을 겁니다.// 그러나, 그 주소 역시 관심사가 아니고 알 필요도 다룰 이유도 없습니다. 이건 c&#43;&#43; 이든 자바든 다 마찬가지 입니다.// 중요한건 a 는 1000번지를 가르키고 있고, 그 안에는 1이라는 값이 있다는 겁니다. b 역시 마찬가지겠죠.// 이게 왜 중요하냐면, swap이라는 함수를 만든다 해보겠습니다. a와 b값을 교체하는거죠.swap(a,b); print(a,b);// 이렇게 하면 a와 b 값이 교체되어 2,1 이라는 값을 출력할까요? 안 됩니다.// a에 있는 1이란 값과 b에 있는 2라는 값을 복사해서 함수의 인자로 넘기니 swap 함수안에서 별짓을 다해도// 호출 한 쪽의 a, b 값은 변경되지 않습니다. call by value 라고 하죠.여기서 c&#43;&#43; 과 자바의 차이점이 생깁니다.c&#43;&#43; 에서는 swap(&a, &b) 이런식으로 a,b 의 값이 아니라 a,b 의 주소를 넘길 수 있습니다.그럼 swap 함수는 저 주소 안의 값을 변경함으로서 a,b 의 값을 교체할 수 있습니다.자바는 어떻습니까? c&#43;&#43; 처럼 주소를 다룰 수가 없습니다.그래서, 자바에서 원시타입변수는 swap 함수를 만들 방법이 없습니다.그럼, 이런 식으로 하면 어떨까요? 교체가 가능할까요?Integer a&#61;1;Integer b&#61;1;swap(a,b) {tmp&#61;a; a&#61;b; b&#61;tmp; }이 역시 교체가 안 됩니다.교체를 하려면, 이런 식으로 해야 합니다.swap(a,b) { tmp &#61; a.getValue(); a.setValue(b.getValue()); b.setValue(tmp); }그니까, a 와 b 를 교체하는게 아니라 그 안에 있는 값을 변경해야하는거죠.근데, 자바에서 이것도 안됩니다. 윈시타입의 래퍼 클래스는 불변 객체니 값을 변경할 수 없습니다.이런 식으로 클래스를 별도로 정의하면 교체할 수 있겠죠.MyInteger a&#61;new MyInteger(1);MyInteger b&#61;new MyInteger(2);값과 참조, 주소에 대해 예를 들어 말씀드려봤는데요,이해하는데 도움이 됐으면 좋겠습니다.열심히 하세요. :)

[JAVA] primitive 타입 정수형 변수에는 값이 저장되는 것인가? 주소값이 저장되는 것인가?

5개의 답변

#jvm 목록