도시가 돌아가는 이유는 적절한 추상화와 모듈화 때문이다. 개인과 개인이 관리하는 ‘구성요소’는 효율적으로 돌아간다.
깨끗한 코드를 구현하면 낮은 추상화 수준에서 관심사를 분리하기 쉬워진다.
소프트웨어 시스템은 (애플리케이션 객체를 제작하고 의존성을 서로 연결하는) 준비 과정과 (준비 과정 이후에 이어지는) 런타임 로직을 분리해야 한다.
시작 단계는 모든 애플리케이션이 풀어야 할 관심사다.
관심사 분리는 우리 분야에서 가장 오래되고 가장 중요한 설계 기법 중 하나다.
public Service getService() {
if (service == null)
service = new MyServiceImpl(...);
return service;
}
위의 코드는 초기화 지연 또는 계산 지연이라고 한다.
-
장점
실제로 필요할 때까지 객체를 생성하지 않으므로 불필요한 부하가 걸리지 않는다. → 앱이 시작하는 시간이 빨라진다. 어떤 경우에도 null 포인터를 반환하지 않는다.
-
단점
getService 메서드가 MyServiceImpl과 생성자 인수에 명시적으로 의존한다. → 미해결시 컴파일 불가
테스트 문제 → 모든 실행경로도 테스트해야 함. 작게나마 단일 책임 원칙을 깸.
MyServiceImpl이 모든 상황에 적합한 객체인지 모른다.
체계적이고 탄탄한 시스템을 만들고 싶다면 흔히 쓰는 좀스럽고 손쉬운 기법으로 모듈성을 깨서는 절대로 안 된다. 설정 논리는 일반 실행 논리와 분리해야 모듈성이 높아진다. 또한 주요 의존성을 해소하기 위한 방식, 전반적이며 일관적인 방식도 필요하다.
시스템 생성과 시스템 사용을 분리하는 한가지 방법으로 생성과 관련한 코드는 모두 main이나 main이 호출하는 모듈로 옮기고, 나머지 시스템은 모든 객체가 생성되었고 모든 의존이 연결되었다고 가정한다.
애플리케이션은 main이나 객체가 생성되는 과정을 전혀 모른다. 단지 모든 객체가 적절히 생성되었다고 가정한다.
추상 팩토리 패턴을 사용하면 애플리케이션이 아이템을 생성하는 시점은 결정할 수 있지만 아이템을 생성하는 코드는 애플리케이션이 모른다.
의존성 주입 : 사용과 제작을 분리하는 강력한 메커니즘 → 제어 역전 기법을 의존성 관리에 적용한 메커니즘
- 제어 역전에서는 한 객체가 맡는 보조 책임을 새로운 객체에게 전적으로 떠넘긴다.
- 새로운 객체는 넘겨받은 책임만 맡으므로 단일 책임 원칙을 지킨다.
의존성 자체를 인스턴스로 만드는 책임은 지지 않는다. → 다른 전담 메커니즘에 넘겨야 한다. → 제어 역전 (책임질 메커니즘으로 main 루틴이나 특수 컨테이너 사용)
진정한 의존성 주입은 클래스가 완전히 수동적이다. 의존성이 필요한 객체의 인스턴스를 만든 후 생성자 인수나 설정자 메서드를 사용해 의존성을 설정한다.
💙 소프트웨어 시스템은 물리적인 시스템과 다르다. 관심사를 적절히 분리해 관리한다면 소프트웨어 아키텍처는 점진적으로 발전할 수 있다.
자바 프록시는 단순한 상황에 적합하다. 개별 객체나 클래스에서 메서드 호출을 감싸는 경우가 좋은 예다. JDK에서 제공하는 동적 프록시는 인터페이스만 지원한다. 클래스 프록시를 사용하려면 CGLIB, ASM, Javassist 등과 같은 바이트 코드 처리 라이브러리가 필요하다.
프록시를 사용하면 깨끗한 코드를 작성하기 어렵다. 또한 프록시는 시스템 단위로 실행 지점을 명시하는 메커니즘도 제공하지 않는다.
순수 자바 관점을 구현하는 스프링, AOP, JBoss AOP 등과 같은 여러 자바 프레임워크는 내부적으로 프록시를 사용한다. 의존성이 줄어들고, 테스트가 개념적으로 더 쉽고 간단하며, 상대적으로 단순하기 때문에 사용자 스토리를 올바로 구현하기 쉬우며 미래 스토리에 맞춰 코드를 보수하고 개선하기 편리하다.
관심사를 관점으로 분리하는 가장 강력한 도구는 AspectJ 언어다.
언어 차원에서 관점을 모듈화 구성으로 지원하는 자바 언어 확장이다.
새 언어 문법과 사용법을 익혀야 한다는 단점이 있다.
💙 최선의 시스템 구조는 각기 POJO 객체로 구현되는 모듈화된 관심사 영역으로 구성된다. 서로 다른 영역은 해당 영역 코드에 최소한의 영향을 미치는 관점이나 유사한 도구를 사용해 통합한다. 이런 구조 역시 코드와 마찬가지로 테스트 주도 기법을 적용할 수 있다.
BDUF Big Design Up Front를 추구할 필요가 없다.
단순하면서도 멋지게 분리된 아키텍처로 소프트웨어 프로젝트를 진행해 결과물을 빠르게 출시한 후 기반 구조를 추가하며 조금씩 확장해 나가도 괜찮다.
💙 관심사를 모듈로 분리한 POJO 시스템은 기만함을 제공한다. 이런 기반함 덕분에 최신 정보에 기반해 최선의 시점에 최적의 결정을 내리기가 쉬워진다. 또한 결정의 복잡성도 줄어든다.
모듈을 나누고 관심사를 분리하면 지엽적인 관리와 결정이 가능해진다.
가장 적합한 사람에게 책임을 맡기면 좋다.
최대한 정보를 모아 최선의 결정을 내리기 위해 가능한 마지막 순간까지 결정을 미루는 게 좋다.
(너무 일찍 결정하면 피드백을 모으고 프로젝트를 고민하고 구현 방법을 더 탐험할 기회가 사라진다.)
💙 표준을 사용하면 아이디어와 컴포넌트를 재사용하기 쉽고, 적절한 경험을 가진 사람을 구하기 쉬우며, 좋은 아이디어를 캡슐화하기 쉽고 컴포넌트를 엮기 쉽다. 하지만 때로는 표준을 만드는 시간이 너무 오래 걸려 업계가 기다리지 못한다. 어떤 표준은 원래 표준을 제정한 목적을 잊어버리기도 한다.
표준에 집착할 필요 없다.
💙 도메인 특화 언어를 사용하면 고차원 정책에서 저차원 세부사항에 이르기까지 모든 추상화 수준과 모든 도메인을 POJO로 표현할 수 있다.
DSL은 간단한 스크립트 언어나 표준 언어로 구현한 API를 가리킨다.
좋은 DSL은 도메인 개념과 그 개념을 구현한 코드 사이에 존재하는 의사소통 간극을 줄여준다.
추상화 수준을 코드 관용구나 디자인 패턴 이상으로 끌어올린다.