☕️ Java/이펙티브 자바

🧐 Comparable Comparable은 다음과 같은 인터페이스입니다. public interface Comparable { public int compareTo(T o); } Comparable은 이를 구현한 객체에 자연적인 순서(natural order)가 있음을 의미하며, 그러한 순서에 따라 정렬등을 할 수 있도록 해줍니다. Comparable은 수많은 API에서 활용되며, 단지 이를 구현함으로써 그러한 수많은 API의 기능들을 사용할 수 있게 됩니다. 대표적으로는 Collections.sort 메서드가 있습니다. public static

🧐 리터럴과 클래스 리터럴 리터럴(Literal)은 소스 코드 상에 직접적으로 나타나는 데이터 값 그 자체를 의미합니다. 예를 들어, 정수형 리터럴은 23과 같이 숫자로 이루어진 값이며, 문자열 리터럴은 "hello world"와 같이 따옴표로 감싸진 문자열 값입니다. 클래스 리터럴은 클래스의 이름을 참조하는 방식으로 사용됩니다. 예를 들어, String.class와 같이 클래스 이름 뒤에 .class를 붙여서 사용됩니다. 그리고 이러한 클래스 리터럴의 타입은 Class 입니다. 예를 들어 String.class의 타입은 Class, Integer.class의 타입은 Class인 것입니다. final Class stringClass = String.class; final Class integerClass..

해당 챕터를 이해하기 위해서는 우선 변성(Variance)에 대한 이해가 필요합니다. 🧐 변성에 대하여 변성의 종류에는 공변성(Covariance)과, 반공변성(Contravariance), 무공변성(Invariance)이 있습니다. 이들을 타입 시스템에서 매우 중요한 개념으로, 간단하게 정리하면 아래와 같습니다. 📕 공변성(Covariance) 공변성은 부모 클래스의 타입을 자식 클래스의 타입으로 대체할 수 있는 성질을 의미합니다. S가 T의 하위 타입일 때, I 역시 I의 하위 타입인 경우 이를 공변성을 가진다고 합니다. 공변의 예시로는 자바에서의 배열과, 메서드 반환 타입이 있는데요, 이들을 각각 살펴보도록 하겠습니다. 배열은 공변이므로, 위와 같은 코드가 오류가 발생하지 않고 잘 실행되는 것을 알..

🧐 불변 클래스? 불변 클래스란 해당 인스턴스 내부의 값을 수정할 수 없도록 구현된 클래스입니다. 불변 인스턴스에 설정된 정보는 객체 생성 시점에 고정되어, 해당 객체가 제거되는 순간까지 절대 달라지지 않습니다. 흔히 사용하는 불변 클래스로는 private 타입을 박싱한 클래스들(Integer, Double 등)과 String, BigInteger, BigDemical 등이 있습니다. 불변 클래스는 가변 클래스보다 오류가 생길 여지도 적고, 훨씬 안전하게 사용할 수 있습니다. 🧐 불변 클래스는 어떻게 만들지? 다음과 같은 규칙들을 통해 불변 클래스를 만들 수 있습니다. 객체의 상태를 변경하는 메서드(setter 등)를 제공하지 않습니다. 클래스를 확장할 수 없도록 합니다. 모든 필드를 final로 선언합..

캡슐화 혹은 정보 은닉이라고 하는 개념은, 컴포넌트의 모든 내부 구현을 완벽하게 숨기고, API를 통해서만 다른 컴포넌트와 소통하게 만듦으로써 서로의 내부 동작 방식에는 전혀 개의치 않게 해준다. 정보 은닉을 통해서 우리는 다음과 같은 이점을 얻을 수 있다. 시스템 개발 속도를 높인다. 여러 컴포넌트를 병렬로 개발할 수 있기 때문이다. 시스템 관리 비용을 낮춘다. 각 컴포넌트를 더 빨리 파악하여 디버깅할 수 있고, 다른 컴포넌트로 교체하는 부담도 적기 때문이다. 소프트웨어의 재사용성을 높인다. 큰 시스템을 제작하는 난이도를 낮춰준다. 시스템 전체가 완성되지 않았더라도 개별 컴포넌트의 동작을 검증할 수 있기 때문이다. 자바에서는 정보 은닉을 위해 접근 제어 매커니즘을 사용하는데, 클래스, 인터페이스, 멤버..

equals 메서드는 재정의하기 쉬워 보이지만, 실제로 재정의 할 때는 주의해야 할 점이 많다. 이 문제를 회피하려면 그냥 equals를 재정의하지 않으면 된다. 재정의하지 않고 그냥 둔다면, 해당 클래스의 인스턴스는 오직 자기 자신과만 같게 된다. 다음은 equals를 재정의하지 않는 것이 최선인 경우들이다. 각 인스턴스가 본질적으로 고유하다. 값을 표현하는 게 아니라 동작하는 개체를 표현하는 클래스가 여기 해당한다. Thead가 좋은 예로, Object의 equals 메서드는 이러한 클래스에 딱 맞게 구현되었다. 인스턴스의 논리적 동치성(logical equality)을 검사할 일이 없다. 상위 클래스에서 재정의한 equals가 하위 클래스에도 딱 들어맞는다. 예를 들어 대부분의 Set 구현체는 Ab..

try-finally는 사용하는 자원이 많아질수록 코드가 지저분해진다. 이건 많이들 경험해 보았을 것이다. static String firsLineOfFile(String path) throws IOException { BufferedReader br = new BufferedReader(new FileReader(path)); try { return br.readLine(); } finally { br.close(); } } 위 코는 별로 나쁘지 않아보인다. 하지만 자원을 하나 더 쓴다면 어떨까? static void copy(String src, String dst) throws IOException { InputStream in = new FileInputStream(src); try{ Output..

자바에서는 객체 소멸자로 finalizer와 cleaner를 제공하지만, 모두 예측할 수 없고, 상황에 따라서는 위험할 수도 있다. (자바 9에서는 finalizer를 Deprecated로 정하고, 대안으로 cleaner를 냈지만, cleaner도 역시 예측할 수 없다.) finalizer와 cleaner 모두 즉시 실행된다는 보장이 없고. 언제 실행될지 알 수 있는 방법이 없기 때문에 finalizer와 cleaner로는 제때 실행되어야 하는 작업은 절대 할 수 없다. 즉 요약하자면, 상태를 영구적으로 수정하는 작업에서는 절때 finalizer와 cleaner에 의존해서는 안 된다는 것이다. 예를 들면 데이터베이스 같은 공유 자원의 영구 락(lock)의 해제를 finalizer와 cleaner에 맡겨 ..