[아이템 53] 가변인수는 신중히 사용하라

※ 가변인수(varargs) 메서드는 명시한 타입의 인수를 0개 이상 받을 수 있다. 

가변인수 메서드를 호출하면, 먼저 인수의 개수와 길이가 같은 배열을 만들고 인수들을 이 배열에 저장하여 가변인수 메서드에 건네준다.

인수 개수는 런타임에 (자동 생성된) 배열의 길이로 알 수 있다.

 

※ printf는 가변인수와 한 묶음으로 자바에 도입되었고, 이때 핵심 리플렉션 기능(아이템65)도 재정비되었다.
printf와 리플렉션 모두 가변인수 덕을 톡톡히 보고 있다.

 

[Why]

인수가 1개 이상이어야 할 때도 있다.

static int min(int... args) {
    if (args.length == 0) {
        throw new IllegalArgumentException("인수가 1개 이상 필요합니다.");
    }
    int min = args[0];
    for (int i=1; i<args.length; i++) {
        if (args[i] < min) {
            min = args[i];
        }
    }
    return min;
}

• 최솟값을 찾는 메서드인데 인수를 0개만 받을 수도 있도록 설계하는 건 좋지 않다.
  • 가장 심각한 문제는 인수를 0개만 넣어 호출하면 (컴파일타임이 아닌) 런타임에 실패한다는 점이다.
  • 코드도 지저분하다.
• args 유효성 검사를 명시적으로 해야 하고,
  min의 초깃값을 Integer.MAX_VALUE로 설정하지 않고는 (더 명료한) for-each문도 사용할 수 없다.

 

[How]

static int min(int firstArg, int... remainingArgs) {
    int min = firstArg;
    for (int arg : remainingArgs) {
        if (arg < min) {
            min = arg;
        }
    }
    return min;
}

위 코드처럼 매개변수를 2개 받도록 하면 된다.

 

그런데 성능에 민감한 상황이라면 가변인수가 걸림돌이 될 수 있다.

• 가변인수 메서드는 호출될 때마다 배열을 새로 하나 할당하고 초기화하기 때문이다.
• 다행히, 이 비용 없이 가변인수의 유연성을 취하는 멋진 패턴이 있다.

public void foo() { }
public void foo(int a1) { }
public void foo(int a1, int a2) { }
public void foo(int a1, int a2, int a3) { }
public void foo(int a1, int a2, int a3, int... rest) { }

• 해당 메서드 호출의 95%가 인수를 3개 이하로 사용한다고 해보자.
• 그렇다면 인수가 4개 이상인 5%의 호출은, 마지막 다중정의 메서드가 담당하여 배열을 생성한다.
• EnumSet의 정적 팩터리도 이 기법을 사용해 열거 타입 집합 생성 비용을 최소화한다.