아이템 21. 인터페이스는 구현하는 쪽을 생각해 설계하라.

핵심 정리

기존 인터페이스에 디폴트 메서드 구현을 추가하는 것은 위험한 일이다.
- 디폴트 메서드는 구현 클래스에 대해 아무 것도 모른 채 합의 없이 무작정 삽입될 뿐이다.
  - 아래 예시 확인
  - 컴파일 오류 등이 발생하지 않기 때문에 추가된 사실 자체를 알아 채기도 힘들다.
- 디폴트 메서드는 기존 구현체에 런타임 오류를 일으킬 수 있다.
  - 아래 예시 확인
인터페이스를 설계할 때는 세심한 주의를 기울여야 한다.
- 서로 다른 방식으로 최소한 세 가지는 구현을 해보자.

예시 1

기존 인터페이스에 디폴트 메서드 구현을 추가하는 것은 위험한 일이다.

Collections의 removeIf
- synchronized Collection들에게는 위험한 디폴트 메서드가 된다.
- 어디에도 동기화에 대한 코드가 존재하지 않기 때문에 멀티스레드 환경에서 안전하지 않은 Collection이 된다.
  - synchronized Collection 중 default 메서드인 removeIf를 호출하면 스레드 세이프하지 않은 Collection이 된다.

    default boolean removeIf(Predicate<? super E> filter) {
        Objects.requireNonNull(filter);
        boolean removed = false;
        final Iterator<E> each = iterator();
        while (each.hasNext()) {
            if (filter.test(each.next())) {
                each.remove();
                removed = true;
            }
        }
        return removed;
    }

예시 2

디폴트 메서드는 기존 구현체에 런타임 오류를 일으킬 수 있다.

클래스가 인터페이스를 이기게 되어있다.
- SubClass의 main문 실행 시, SuperClass의 hello() 를 사용하거나 MarkInterface의 hello()를 사용할 텐데,
- 위의 Rule 때문에 SuperClass의 hello()를 실행하려 한다.
  - SuperClass의 hello()는 private 메서드로, IllegalAccessError가 발생하게 될 것이다.
- 만약 MarkInterface의 default 메서드인 hello()가 없었다면, SubClass에서 컴파일 에러가 발생했었을 것이다.

public class SuperClass {

    private void hello() {
        System.out.println("hello class");
    }
}

public class SubClass extends SuperClass implements MarkerInterface {

    public static void main(String[] args) {
        SubClass subClass = new SubClass();

        // 만약 MarkInterface의 default 메서드가 없다면 컴파일 에러 발생
        subClass.hello();
    }

}

public interface MarkerInterface {

    default void hello() {
        System.out.println("hello interface");
    }

}

완벽 공략 38. ConcurrentModificationException

현재 바뀌면 안되는 것을 수정할 때 발생하는 예외

주로 Collection을 다룰 때 발생하는 예외로, collection을 순회하다 element를 삭제하고 싶은 경우에 발생한다.

멀티 스레드가 아니라 싱글 스레드 상황에서도 발생할 수 있다.

Ex) fail-fast 이터레이터를 사용해 콜렉션을 순회하는 중에 콜렉션을 변경하는 경우

예시

List.of로 만든 Collection: Immutable Collection

만약 수정하려 시도한다면: UnsupportedOperationException을 던진다.

ConcurrentModificationException: Iterator가 도는 상황에 Collection이 변경되었을 경우에 발생

Iterator로 remove 사용하면 해당 예외가 발생하지 않는다.
인덱스를 사용해 삭제하는 경우에도 Iterator를 사용하지 않기 때문에 예외가 발생하지 않는다.
removeIf 도 마찬가지이다.
- 내부를 확인해보면, Iterator.remove() 사용과 같기 때문이다.

예외 발생 O

public class FailFast { public static void main(String[] args) { List<Integer> numbers = new ArrayList<>(); numbers.add(1); numbers.add(2); numbers.add(3); numbers.add(4); numbers.add(5); // 이터레이터로 콜렉션을 순회하는 중에 Collection의 remove를 사용한다면... for (Integer number : numbers) { if (number == 3) { // 이 단계에서 ConcurrentModificationException이 던져진다. numbers.remove(number); } } // 출력 numbers.forEach(System.out::println); } }

예외 발생 X

public class FailFast { public static void main(String[] args) { List<Integer> numbers = new ArrayList<>(); numbers.add(1); numbers.add(2); numbers.add(3); numbers.add(4); numbers.add(5); // 이터레이터의 remove 사용하기 for (Iterator<Integer> iterator = numbers.iterator(); iterator.hasNext(); ) { Integer integer = iterator.next(); if (integer == 3) { iterator.remove(); } } // 인덱스 사용하기 // for (int i = 0; i < numbers.size() ; i++) { // if (numbers.get(i) == 3) { // numbers.remove(numbers.get(i)); // } // } // removeIf 사용하기 // numbers.removeIf(number -> number == 3); // 출력 numbers.forEach(System.out::println); } }

tonykang22 / study

[이펙티브 자바] 아이템 21. 인터페이스는 구현하는 쪽을 생각해 설계하라. #145