Charicteristic of Java reference type

Charicteristic of Java reference type.md

String type example

• 참조 타입에서 ==, != 연산은 같은 객체인지를 비교한다. 즉 메모리 번지가 같은지를 비교한다.
• 값을 비교하기 위해서는 Object.equals API를 이용한다

jshell> String var1 = "appkr";
strVar1 ==> "appkr"

jshell> String var2 = "appkr";
strVar2 ==> "appkr"

jshell> String var3 = new String("appkr");
strVar3 ==> "appkr"

jshell> var1 == var2;
$4 ==> true

jshell> var1 == var3;
$5 ==> false

jshell> var1.equals(var3);
$6 ==> true

Stack

• var1은 Heap 메모리 번지 (a)를 참조
• var2는 같은 리터럴이므로 Heap 메모리 번지 (a)를 참조
• var3는 new 키워드를 써서 객체를 직접 생성했으므로 Heap 메모리 번지 (b)를 참조

+----+-----+
|var1| (a) |
+----+-----+
|var2| (a) |
+----+-----+
|var3| (b) |
+----+-----+

StringPool on Heap

+-----+-------+
| (a) | appkr |
+-----+-------+
| (b) | appkr |
+-----+-------+

String[] a = {"one", "two"}
String[] b = a
String[] c = new String[] {"one", "two"}

a == b // true
a == c // false

char v1 = 'A'; // 1 시점의 메모리 상태는?

if (v1 == 'A') {
  int v2 = 100;
  double v3 = 3.14;
  int[] v4 = {10, 20, 30}; // 2 시점의 메모리 상태는?
}

boolean v5 = true; // 3 시점의 메모리 상태는?

1 시점

스택
+----+---------+
| v1 |  A      |
+----+---------+

2 시점

스택                   힙 5번지
+----+---------+      +----+------+------+------+
| v4 |  addr5  |  ->  | v4 |  10  |  20  |  30  |
+----+---------+      +----+------+------+------+
| v3 |  3.14   |
+----+---------+
| v2 |  100    |
+----+---------+
| v1 |  A      |
+----+---------+

3 시점

+----+---------+
| v5 |  true   |
+----+---------+
| v1 |  A      |
+----+---------+

byte[] b = {0b1000001}; new String(b); // "A"