본문 바로가기

분류 전체보기

Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item33. 타입 안전 이종 컨테이너를 고려하라 1. 타입 안전 이종 컨테이너 패턴 매개변수화 되는 대상은 원소가 아닌 컨테이너 자신이다 Set가 있을 때 매개변수화 되는 것은 Integer가 아니라 List이다. 하나의 컨테이너에서 매개변수화 할 수 있는 타입의 수가 제한된다. 이보다 유연한 수단 : 타입 안전 이종 컨테이너 패턴 타입 안전 이종 컨테이너 패턴 (type safe heterogeneous container pattern) = 컨테이너 대신 키를 매개변수화 한 다음, 컨테이너에 값을 넣거나 뺄대 매개변수화 한 키를 함께 제공한다. 각 타입의 Class 객체를 매개변수화한 키 역할로 사용한다 : 이때 class 리터럴의 타입은 Class이다. public class Favorites{ // 타입 이종 컨테이너 추상화 public void..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item32. 제네릭과 가변인수를 함께 쓸 때는 신중하라 1. 가변인수와 제네릭을 함께 사용할 때의 헛점 가변인수 메서드를 호출하면 가변인수를 담기위한 배열이 자동으로 하나 만들어진다. 내부로 감춰야했을 배열을 클라이언트에 노출해서 문제가 생겼다. 제네릭타입의 가변인수 메서드를 호출하면, 제네릭 타입의 배열이 생성되며, 제네릭 타입의 배열은 item28에서 말한 것 처럼, 타입을 런타임에 체크하기 때문에 클래스 캐시팅 에러가 날 가능성이 있다. 메서드 선언시, 실체화 불가 타입으로 varargs 매개변수를 선언하면 컴파일러가 경고를 보낸다. 힙오염이 가능하기 때문이다. 제네릭과 varages를 혼용하면 타입 안정성이 깨진다. 따라서 제네릭 varargs 배열 매개변수에 값을 저장하는 것은 안전하지 않다. static void dangerous(List...st..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item31. 한정적 와일드 카드를 사용해 API 유연성을 높여라 1. 매개변수화 타입의 불공변 매개변수화 타입은 불공변이다(invariant) : 서로 다른 타입 Type1,Type2가 있을 때 List 은 List 의 하위타입도 아니고 상위타입도 아니다. (리스코프 치환 원칙에 어긋난다.) 이때 불공변 방식보다 유연한 방식 : 한정적 와일드카드 타입 2. 한정적 와일드 카드 타입을 이용한 확장 유연성 극대화를 위해 원소의 생산자나 소비자용 입력 매개변수에 왈일드카드 타입을 사용하라. 입력 매개변수가 생산자와 소비자 역할을 동시에 한다면 와일드 카드 타입을 써도 좋을 게 없다. public void pushAll(Iterable list, int i, int j); 와일드 카드 타입을 사용하면, set, add와 같은 추가하는 메서드를 작성하지 못한다 따라서 실제 타..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item30. 이왕이면 제네릭 메서드로 만들라 1. 제네릭 메서드 만들기 메서드도 제네릭으로 만들 수 있다. ex ) Collections의 '알고리즘' 메서드 메서드 선언에서 원소타입을 타입 매개변수로 지정한다. 메서드 안에서 이 타입 매개변수를 사용하게 수정한다. 타입 매개변수 목록은 메서드의 제한자와 반환타입 사이에 온다. 한정적 와일드 카드 타입을 사용하면, 반환타입 입력타입 등을 좀더 유연하게 개선할 수 있다. public static Set union(Set s1, Set s2){ Set result = new HashSet(s1); result.addAll(s2); return result; } 2. 제네릭 : 불변 객체를 여러 타입으로 활용할 수 있게 만드는 방법 불변객체가 제네릭 타입일 때 여러 타입으로 활용이 가능하다. 요청 타입 ..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item29. 이왕이면 제네릭 타입으로 만들라 1. 제네릭클래스로 만드는 방법 a. 클래스 선언에 타입매개변수를 추가한다. 보통 E를 많이 사용한다. 제네릭 필드를 쓴다는 것을 명시하는 것이다. b. 실체화 불가 타입으로는 배열을 만들 수 없으니 해결한다. E[] element = new E[DEFAULT_INITAL_CAPACITY] b-1. 제네릭 배열을 금지하는 제약을 대놓고 우회한다. E[] elemet = (E[]) new Object[DEFAULT_INITAL_CAPACITY] 비검사 형변환이 프로그램의 타입 안정성을 해치지 않는지를 확인한다. > 이후 @SuppressWarnings 애너테이션으로 해당 경고를 숨긴다. 배열이 private 필드에 저장된다. 클라이언트로 반환되거나 다른 메서드에 전달되는 일이 없다. 배열에 저장되는 원소의..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item28. 배열보다는 리스트를 사용하라 1. 배열과 제네릭의 차이 배열 공변 (convariant) - Sub가 Super의 하위타입이라면 배열 Sub[]는 배열 Super[]의 하위타입이다. (함께 변한다) 배열에서는 실수를 런타임에 타입 오류를 알 수 있다 Object[] objectArray = new Long[1]; objectArray[0] = "타입이 달라 넣을 수 없다" // ArrayStoreException 실체화(reify)된다 : 런타임에도 자신이 담기로 한 원소의 타입을 인지하고 확인한다. 제네릭 불공변 (invariant) - 서로 다른 타입 Type1,Type2가 있을 때 List 은 List 의 하위타입도 아니고 상위타입도 아니다 리스트에서는 컴파일할 때 타입 오류를 바로 알 수 있다. List ol = new Ar..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item 27. 비검사 경고를 제거하라 1. 할수있는 한 모든 비검사 경고를 제거하자 제네릭을 사용하기 시작했을 때 볼 수 있는 수많은 컴파일러 경고 비검사 형변환 경고 비검사 메서드 호출 경고 비검사 매개변수화 가변인수 타입 경고 비검사 변환 경고 새로 작성한 코드가 한번에 깨끗하게 컴파일되리라 기대하지는 말자 Java7 부터 제네릭 타입추론이 가능해졌다. Set exaltation = new HashSet(); 할 수 있는 한 모든 비검사 경고를 제거하라 : 모두 제거하면 타입 안정성이 보장된다. 런타임에 ClassCastException이 발생할 일이 없고, 내가 의도한대로 잘 동작한다. 2. @SuppressWarning a. 경고를 제거할 수는 없지만 타입 안전하다고 확신할 수 잇을 때 @SuppressWarning으로 경고를 숨기자..
Dev Book Review/Effective Java 2020. 5. 19. [Effective Java] item26. 로타입은 사용하지 말라 1. 용어정리 public class Example{ private T member; } 제네릭 클래스[인터페이스] : 클래스[인터페이스] 선언에 타입 매개변수(type parameter)가 쓰인다. Example.class 제네릭 타입(Generic Type) : 제네릭 클래스와 제네릭 인터페이스를 통틀어 이르는 말. Example 매개변수화 타입(parameterized Type) : 각각의 제네릭 타입은 parameterizedType을 선언함. Example 타입 매개 변수(Type parameter) : 제네릭 선언에 사용된 매개변수 formalType : Example actualType : Example 로타입(raw type) : 제네릭 타입에서 타입 매개변수를 전혀 사용하지 않았을 때. ..

티스토리툴바