자바에서는 메모리 사용의 효율성을 높이기 위해 기본 타입(Primitive Type)의 래퍼 클래스(Wrapper Class)에 대해 상수 풀(Constant Pool) 캐싱 기술을 적용하고 있습니다. 이 메커니즘은 자주 사용되는 특정 범위의 값을 객체로 미리 생성해 두어, 동일한 값을 사용할 때 새로운 인스턴스를 생성하지 않고 기존 객체를 재사용하도록 설계되었습니다.

캐싱을 지원하는 래퍼 클래스 범위

대부분의 정수형 래퍼 클래스는 캐싱을 지원하지만, 모든 타입이 동일한 것은 아닙니다. 주요 특징은 다음과 같습니다.

• Byte, Short, Integer, Long: 기본적으로 [-128, 127] 범위의 데이터를 캐싱합니다.
• Character: [0, 127] 범위의 데이터를 캐싱합니다.
• Boolean: TRUE와 FALSE 두 가지 정적 상수를 캐싱하여 재사용합니다.
• Float, Double: 부동 소수점 타입은 값의 범위가 무한하기 때문에 상수 풀 기술을 구현하지 않습니다.

Integer.valueOf()의 내부 동작 원리

래퍼 클래스를 생성할 때 new Integer() 대신 오토박싱이나 Integer.valueOf()를 사용하면 캐시가 적용됩니다. 다음은 Integer 클래스 내부에서 캐시를 처리하는 방식의 핵심 로직입니다.

public static Integer valueOf(int val) {
    // 캐시 범위 내에 있는 값인지 확인
    if (val >= IntegerCache.low && val <= IntegerCache.high) {
        return IntegerCache.cache[val + (-IntegerCache.low)];
    }
    // 범위를 벗어나면 새로운 객체 생성
    return new Integer(val);
}

자바 8 기준으로 IntegerCache의 하한값(low)은 -128로 고정되어 있으며, 상한값(high)은 기본적으로 127이지만 JVM 옵션(-XX:AutoBoxCacheMax)을 통해 조정이 가능합니다. 내부 정적 블록에서 캐시 배열이 초기화되는 과정은 다음과 유사합니다.

static final int low = -128;
static final int high;
static final Integer cache[];

static {
    int defaultHigh = 127;
    // 시스템 프로퍼티에서 상한값 설정을 읽어옴
    String highProp = sun.misc.VM.getSavedProperty("java.lang.Integer.IntegerCache.high");
    if (highProp != null) {
        try {
            int i = parseInt(highProp);
            i = Math.max(i, 127);
            // 배열의 최대 크기 제한을 고려하여 상한값 결정
            defaultHigh = Math.min(i, Integer.MAX_VALUE - (-low) - 1);
        } catch(NumberFormatException nfe) {
            // 파싱 실패 시 기본값 127 유지
        }
    }
    high = defaultHigh;

    cache = new Integer[(high - low) + 1];
    int currentVal = low;
    for(int k = 0; k < cache.length; k++) {
        cache[k] = new Integer(currentVal++);
    }
    
    assert IntegerCache.high >= 127;
}

객체 비교와 오토박싱의 동작 분석

캐싱 메커니즘을 제대로 이해하지 못하면 == 연산자를 사용한 비교 결과에서 예기치 못한 논리 오류가 발생할 수 있습니다.

1. 캐시 객체와 신규 객체 비교

Integer ref1 = 50; // Integer.valueOf(50) 호출, 캐시된 객체 참조
Integer ref2 = new Integer(50); // 새로운 객체 강제 생성

System.out.println(ref1 == ref2); // false (참조 주소가 다름)

2. 연산자가 포함된 비교와 언박싱

연산자가 포함된 비교에서는 래퍼 클래스가 기본 타입으로 변환(언박싱)되어 수치 비교가 이루어집니다.

Integer valA = 100;
Integer valB = 100;
Integer valC = 0;
Integer valD = new Integer(100);
Integer valE = new Integer(100);
Integer valF = new Integer(0);

// 캐시된 동일 객체 참조 여부 확인
System.out.println("valA == valB: " + (valA == valB)); // true (둘 다 캐시된 100 참조)

// 산술 연산이 포함된 경우 언박싱 발생
System.out.println("valA == valB + valC: " + (valA == (valB + valC))); // true (수치 100 비교)

// 서로 다른 객체 참조 확인
System.out.println("valA == valD: " + (valA == valD)); // false
System.out.println("valD == valE: " + (valD == valE)); // false

// 연산 후 수치 비교
System.out.println("valD == valE + valF: " + (valD == (valE + valF))); // true (수치 100 비교)
System.out.println("100 == valE + valF: " + (100 == (valE + valF))); // true (수치 100 비교)

위의 사례에서 알 수 있듯이, == 연산자가 두 래퍼 클래스 객체 사이에 사용되면 참조 주소를 비교하지만, 한쪽이라도 산술 연산(+, - 등)이 포함되거나 기본 타입과 비교될 경우 자바 컴파일러는 자동으로 언박싱을 수행하여 값을 비교합니다.