제네릭 메서드 생성 클래스와 마찬가지로, 메서드도 제네릭으로 만들 수 있다. 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다. 경고 발생 코드 public static Set union(Set s1, Set s2) { Set result = new HashSet(s1); result.addAll(s2); return result; } 타입 불안정한 코드를 제네릭 메서드로 변경해보자. 제네릭 메서드 public static Set unionNext(Set s1, Set s2) { Set result = new HashSet(s1); result.addAll(s2); return result; } 타입 매개변수 목록은 이고, 반환 타입은 Set 이다. 이 메서드는 경고 없이 컴파일되며, 타입 ..

배열 코드를 제네릭 코드로 변경 제네릭 타입과 메서드를 사용하는 일은 일반적으로 쉬운 편이지만, 제네릭 타입을 새로 만드는 일은 조금 더 어렵다. 제네릭을 사용하지 않은 기본 코드 package com.java.effective.item29; import java.util.Arrays; import java.util.EmptyStackException; public class Stack { private Object[] elements; private int size = 0; private static final int DEFAULT_INITIAL_CAPACITY = 16; public Stack() { elements = new Object[DEFAULT_INITIAL_CAPACITY]; } publi..

배열과 제네릭 배열과 제네릭 타입에는 중요한 차이가 두가지 있다. 배열은 공변이다. 공변이란, 함께 변한다는 뜻이다. Sub 가 Super 의 하위타입일 경우, 배열 Sub[] 는 배열 Super[] 의 하위 타입이 된다. 제네릭은 불공변이다. 즉, 서로 다른 타입 Type1, Type2 가 있을때 List,은 List 의 하위 타입도 아니고 상위 타입도 아니다. 배열 vs 리스트 1) 배열의 경우 Object[] objectArray = new Long[1]; objectArray[0] = "sss"; // 런타임시에 에러가 발생 배열은 런타임 시점에 오류를 알 수 있다. 2) 리스트의 경우 List ol = new ArrayList(); ol.add("sss"); 리스트는 컴파일할 때 바로 알 수 있..

비검사 경고 제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 될 것이다. 비검사 형변환 경고 비검사 메서드 호출 경고 비검사 매개변수화 가변인수 타입 경고 비검사 변환 경고 오류 코드 (경고 발생) Set test = new HashSet(); /** [unckecked] unchecked conversion required : Set found : HashSet */ 수정 코드 Set test = new HashSet(); Java7 부터 지원하는 다이아몬드 연산자()로 해결하였다. 컴파일러가 올바른 실제 타입 매개변수를 추론한다. (Test) 비검사 경고 제거 및 무시 할수있는 한, 모든 비검사 경고를 제거하라. 모두 제거한다면 그 코드는 타입 안정성이 보장된다. 런타임에 ClassCastEx..

제네릭 타입 클래스와 인터페이스 선언에 타입 매개변수가 쓰이면 이를 제네릭 클래스 혹인 제네릭 인터페이스라고 한다. 이를 통틀어 제네릭 타입(generic type)이라고 한다. List 예를들어, List 인터페이스는 원소의 타입을 나타내는 타입 매개변수 E 를 받는다. 각각의 제네릭 타입은 일련의 매개변수화 타입을 정의한다. List 은 원소의 타입이 String 인 리스트를 뜻하는 매개변수화 타입이다. 여기서 String 이 정규(formal) 타입 매개변수 E 에 해당하는 실제(actual) 타입 매개변수다. 로 타입 (Raw Type) 제네릭 타입을 하나 정의하면 그에 딸린 로 타입(raw type)도 함께 정의된다. 로 타입이란, 제네릭 타입에서 타입 매개변수를 전혀 사용하지 않을 때를 말한다..

톱레벨 클래스 소스 파일 하나에 톱레벨 클래스를 여러개 선언하더라도 자바 컴파일러는 불평하지 않는다. 하지만 아무런 득이 없고 심각한 위험을 감수해야한다. 어느 소스파일을 먼저 컴파일하느냐에 따라 결과가 달라질 수 있는 위험이 있는데, 이를 예제를 통해 알아보자. Utensil.java package com.java.effective.item25; class Utensil { static final String NAME = "pan"; } class Dessert { static final String NAME = "cake"; } Main.java package com.java.effective.item25; public class Main { public static void main(String[]..

중첩 클래스 중첩 클래스(nested class)란 다른 클래스 안에 정의된 클래스를 말한다. 중첩된 클래스는 자신을 감싼 바깥 클래스에서만 쓰여야하며, 그 외의 쓰임새가 있다면 톱레벨 클래스로 만들어야한다. 중첩 클래스의 종류 1) 정적 멤버 클래스 바깥 클래스와 함께 쓰일때만 유용한 public 도우미 클래스 2) (비정적) 멤버 클래스 바깥 클래스의 인스턴스와 암묵적으로 연결된다. 어댑터를 정의할때 자주 쓰인다. 멤버 클래스에서 바깥 인스턴스를 참조할 필요가 없다면 무조건 정적 멤버 클래스로 만들자. 3) 익명 클래스 바깥 클래스의 멤버가 아니며, 쓰이는 시점과 동시에 인스턴스가 만들어진다. 비정적인 문맥에서 사용될 때만 바깥 클래스의 인스턴스를 참조할 수 있다. 자바에서 람다를 지원하기 전에 즉석..

태그 달린 클래스 태그 클래스란, 두가지 이상의 의미를 표현할 때 그 중 현재 표현하는 의미를 태그값으로 알려주는 클래스다. package com.java.effective.item23; class Figure { enum Shape { RECTANGLE, CIRCLE }; // 태그 필드 - 현재 모양을 나타낸다. final Shape shape; // 다음 필드들은 모양이 사각형(RECTANGLE)일 때만 쓰인다. double length; double width; // 다음 필드는 모양이 원(CIRCLE)일 때만 쓰인다. double radius; // 원용 생성자 Figure(double radius) { shape = Shape.CIRCLE; this.radius = radius; } // 사각..

상수 인터페이스 인터페이스는 자신을 구현한 클래스의 인스턴스를 참조할 수 있는 타입 역할을 한다. 클래스가 어떤 인터페이스를 구현한다는 것은 자신의 인스턴스로 무엇을 할수 있는지를 클라이언트에 얘기해주는 것이다. 인터페이스는 이 용도로만 사용해야한다. 예외적으로 상수 인터페이스라는 것은 static final 필드로만 가득찬 인터페이스인데, 메서드가 존재하지 않는다. public interface PhysicalConstantsInterface { static final String MESSAGE = "Hello"; static final String ALERT = "World"; } 상수 인터페이스는 클래스에서 정규화된 이름을 사용하는 것을 피하고자 인터페이스에 구현한 것이다. 상수 인터페이스는 잘못 ..

디폴트 메서드의 문제 자바 8 전에는 기존 구현체를 깨뜨리지 않고는 인터페이스에 메서드를 추가할 방법이 없었다. 인터페이스에 메서드를 추가하면 컴파일 오류가 발생한다. 인터페이스에 메서드를 추가할 수 있도록 디폴트 메서드가 자바 8이후로 출현했지만 위험이 완전히 사라진건 아니다. 디폴트 메서드를 선언하면, 그 인터페이스를 구현한 후 디폴트 메서드를 재정의하지 않은 모든 클래스에서 디폴트 구현이 쓰이게 된다. 모든 기존 구현체들과 매끄럽게 연동되진 않는다. 디폴트 메서드는 구현 클래스에 대해 아무것도 모른채 합의 없이 무작정 삽입될 뿐이다. 문제상황 자바 8에서 컬렉션 인터페이스들에 다수의 디폴트 메서드가 추가됬지만, 모든 상황에서 불변식을 해치지 않는 디폴트 메서드를 작성하긴 어려웠다. Collectio..

다중 구현 메커니즘 자바가 제공하는 다중 구현 메커니즘은 인터페이스, 추상클래스 2가지다. 자바 8부터 인터페이스도 디폴트 메서드를 제공할 수 있게되었다. 디폴트 메서드란? https://devfunny.tistory.com/350 자바8의 default 메서드 등장 디폴트 메서드의 등장 자바 8에서는 기본 구현을 포함하는 인터페이스를 정의하는 2가지 방법을 제공한다. 만약 인터페이스를 바꾸게 되었을때, 해당 인터페이스를 구현한 모든 클래스의 구현 devfunny.tistory.com 추상클래스 추상 클래스와 인터페이스의 가장 큰 차이는 추상 클래스가 정의한 타입을 구현하는 클래스는 반드시 추상 클래스의 하위 클래스가 되어야한다는 점이다. 자바는 단일 상속만 가능하므로, 추상 클래스 방식은 새로운 타입을..

들어가기전 아이템 19를 공부하기 전, 아이템 18 포스팅을 먼저 읽어보자. https://devfunny.tistory.com/544 [교재 EffectiveJava] 아이템 18. 상속보다는 컴포지션을 사용하라 상속 상속은 코드를 재사용하는 강력한 수단이지만, 항상 최선은 아니다. 잘못 사용하면 오류를 내기 쉬운 소프트웨어를 만들게된다. 안전한 상속 상위 클래스와 하위 클래스를 모두 같은 프로 devfunny.tistory.com 상속을 고려한 설계와 문서화 우선, 메서드를 재정의하면 어떤 일이 일어나는지를 정확히 정리하여 문서로 남겨야한다. 즉, 상속용 클래스는 재정의할 수 있는 메서드들을 내부적으로 어떻게 이용하는지 문서로 남겨야한다. 1) 클래스의 API 로 공개된 메서드에서 클래스 자신이 또다..

상속 상속은 코드를 재사용하는 강력한 수단이지만, 항상 최선은 아니다. 잘못 사용하면 오류를 내기 쉬운 소프트웨어를 만들게된다. 안전한 상속 상위 클래스와 하위 클래스를 모두 같은 프로그래머가 통제하는 패키지 안에서의 상속일 경우 확장할 목적으로 설계되었고, 문서화도 잘 된 클래스의 경우 위험한 상속 구체 클래스를 패키지 경계를 넘어, 다른 패키지의 구체 클래스를 상속하는 경우 해당 아이템은 '위험한 상속'에 속하는 경우를 말하며, 클래스-인터페이스 사이의 구현 및 확장하는 인터페이스 상속과는 무관하다. 상속의 캡슐화 저하 상속은 캡슐화를 깨뜨린다. 상위 클래스가 어떻게 구현되느냐에 따라 하위 클래스의 동작에 이상이 생길 수 있다. 확장이 충분히 고려되지않은 상속에서는 상위 클래스의 수정에 따라 하위 클..

불변 클래스 불변 클래스란, 그 인스턴스의 내부 값을 수정할 수 없는 클래스이다. 불변 인스턴스에 간직된 정보는 고정되어 절대 달라지지 않는다. 자바 플랫폼 라이브러리에서 불변 클래스로 예를 든다면, String, 기본 타입의 박싱된 클래스들, BigInteger, BigDecimal 등이 존재한다. 불변 클래스를 설계한 이유는 상태가 바뀌지 않는 특성 덕분에, 가변 클래스보다 설계 및 구현과 사용이 쉽고 오류가 생길 여지가 적고 훨씬 안전하기 때문이다. 불변 클래스로 만들기 1) 객체의 상태를 변경하는 메서드 (setter) 를 제공하지 않는다. 2) 클래스를 확장할 수 없도록 한다. 예를 들면 클래스를 final 로 선언하여 상속을 막아서 하위 클래스에서 변경할 수 없도록 한다. 3) 모든 필드를 f..

public 클래스의 public 필드의 사용(하지마라) public class Point { public double x; public double y; public static void main(String[] args) { Point point = new Point(); // 외부 클래스에서 아래와같이 직접 접근 가능 point.x = 10; point.y = 20; System.out.println(point.x); System.out.println(point.y); } } 위 예제의 public 필드는 아주 위험하다. 이런 클래스는 데이터 필드에 직접 접근이 가능하게되면서, API를 수정하지 않고는 내부 표현을 바꿀 수 없고, 불변식을 보장할 수 없고, 외부에서 필드에 접근할때 부수 작업을 수행..