객체지향 프로그래밍

객체지향 프로그래밍

객체지향 프로그래밍을 향해

객체지향은 객체를 지향하는 것입니다. 객체를 지향한다는 말이 무슨 의미일까요? C++, 자바, 루비, C#과 같이 클래스 기반의 객체지향 언어에 익숙한 사람이라면 가장 먼저 어떤 클래스가 필요한지 고민부터 합니다. 대부분의 사람들은 클래스를 결정한 후에 클래스에 어떤 속성과 어떤 메서드가 필요한지 고민합니다.

안타깝게도 이것은 객체지향의 본질과는 거리가 멉니다. 객체지향은 말 그대로 객체를 지향하는 것입니다.진정한 객체지향의 패러다임으로의 전환은 클래스가 아니라 객체에 초점을 맞출 때에만 얻을 수 있습니다. 이를 위해서는 프로그래밍하는 동안 다음의 두 가지에 집중해야 합니다.

첫째, 어떤 클래스들이 필요한지를 고민하기 전에 어떤 객체들이 필요한지 고민해야 합니다. 클래스는 공통적인 상태와 행동을 공유하는 객체들을 추상화 한것입니다. 따라서 클래스의 윤곽을 잡기 위해서는 어떤 객체들이 어떤 상태와 행동을 가지는지를 먼저 결정해야합니다. 객체를 중심에 두는 접근 방식은 설계를 단순하고 깔끔하게 만듭니다.

둘째, 객체를 독립적인 존재가 아니라 기능을 구현하기 위해 협력하는 공동체의 일원으로 봐야 합니다. 객체는 홀로 존재하는 것이 아닙니다. 다른 객체에게 도움을 주거나 의존하면서 살아가는 협력적인 존재입니다. 객체를 협력하는 공동체의 일원으로 바라보는 것은 설계를 유연하고 확장 가능하게 만듭니다. 객체 지향적으로 생각하고 싶다면 객체를 고립된 존재로 바라보지 말고 협력에 참여하는 협력자로 바라보기 바랍니다. 객체들의 모양과 윤곽이 잡히면 공통된 특성과 상태를 가진 객체들을 타입으로 분류하고 이 타입을 기반으로 클래스를 구현합니다. 훌륭한 협력이 훌륭한 객체를 낳고 훌륭한 객체가 훌륭한 클래스를 낳습니다.

도메인 구조를 따르는 프로그램의 구조

이 시점에서 도메인(domain)이라는 용어를 살펴보는것이 도움이 될 것입니다. 소프트웨어는 사용자가 원하는 어떠한 문제를 해결하기 위해 만들어졌습니다. 영화 예매 시스템의 목적은 영화를 좀 더 쉽고 빠르게 예매하려는 사용자의 문제를 해결하는 것입니다. 이 처럼 문제를 해결하기 위해 사용자가 프로그램을 사용하는 분야를 도메인이라고 부릅니다.

객체지향 패러다임이 강력한 이유는 요구사항을 분석하는 초기 단계부터 프로그램을 구현하는 마지막 단계까지 객체라는 동일한 추상화 기법을 사용할 수 있기 때문입니다. 요구사항과 프로그램을 객체라는 동일한 관점에서 바라볼 수 있기 때문에 도메인을 구성하는 개념들이 프로그램의 객체와 클래스로 매끄럽게 연결될 수 있습니다.

영화 예매 도메인을 구성하는 타입들의 구조

위의 그림은 영화 예매 도메인을 구성하는 개념과 관계를 표현한 것입니다. 영화는 여러 번 상영될 수 있고 상영은 여러번 예매될 수 있다는 것을 알 수 있습니다. 영화에는 할인 정책을 할당하지 않거나 할당하더라도 오직 하나만 할당할 수 있고 할인 정책이 존재하는 경우에는 하나 이상의 할인 조건이 반드시 존재한다는 것을 알 수 있습니다.
할인 정책의 종류로는 금액 할인 정책과 비율 할인 정책이 있고, 할인 조건의 종류로는 순번 조건과 기간 조건이 있다는 사실 역시 확인할 수 있습니다.

자바나 C#과 같은 클래스 기반의 객체지향 언어에 익숙하다면 도메인 개념들을 구현하기 위해 클래스를 사용한다는 사실이 낮설지는 않을 것입니다. 일반적으로 클래스의 이름은 대응되는 도메인 개념의 이름과 동일하거나 적어도 유사하게 지어야 합니다. 클래스 사이의 관계도 최대한 도메인 개념 사이에 맺어진 관계와 유사하게 만들어서 프로그램의 구조를 이해하고 예상하기 쉽게 만들어야 합니다.

이 원칙에 따라 영화라는 개념은 Movie 클래스로, 상영이라는 개념은 Screening 클래스로 구현합니다. 할인 정책은 DiscountPolicy, 금액 할인 정책은 AmountDiscountPolicy, 비율 할인 정책은 PercentDiscountPolicy 클래스로 구현하고, 할인 조건은 DiscountCondition, 순번 조건은 SequenceCondition, 기간 조건은 PeriodCondition 클래스로 구현합니다. 예매라는 개념은 Reservation이라고 이름 지어진 클래스로 구현합니다. 도메인 개념과 관계를 반영하도록 프로그램을 구조화해야 하기 때문에 아래 그림과 같이 클래스의 구조는 도메인의 구조와 유사한 형태를 띄어야 합니다.

클래스 구현하기

도메인 개념들의 구조를 반영하는 적절한 클래스 구조를 만들었다고 가정합시다. 이제 남은 일은 적절한 프로그래밍 언어를 이용해 이 구조를 구현하는 것입니다. 여기서는 설명을 위해 설계 과정을 생략하고 최종 코드의 모습과 객체지향 프로그래밍과 관련된 중요한 개념을 살펴보기로 합시다.

Screening 클래스는 사용자들이 예매하는 대상인 상영을 구현합니다. Screening은 상영할 영화(movie), 순번(sequence),상영 시작 시간(whenScreened)을 인스턴스 변수로 포함합니다. Screening은 상영 시작 시간을 반환하는 getStartTime 메서드, 순번의 일치 여부를 검사하는 isSequence 메서드, 기본 요금을 반환하는 getMovieFee 메서드를 포함합니다.

import java.time.LocalDateTime;

public class Screening {

    private Movie movie;
    private int sequence;
    private LocalDateTime whenScreened;

    public LocalDateTime getStartTime(){
        return whenScreened;
    }

    public boolean isSequence(int sequence){
        return  this.sequence == sequence;
    }

    public Money getMovieFee(){
        return movie.getFee();
    }
}

여기서 주목할 점은 인스턴스 변수의 가시성은 private이고 메서드의 가시성은 public 입니다. 클래스를 구현하거나 다른 개발자에 의해 개발된 클래스를 사용할 때 가장 중요한 것은 클래스의 경계를 구분 짓는 것입니다. 클래스는 내부와 외부로 구분되며 훌륭한 클래스를 설계하기 위한 핵심은 어떤 부분을 외부에 공개하고 어떤 부분을 감출지를 결정하는 것입니다. Screening에서 알 수 있는 것처럼 외부에서는 객체의 속성에 직접 접근할수 없도록 막고 적절한 public 메서드를 통해서만 내부 상태를 변경할 수 있게 해야합니다.

클래스의 내부와 외부를 구분하는 이유는 경계의 명확성이 객체의 자율성을 보장하기 때문입니다. 그리고 더 중요한 이유로 프로그래머에게 구현의 자유를 제공하기 때문입니다.

자율적인 객체

먼저 두가지 중요한 사실을 알아야 합니다. 첫 번째 사실은 객체가 상태와 행동을 함께 가지는 복합적인 존재라는 것입니다. 두 번째 사실은 객체가 스스로 판단하고 행동하는 자율적인 존재라는 것입니다. 두 가지 사실은 서로 깊이 연관돼 있습니다.

객체지향 이전의 패러다임에서는 데이터와 기능이라는 독립적인 존재를 서로 엮어 프로그램을 구성했습니다. 이와 달리 객체지향은 객체라는 단위 안에 데이터 와 기능을 한 덩어리로 묶음으로써 문제 영역의 아이디어를 적절하게 표현할 수 있게 합니다. 이처럼 데이터와 기능을 객체 내부로 함께 묶는 것을 캡슐화라고 부릅니다.

또한 캡슐화하는 것에서 한 걸음 더 나아가 외부에서 접근을 통제할 수 있는 접근 제어 메커니즘도 함께 제공합니다. 많은 프로그래밍 언어들은 접근 제어(access control)를 위해 public, private, protected과 같은 접근 수정자(access modifier)를 제공합니다.

객체 내부에 대한 접근을 통제하는 이유는 객체를 자율적인 존재로 만들기 위해서 입니다. 객체지향의 핵심은 스스로 상태를 관리하고, 판단하고, 행동하는 자율적인 객체들의 공동체를 구성하는 것입니다. 자율적인 존재로 우뚝 서기 위해서는 외부의 간섭을 최소화 해야합니다. 외부에서는 객체가 어떤 상태에 놓여 있는지, 어떤 생각을 하고 있는지 알아서는 안되며, 결정에 직접적으로 개입하려고 해서도 안됩니다. 객체에게 원하는 것을 요청하고 객체가 스스로 최선의 방법을 결정할 수 있을 것이라는 점을 믿고 기다려야 합니다.

캡슐화와 접근제어는 객체를 두 부분으로 나눕니다. 하나는 외부에서 접근 가능한 부분으로 이를 퍼블릭 인터페이스(public interface)라고 부르고, 다른 하나는 외부에서 접근 불가능하고 오직 내부에서만 접근 가능한 부분으로 이를 구현(implementation)이라고 부릅니다. 인터페이스와 구현의 분리 원칙은 훌륭한 객체지향 프로그램을 만들기 위해 따라야 하는 핵심 원칙입니다.

일반적으로 객체의 상태를 숨기고 행동만 외부에 공개해야 합니다. 어떤 메서드들이 서브 클래스나 내부에서만 접근 가능해야 한다면 가시성을 protected나 private으로 지정해야 합니다. 이때 퍼블릭 인터페이스에는 public으로 지정된 메서드만 포함합니다. 그 밖의 private 메서드나 protected 메서드, 속성은 구현에 포함됩니다.

프로그래머의 자유

프로그래머의 역할을 클래스 작성자와 클라이언트 프로그래머로 구분하는 것이 유용합니다. 클래스 작성자는 새로운 데이터 타입을 프로그램에 추가하고, 클라이언트 프로그래머는 클래스 작성자가 추가한 데이터 타입을 사용합니다.

클라이언트 프로그래머의 목표는 필요한 클래스들을 엮어서 애플리케이션을 빠르고 안정적으로 구축하는 것입니다. 클래스 작성자는 프로그래머에게 필요한 부분만 공개하고 나머지는 꽁꽁 숨겨야 합니다. 클라이언트 프로그래머가 숨겨 놓은 부분에 마음대로 접근할 수 없도록 방지함으로써 클라이언트 프로그래머에 대한 영향을 걱정하지 않고도 내부 구현을 마음대로 변경할 수 있습니다. 이를 구현 은닉(implementation hiding)이라고 부릅니다.

구현 은닉은 클래스 작성자와 클라이언트 프로그래머 모두에게 유용한 개념입니다. 클라이언트 프로그래머는 내부의 구현은 무시한 채 인터페이스만 알고 있어도 클래스를 사용할 수 있기 때문에 머릿속에 담아둬야 하는 지식의 양을 줄일 수 있습니다. 클래스 작성자는 인터페이스를 바꾸지 않는 한 외부에 미치는 영향을 걱정하지 않고도 내부 구현을 마음대로 변경 할 수 있습니다. 다시 말해 public 영역을 변경하지 않는다면 코드를 자유롭게 수정할 수 있다는 것입니다.

객체의 외부와 내부를 구분하면 클라이언트 프로그래머가 알아야 할 지식의 양이 줄어들고, 클래스 작성자가 자유롭게 구현을 변경할 수 있는 폭이 넓어집니다. 따라서 클래스를 개발할 때마다 인터페이스와 구현을 깔끔하게 분리하기 위해 노력해야 합니다.

협력하는 객체들의 공동체

이제 영화를 예매하는 기능을 구현하는 메서드를 살펴보겠습니다. Screening의 reserve 메서드는 영화를 예매한 후 예매 정보를 담고 있는 Reservation의 인스턴스를 생성해서 반환합니다. 인자인 customer는 예메자에 대한 정보를 담고 있고 audienceCount는 인원수 입니다.

public class Screening{
    public Reservation reserve(Customer customer, int audienceCount){
        return new Reservation(customer, this, calculateFee(audienceCount), audienceCount);
    }
}

Screening의 reserve 메서드를 보면 calculateFee라는 private 메서드를 호출해서 요금을 계산한 후 그 결과를 Reservation의 생성자에 전달하는 것을 알 수 있습니다. calculateFee 메서드는 요금을 계산하기 위해 다시 Movie의 calculateMovieFee 메서드를 호출합니다. Movie의 calculateMovieFee 메서드의 반환 값은 1인당 예매 요금입니다. 따라서 Screening은 전체 예매 요금을 구하기 위해 calculateMovieFee 메서드의 반환 값에 인원 수인 audienceCount를 곱합니다.

public class Screening{
  private Money calculateFee(int audienceCount){
        return movie.calculateMovieFee(this).times(audienceCount);
    }
}

Money는 금액과 관련된 다양한 계산을 구현하는 클래스 입니다.

import java.math.BigDecimal;

public class Money {

    public static final Money ZERO = Money.wons(0);

    private final BigDecimal amount;

    public static Money wons(long amount){
        return new Money(BigDecimal.valueOf(amount));
    }

    public static Money wons(double amount){
        return new Money(BigDecimal.valueOf(amount));
    }

    Money(BigDecimal amount){
        this.amount = amount;
    }

    public Money plus(Money amount){
        return new Money(this.amount.add(amount.amount));
    }

    public Money minus(Money amount){
        return new Money(this.amount.subtract(amount.amount));
    }

    public Money times(double percent){
        return new Money(this.amount.multiply(
                BigDecimal.valueOf(percent)
        ));
    }

    public boolean isLessThan(Money other){
        return amount.compareTo(other.amount) < 0;
    }


    public boolean isGreaterThanOrEqual(Money other){
        return amount.compareTo(other.amount) >= 0;
    }

}

이전 시간에 공부했던 티켓발권 시스템을 공부했을때 금액을 구현하기 위해서 Long 타입을 사용했었습니다. Long 타입은 변수의 크기나 연산자의 종류와 관련된 구현 관점의 제약은 표현할 수 있지만 Money 타입처럼 저장하는 값이 금액과 관련돼 있다는 의미를 전달 할 수는 없습니다. 또한 금액과 관련된 로직이 서로 다른 곳에 중복되어 구현되는 것을 막을 수 없습니다. 객체지향의 장점은 객체를 이용해 도메인의 의미를 풍부하게 표현할 수 있다는 것입니다. 따라서 의미를 좀 더 명시적이고 분명하게 표현할 수 있다면 객체를 사용해서 해당 개념을 구현해야 합니다. 그 개념이 비록 하나의 인스턴스 변수만 포함하더라도 개념을 명시적으로 표현하는 것은 전체적인 설계의 명확성과 유연성을 높이는 첫걸음 입니다.

Reservation 클래스는 고객, 상영정보, 예매 요금, 인원 수를 속성으로 포함합니다.

public class Reservation {

    private Customer customer;
    private Screening screening;
    private Money fee;
    private int audienceCount;

    public Reservation(Customer customer, Screening screening, Money fee, int audienceCount) {
        this.customer = customer;
        this.screening = screening;
        this.fee = fee;
        this.audienceCount = audienceCount;
    }
}

영화를 예매하기 위해 Screening, Movie, Reservation 인스턴스들은 서로의 메서드를 호출하며 상호작용합니다. 이처럼 시스템의 어떤 기능을 구현하기 위해 객체들 사이에 이뤄지는 상호작용을 협력(Collaboration)이라고 부릅니다.

Screening, Reservation, Movie 사이의 협력

객체지향 프로그램을 작성할 때는 먼저 협력의 관점에서 어떤 객체가 필요한지를 결정하고, 객체들의 공통 상태와 행위를 구현하기 위해 클래스를 작성합니다. 따라서 협력에 대한 개념을 간략하게라도 살펴보는 것이 도움이 됩니다.

협력에 관한 짧은 이야기

객체는 다른 객체의 인터페이스에 공개된 행동을 수행하도록 요청을 할 수 있습니다. 요청을 받은 객체는 자율적인 방법에 따라 요청을 처리한 후 응답합니다.

객체가 다른 객체와 상호작용할 수 있는 유일한 방법은 메시지를 전송하는 것 뿐입니다. 다른 객체에게 요청이 도착할 때 해당 객체가 메시지 수신했다고 이야기 합니다. 메시지를 수신한 객체는 스스로의 결정에 따라 자율적으로 메시지를 처리할 방법을 결정합니다. 이 처럼 수신된 메시지를 처리하기 위한 자신만의 방법을 메서드라고 부릅니다.

메시지와 메서드를 구분하는 것은 매우 중요합니다. 객체지향 패러다임이 유연하고 확장 가능하며, 재사용 가능한 설계를 낳는다는 명성을 얻게 된 배경에는 메시지와 메서드를 명확하게 구분한 것도 단단히 한몫합니다.

위에서 Screening이 Movie의 calculateMovieFee 메서드를 호출한다고 말했지만 사실은 Screening이 Movie에게 calculateMovieFee 메시지를 전송한다고 말하는 것이 더 적절한 표현입니다. 사실 Screening은 Movie안에 calculateMovieFee 메서드가 존재하고 있는지조차 알지 못합니다. 단지 Movie가 calculateMovieFee 메시지에 응답할수 있다고 믿고 메시지를 전송할 뿐입니다.

메시지를 수신한 Movie는 스스로 적절한 메서드를 선택합니다. 사실 예제에서 사용한 자바 같은 정적 타입 언어에는 해당되지 않지만 루비나 스몰토크 같은 동적 타입 언어에서는 calculateMovieFee가 아닌 다른 시그니처를 가진 메서드를 통햏서도 해당 메시지에 응답할 수 있습니다. 결국 메시지를 처리하는 방법을 결정하는 것은 Movie 스스로의 문제인 것입니다.

할인 요금 구하기

할인 요금 계산을 위한 협력 시작하기

Movie는 제목(title), 상영시간(Duration), 기본요금(fee), 할인 정책(discountPolicy)을 속성으로 가집니다. 이 속성들의 값은 생성자를 통해서 전달받습니다.

import java.time.Duration;

public class Movie {
    private String title;
    private Duration runningTime; 
    private Money fee;
    private DiscountPolicy discountPolicy;

    public Movie(String title, Duration runningTime, Money fee, DiscountPolicy discountPolicy) {
        this.title = title;
        this.runningTime = runningTime;
        this.fee = fee;
        this.discountPolicy = discountPolicy;
    }

    public Money getFee(){
        return fee;
    }

    public Money calculateMovieFee(Screening screening) {
        return fee.minus(discountPolicy.calculateDiscountAmount(screening));
    }
}

calculateMovieFee 메서드는 discountPolicy에 calculateDiscountAmount 메시지를 전송해 할인 요금을 반환 받습니다. Movie는 기본 요금인 fee에서 반환된 할인 요금을 차감합니다.

이 메서드 안에는 한 가지 이상한 점이 있습니다. 어떤 할인 정책을 사용할 것인지 결정하는 코드가 어디에도 존재하지 않는다는 것입니다. 도메인을 설명할 때 언급했던 것처럼 영화 예매 시스템에는 두 가지 종류의 할인 정책이 존재합니다. 하나는 일정한 금액을 할인해 주는 금액 할인 정책이고 다른 하나는 일정한 비율에 따라 할인 요금을 결정하는 비율 할인 정책입니다. 따라서 예매 요금을 게산하기 위해서는 현재 영화에 적용되 있는 할인 정책의 종류를 판단할 수 있어야 합니다. 하지만 코드 어디에도 할인 정책을 판단하는 코드는 존재하지 않습니다. 단지 discountPolicy에게 메시지를 전송할 뿐입니다.

이 코드가 어색하다면 아직 객체지향 패러다임에 익숙하지 않는 것이라고 봐도 무방하다는군요.... 이 코드에는 객체지향에서 중요하다고 여겨지는 두가지 개념이 숨겨져 있습니다. 하나는 상속이고 다른 하나는 다형성입니다. 그리고 그 기반에는 추상화라는 원리가 숨겨져 있습니다. 먼저 코드의 개념부터 살펴보겠습니다.

할인 정책과 할인 조건

할인 정책은 금액 할인 정책과 비율 할인 정책으로 구분됩니다. 두 가지 할인 정책을 각각 AmountDiscountPolicy와 PercentDiscountPolicy라는 클래스로 구현할 것입니다. 두 클래스는 대부분의 코드가 유사하고 할인 요금을 계산하는 방식만 조금 다릅니다. 따라서 두 클래스 사이의 중복 코드를 제거하기 위해 공통의 코드를 보관할 장소가 필요합니다.

여기서 부모 클래스인 DiscoutPolicy 안에 중복 코드를 두고 AmountDiscoutPolicy와 PercentDiscountPolicy가 이 클래스를 상속받게 할 것입니다. 실제 애플리케이션에서는 DiscountPolicy의 인스턴스를 생성할 필요가 없기 때문에 추상화 클래스로 구현했습니다.

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

public abstract class DiscountPolicy {

    private List<DiscountCondition> conditions = new ArrayList<>();

    public DiscountPolicy(DiscountCondition ... conditions) {
        this.conditions = Arrays.asList(conditions);
    }

    public Money calculateDiscountAmount(Screening screening){
        for (DiscountCondition each : conditions){
            if(each.isSatisfiedBy(screening)){
                return getDiscountAmount(screening);
            }
        }

        return Money.ZERO;
    }

    abstract protected Money getDiscountAmount(Screening screening);
}

DiscountPolciy는 DiscountCondition의 리스트인 conditions를 인스턴스 변수로 가지기 때문에 하나의 할인 정책은 여러 개의 할인 조건을 포함할 수 있습니다. calculateDiscountAmount 메서드는 전체 할인 정책에 대해 차례대로 DiscountCondition의 isSatisfiedBy 메서드를 호출합니다. isSatisfiedBy 메서드는 인자로 전달된 Screening이 할인 조건을 만족시킬 경우에는 true를, 만족시키지 못할 경우에는 false를 반환합니다.

할인 조건을 만족하는 DiscountCondition이 하나라도 존재하는 경우에는 추상 메서드인 getDiscountAmount 메서드를 호출하여 할인 요금을 계산합니다. 만족하는 할인 조건이 하나도 존재하지 않는다면 Screening의 getMovieFee 메서드를 호출해 원래의 영화 가격을 반환합니다.

DiscountPolicy는 할인 여부와 요금 계산에 필요한 전체적인 흐름은 정의하지만 실제로 요금을 계산하는 부분은 추상 메서드인 getDiscountAmount 메서드에게 위임합니다. 실제로 DiscountPolicy를 상속받은 자식 클래스에서 오버라이딩한 메서드가 실행될 것입니다. 이처럼 부모 클래스에 기본적인 알고리즘을 구현하고 중간에 필요한 처리를 자식 클래스에게 위임하는 디자인 패턴을 TEMPLATE METHOD 패턴이라고 부릅니다.

DiscountCondition은 자바의 인터페이스를 이용해 선언돼 있습니다. isSatisfiedBy 오퍼레이션은 인자로 전달된 Screening이 할인이 가능한 경우 true를 반환하고 할인이 불가능한 경우에는 false를 반환합니다.

public interface DiscountCondition{
    boolean isSatisfiedBy(Screening screening);
}

영화 예매 시스템에는 순번 조건과 기간 조건의 두 가지 할인 조건이 존재합니다. 두 가지 할인 조건은 각각 SequenceCondition과 PeriodCondition이라는 클래스로 구현할 것입니다.

SequenceCondtion은 할인 여부를 판단하기 위해 사용할 순번(sequence)을 인스턴스 변수로 포함합니다. isSatisfiedBy 메서드는 파라미터로 전달된 Screening의 상영 순번과 일치할 경우 할인 가능한 것으로 판단해서 true를, 그렇지 않는 경우에는 false를 반환합니다.

public class SequenceCondition implements DiscountCondition {

    private int sequence;

    public SequenceCondition(int sequence) {
        this.sequence = sequence;
    }

    @Override
    public boolean isSatisfiedBy(Screening screening) {
        return screening.isSequence(sequence);
    }
}

PeriodCondition은 상영 시작 시간이 특정한 기간 안에 포함되는지 여부를 판단해 할인 여부를 결정합니다. 조건에 사용할 요일(dayOfWeek)과 시작 시간(startTime), 종료 시간(endTime)을 인스턴스 변수로 포함합니다. isSatisfiedBy 메서드는 인자로 전달된 Screening의 상영 요일이 dayOfWeek과 같고 상영 시작 시간이 startTime과 endTime 사이에 있을 경우에는 true를 반환하고 그렇지 않은 경우에는 false를 반환합니다.

import java.time.DayOfWeek;
import java.time.LocalTime;

public class PeriodCondition implements DiscountCondition {

    private DayOfWeek dayOfWeek;
    private LocalTime startTime;
    private LocalTime endTime;

    public PeriodCondition(DayOfWeek dayOfWeek, LocalTime startTime, LocalTime endTime) {
        this.dayOfWeek = dayOfWeek;
        this.startTime = startTime;
        this.endTime = endTime;
    }

    @Override
    public boolean isSatisfiedBy(Screening screening) {
        return screening.getStartTime().getDayOfWeek().equals(dayOfWeek) &&
                startTime.compareTo(screening.getStartTime().toLocalTime()) <= 0 &&
                endTime.compareTo(screening.getStartTime().toLocalTime()) >= 0;
    }
}

이제 할인 정책을 구현해봅시다. AmountDiscountPolicy는 DiscountPolicy로 자식 클래스로서 할인 조건을 만족할 경우 일정한 금액을 할인해주는 금액 할인 정책을 구현합니다. 이 클래스는 DiscountPolicy의 getDiscountAmount 메서드를 오버라이딩 합니다. 할인 요금은 이스턴스 변수인 discountAmount에 저장합니다.

public class AmountDiscoutPolicy extends DiscountPolicy {

    private Money discountAmount;

    public AmountDiscoutPolicy(Money discountAmount, DiscountCondition... conditions) {
        super(conditions);
        this.discountAmount = discountAmount;
    }

    @Override
    protected Money getDiscountAmount(Screening screening) {
        return discountAmount;
    }
}

PercentDiscountPolicy 역시 DiscountPolicy의 자식 클래스로서 getDiscountAmount 메서드를 오버라이딩 합니다. AmountDiscountPolicy와 다른 점이라면 고정 금액이 아닌 일정 비율을 차감한다는 것입니다. 할인 비율은 인스턴스 변수인 percent에 저장합니다.

public class PercentDiscountPolicy extends DiscountPolicy {

    private double percent;

    public PercentDiscountPolicy(double percent, DiscountCondition... conditions) {
        super(conditions);
        this.percent = percent;
    }

    @Override
    protected Money getDiscountAmount(Screening screening) {
        return screening.getMovieFee().times(percent);
    }
}

할인 정책과 할인 조건 다이어그램

할인 정책 구성하기

하나의 영화에 대해 단 하나의 할인 정책만 설정할 수 있지만 할인 조건의 경우에는 여러 개를 적용할 수 있습니다. Movie와 DiscountPolicy의 생성자는 이런 제약을 강제합니다. Movie의 생성자는 오직 하나의 DiscountPolicy 인스턴스만을 받을 수 있도록 선언돼 있습니다.

   public Movie(String title, Duration runningTime, Money fee, DiscountPolicy discountPolicy) {
        ...
        this.discountPolicy = discountPolicy;
    }

반면 DiscountPolicy의 생성자는 여러 개의 DiscoutCondition 인스턴스를 허용합니다.

 public DiscountPolicy(DiscountCondition ... conditions) {
        this.conditions = Arrays.asList(conditions);
    }

이처럼 생성자의 파라미터 목록을 이용해 초기화에 필요한 정보를 전달하도록 강제하면 올바른 상태를 가진 객체 생성을 보장할 수 있습니다. 아래 코드는 아바타에 대한 할인 정책과 할인 조건을 설정한 것입니다. 할인 정책으로 금액 할인 정책이 적용되고, 두 개의 순서 조건과 두개의 기간조건을 이용해 할인 여부를 판단한다는 것을 알 수 있습니다.

Movie avatar = new Movie("아바타", 
    Duration.ofMinute(120),
    Money.wons(10000),
    new AmountDiscountPolicy(Money.wons(800),
    new SequenceCondition(1),
    new SequenceCondition(10),
    new PeriodCondition(DayOfWeek.MONDAY, LocalTime.of(10,0), LoclaTime.of(11,59)),
    new PeriodCondition(DayOfWeek.THURSDAY, LocalTime.of(10,0), LoclaTime.of(20,59))));

또한 타이타닉에 대한 할인 정책은 다음과 같이 설정할 수 있습니다. 10%의 비율 할인 정책이 적용되고 두개의 기간 조건과 한 개의 순서 조건을 이용해 할인 여부를 판단한다는 것을 알 수 있습니다.

Movie titanic = new Movie("타이타닉",
    Duration.ofMinute(180),
    Money.wons(11000),
    new PercentDiscountPolicy(0.1,
    new PeriodCondition(DayOfWeek.TUESDAY, LocalTime.of(14,0), LocalTime.of(16,59)),
    new SequenceCondition(2),
    new PeriodCondition(DayOfWeek.TUESDAY, LocalTime.of(10,0), LocalTime.of(13,59))));

상속과 다형성

컴파일 시간 의존성과 실행 시간 의존성

Movie와 DiscountPolicy 계층 사이의 관계를 클래스 다이어그램으로 표현한 것입니다. Movie는 DiscountPolicy와 연결돼 있으며, AmountDiscountPolicy와 PercentDiscountPolicy는 추상 클래스인 DiscountPolicy를 상속받습니다. 이처럼 어떤 클래스가 다른 클래스에 접근할 수 있는 경로를 가지거나 해당 클래스의 객체의 메서드를 호출할 경우 두 클래스 사이에 의존성이 존재한다고 말합니다.

DiscountPolicy 상속 계층

여기서 눈여겨봐야 할 부분은 Movie 클래스가 DiscountPolicy 클래스와 연결돼 있다는 것입니다. 문제는 영화 요금을 계산하기 위해서는 추상 클래스인 DiscountPolicy가 아니라 AmountDiscountPolicy와 PercentDiscountPolicy 인스턴스가 필요하다는 것입니다. 따라서 Movie의 인스턴스는 실행 시 AmountDiscountPolicy나 PercentDiscountPolicy의 인스턴스에 의존해야 합니다. 하지만 코드 수준에서는 Movie 클래스는 이 두 클래스 중 어떤 것에도 의존하지 않습니다. 오직 추상 클래스인 DiscountPolicy에만 의존하고 있습니다.

그렇다면 Movie의 인스턴스가 코드 작성 시점에는 그 존재조차 알지 못했던 AmountDiscountPolicy와 PercentDiscountPolicy의 인스턴스 실행 시점에 협력 가능한 이유는 무엇일까요? 그것은 Movie의 생성자에서 DiscountPolicy 타입의 객체를 인자로 받았기 때문입니다. 만약 요금을 계산하기 위해 금액 할인 정책을 적용하고 싶다면 Movie의 인스턴스를 생성할 때 인자로 AmountDiscountPolicy의 인스턴스를 전달하면 됩니다.

Movie avatar = new Movie("아바타", 
    Duration.ofMinute(120),
    Money.wons(10000),
    new AmountDiscountPolicy(Money.wons(800),...));

실행 시에 Movie는 AmountDiscountPolicy에 의존합니다.

영화 요금을 계산하기 위해 비율 할인 정책을 적용하고 싶다면 AmountDiscountPolicy 대신 PercentDiscountPolicy의 인스턴스를 전달하면 됩니다.

Movie avatar = new Movie("아바타", 
    Duration.ofMinute(120),
    Money.wons(10000),
    new PercentDiscountPolicy(0.1,...));

이 경우 Movie의 인스턴스는 PercentDiscountPolicy의 인스턴스에 의존하게 됩니다.

여기서 이야기하고자 하는 것은 코드의 의존성과 실행 시점의 의존성이 서로 다를 수 있다는 것입니다. 다시 말해 클래스 사이의 의존성과 객체 사이의 의존성은 동일하지 않을 수 있습니다. 그리고 유연하게, 쉽게 재사용 할 수 있으며, 확장 가능한 객체지향 설계가 가지는 특성은 코드의 의존성과 실행 시점의 의존성이 다르다는 것입니다.

한 가지 간과해서는 안 되는 사실은 코드의 의존성과 실행 시점의 의존성이 다르면 다를수록 코드를 이해하기 어려워진다는 것입니다. 코드를 이해하기 위해서는 코드뿐만 아니라 객체를 생성하고 연결하는 부분을 찾아야 하기 때문입니다. 반면 코드의 의존성과 실행 시점의 의존성이 다르면 다를수록 코드는 더 유연해지고 확장 가능해집니다. 이와 같은 의존성의 양면성은 설계가 트레이드오프의 산물이라는 사실을 잘 보여줍니다.

설계가 유연해질수록 코드를 이해하고 디버깅하기는 점점 어려워진다는 사실을 기억해야합니다. 반면 유연성을 억제하면 코드를 이해하고 디버깅하기는 쉬워지지만 재사용성과 확장 가능성은 낮아진다는 사실도 기억해야합니다. 무조건 유연한 설계도, 무조건 읽기 쉬운 코드도 정답이 아닙니다. 이것이 객체지향 설계가 어려우면서 매력적인 이유입니다.

상속과 인터페이스

상속이 가치 있는 이유는 부모 클래스가 제공하는 모든 인터페이스를 자식 클래스가 물려받을 수 있기 때문입니다. 이것은 상속을 바라보는 일반적인 인식과는 거리가 있는데 대부분의 사람들은 상속의 목적이 메서드나 인스턴스 변수를 재사용하는 것이라고 생각하기 때문입니다.

인터페이스는 객체가 이해할 수 있는 메시지의 목록을 정의한다는 것을 기억하세요. 상속을 통해 자식 클래스는 자신의 인터페이스에 부모 클래스의 인터페이스를 포함하게 됩니다. 결과적으로 자식 클래스는 부모 클래스가 수신할 수 있는 모든 메시지를 수신할 수 있기 때문에 외부 객체는 자식 클래스를 부모 클래스와 동일한 타입으로 간주할 수 있습니다.

public class Movie{
    public Money calculateMovieFee(Screening){
        return fee.minus(discountPolicy.calculateDiscountAmount(screening));
    }
}

Movie가 DiscountPolicy의 인터페이스에 정의된 calculateDiscountAmount 메시지를 전송하고 있습니다. DiscountPolicy를 상속받는 AmountDiscountPolicy와 PercentDiscountPolicy의 인터페이스에도 이 오퍼레이션이 포함돼 있습니다. Movie 입장에서 자신과 협력하는 객체가 어떤 클래스의 인스턴스인지가 중요헌 것이 아니라 calculateDiscountAmount 메시지를 수신할 수 있다는 사실이 더 중요합니다. 다시 말해 Movie는 협력 객체가 calculateDiscountAmount라는 메시지를 이해할 수만 있다면 그 객체가 어떤 클래스의 인스턴스인지는 상관하지 않는다는 것입니다. 따라서 AmountDiscountPolicy와 PercentDiscountPolicy 모두 DiscountPolicy를 대신해서 Movie와 협력할 수 있습니다.

참고로 자식 클래스가 부모 클래스를 대신하는 것을 업캐스팅이라고 부릅니다. 업캐스팅이라고 부르는 이유는 일반적으로 아래에 위치한 자식 클래스가 위에 위치한 부모 클래스로 자동적으로 타입 캐스팅되는 것처럼 보이기 때문에 업캐스팅이라는 용어를 사용합니다.

다형성

다시 한번 강조하지만 메시지와 메서드는 다른 개념입니다. Movie는 DiscountPolicy의 인스턴스에게 calculateDiscountAmount 메시지를 전송합니다. 그렇다면 실행되는 메서드는 무엇일까요? Movie와 상호작용하기 위해 연결된 객체의 클래스가 무엇인가에 따라 달라집니다. Movie와 협력하는 객체가 AmountDiscoutPolicy의 인스턴스라면 AmountDiscountPolicy에서 오버라이딩한 메서드가 실행될 것입니다. PercentDiscountPolicy의 인스턴스가 연결된 경우에는 PercentDiscountPolicy에서 오버라이딩한 메서드가 실행될 것입니다.

결국 다형성이란 동일한 메시지를 수신했을 때 객체의 타입에 따라 다르게 응답할 수 있는 능력을 말합니다. 따라서 다형적인 협력에 참여하는 객체들은 모두 같은 메시지를 이해할 수 있어야 합니다. 다시 말해 인터페이스가 동일해야 한다는 것입니다.

다형성을 구현하는 방법은 매우 다양하지만 메시지에 응답하기 위해 실행된 메서드를 컴파일 시점이 아닌 실행 시점에 결정한다는 공통점이 있습니다. 다시 말해 메시지와 메서드를 실행 시점에 바인딩한다는 것입니다. 이를 지연 바인딩 또는 동적 바인딩이라고 부릅니다. 그에 반해 전통적인 함수 호출처럼 컴파일 시점에 실행될 함수나 프로시저를 결정하는 것을 초기 바인딩 또는 정적 바인딩이라고 부릅니다.

객체지향이 컴파일 시점의 의존성과 실행 시점의 의존성을 분리하고, 하나의 메시지를 선택적으로 서로 다른 메서드에 연결할 수 있는 이유가 바로 지연 바인딩이라는 메커니즘을 사용하기 때문입니다.

인터페이스와 다형성

앞에서는 DiscountPolicy를 추상 클래스로 구현함으로써 자식 클래스들이 인터페이스 내부 구현을 함께 상속받도록 만들었습니다. 그러나 종종 구현은 공유할 필요가 없고 순수하게 인터페이스만 공유하고 싶을 때가 있습니다. 이를 위해 C#과 자바에서는 인터페이스라는 프로그래밍 요소를 제공합니다. 자바의 인터페이스는 말 그대로 구현에 대한 고려 없이 다형적인 협력에 참여하는 클래스들이 공유 가능한 외부 인터페이스를 정의한 것입니다.

추상클래스를 이용해 다형성을 구현했던 할인 정책과 달리 할인 조건은 구현을 공유할 필요가 없기 때문에 아래 그림처럼 자바의 인터페이스를 이용해 타입 계층을 구현했습니다.
DiscountCondition 인터페이스를 실체화하고 있는 SequenceCondition과 PeriodCondition은 동일한 인터페이스를 공유하며 다형적인 협력에 참여할 수 있습니다.

SequenceCondition과 PeriodCondition은 isSatisfiedBy 메시지를 이해할 수 있기 때문에 클라이언트인 DiscountPolicy 입장에서 이 둘은 DiscountCondition과 아무 차이도 없습니다. DiscountCondition을 실체화하는 클래스들은 동일한 인터페이스를 공유하며 DiscountCondition을 대신해서 사용될 수 있습니다. 이 경우에도 업캐스팅이 적용되며 협력은 다형적입니다.

추상화와 유연성

추상화의 힘

지금까지 살펴본 것처럼 할인 정책은 구체적인 금액 할인 정책과 비율 할인 정책을 포함하는 추상적인 개념입니다. 할인 조건 역시 더 구체적인 순번 조건과 기간 조건을 포괄하는 추상적인 개념입니다. 다시 말해 DiscountPolicy는 AmountDiscountPolicy와 PercentDiscountPolicy보다 추상적이고 DiscountCondition은 SequenceCondition과 PercentCondition보다 추상적입니다.

프로그래밍 언어 측면에서 DiscountPolicy와 DiscountCondition이 더 추상적인 이유는 인터페이스에 초점을 맞추기 때문입니다. DiscountPolicy는 모든 할인 정책들이 수신할 수 있는 calculateDiscountAmount 메시지를 정의합니다. DiscountCondition은 모든 할인 조건들이 수신할 수 있는 isSatisfiedBy 메시지를 정의합니다. 둘 다 같은 계층에 속하는 클래스들이 공통으로 가질 수 있는 인터페이스를 정의하며 구현의 일부 또는 전체를 자식 클래스가 결정할 수 있도록 결정권을 위임합니다.

아래 그림은 자식 클래스를 생략한 코드 구조를 그림으로 표현하였습니다. 이 그림은 추상화를 사용할 경우의 두 가지 장점을 보여줍니다. 첫 번째 장점은 추상화의 계층만 따로 뗴어 놓고 살펴보면 요구사항의 정책을 높은 수준에서 서술하고 있다는 것입니다.
두 번째 장점은 추상화를 이용하면 설계가 좀 더 유연해진다는 것입니다.

위의 그림을 하나의 문장으로 정리하면 영화 예매 요금은 최대 하나의 할인 정책과 다수의 할인 조건을 이용해 계산할 수 있다로 표현할 수 있습니다. 이 문장이 영화 예매 요금은 금액 할인 정책과 두개의 순서 조건, 한개의 기간 조건을 이용해서 계산할 수 있다라는 문장을 포괄할 수 있다는 사실이 중요합니다. 이것은 할인 정책과 할인 조건이라는 좀 더 추상적인 개념들을 사용해서 문장을 작성했기 때문입니다.

추상화를 사용하면 세부적인 내용을 무시한 채 상위 정책을 쉽고 간단하게 표현할 수 있습니다. 추상화의 이런 특징은 세부사항에 억눌리지 않고 상위 개념만으로도 도메인의 중요한 개념을 설명할 수 있게 합니다. 금액 할인 정책과 비율 할인 정책을 사용한다는 사실이 중요할 때도 있겠지만 어떤 때는 할인 정책이 존재한다고 말하는 것만으로도 충분한 경우가 있습니다. 추상화를 이용한 설계는 필요에 따라 표현의 수준을 조정하는 것을 가능하게 해줍니다.

추상화를 이용해 상위 정책을 기술한다는 것은 기본적인 애플리케이션의 협력 흐름을 기술한다는 것을 의미합니다. 영화 예매 가격을 계산하기 위해 흐름은 항상 Movie에서 DiscountPolicy로, 그리고 다시 DiscountCondition을 향해 흐릅니다. 할인 정책이나 할인 조건의 새로운 자식 클래스들은 추상화를 이용해서 정의한 상위의 협력 흐름을 그대로 따르게 됩니다. 이 개념은 매우 중요합니다. 재사용 가능한 설계의 기본을 이루는 디자인 패턴이나 프레임워크 모두 추상화를 이용해 상위 정책을 정의하는 객체지향 메커니즘을 활용하고 있기 때문입니다.

두 번째 특징은 첫 번째 특징으로부터 유추할 수 있습니다. 추상화를 이용해 상위 정책을 표현하면 기존 구조를 수정하지 않고도 새로운 기능을 쉽게 추가하고 확장할 수 있습니다. 다시 말해 설계를 유연하게 만들수 있습니다.

유리한 설계

아래 세 번째 코드에서 서술한 스타워즈의 할인 정책은 해결하지 않았습니다. 사실 스타워즈에는 할인 정책이 적용돼 있지 않습니다. 즉, 할인 요금을 계산할 필요 없이 이 영화에 설정된 기본 금액을 그대로 사용하면 됩니다.

public class Movie{
    public Money calculateMovieFee(Screening screening) {

        if(discountPolicy == null){
            return fee;
        }

        return fee.minus(discountPolicy.calculateDiscountAmount(screening));
    }
}

이 방식의 문제점은 할인 정책이 없는 경우를 예외 케이스로 취급하기 때문에 지금까지 일관성 있던 협력 방식이 무너지게 된다는 것입니다. 기존 할인 정책의 경우에는 할인할 금액을 계산하는 책임이 DiscountPolicy의 자식 클래스에 있었지만 할인 정책이 없는 경우에는 할인 금액이 0원이라는 사실을 결정하는 책임이 DiscountPolicy가 아닌 Movie 쪽에 있기 때문입니다. 따라서 책임의 위치를 결정하기 위해 조건문을 사용하는 것은 협력의 설계 측면에서 대부분의 경우 좋지 않는 선택입니다. 항상 예외 케이스를 최소화하고 일관성을 유지할 수 있는 방법을 선택해야 합니다. 아래 NonDiscountPolicy 클래스를 추가하였습니다.

public class NonDiscountPolicy extends DiscountPolicy {

    @Override
    protected Money getDiscountAmount(Screening screening) {
        return Money.ZERO;
    }
}

이제 Movie의 인스턴스에 NonDiscountPolicy의 인스턴스를 연결해서 할인되지 않는 영화를 생성할 수 있습니다.

Movie starWars = new Movie("스타워즈",
    Duration.ofMinute(210),
    Money.wons(10000),
    new NoneDiscountPolicy());

중요한 것은 기존의 Movie와 DiscountPolicy는 수정하지 않고 NoneDiscountPolicy라는 새로운 클래스를 추가하는 것만으로 애플리케이션의 기능을 확장했다는 것입니다. 이처럼 추상화를 중심으로 코드의 구조를 설계하면서 유연하고 확장 가능한 설계를 만들 수 있습니다.

추상화가 유연한 설계를 가능하게 하는 이유는 설계가 구체적인 상황에 결합되는 것을 방지하기 때문입니다. Movie는 특정한 할인 정책에 묶이지 않습니다. 할인 정책을 구현한 클래스가 DiscountPolicy를 상속받고 있다면 어떤 클래스와도 협력이 가능합니다.

DiscountPolicy 역시 특정한 할인 조건에 묶여있지 않습니다. DiscountCondition을 상속받는 어떤 클래스와도 협력이 가능합니다. 이것은 DiscountPolicy와 DiscountCondition이 추상적이기 때문에 가능합니다. 컨텍스트의 독립성이라고 불리는 이 개념은 프레임워크와 같은 유연한 설계가 필수적인 분야에서 그 진가를 발휘합니다.

추상화를 이용하면 기존 코드를 수정하지 않고도 기능을 확장할 수 있습니다.

추상 클래스와 인터페이스 트레이드 오프

앞의 NoneDiscountPolicy 클래스의 코드를 자세히 살펴보면 getDiscountAmount()메서드가 어떤 값을 반환하더라도 상관이 없다는 사실을 알 수 있습니다. 부모 클래스인 DiscountPolicy에서 할인 조건이 없을 경우에는 getDiscountAmount() 메서드를 호출하지 않기 때문입니다. 이것은 부모 클래스인 DiscountPolicy와 NoneDiscountPolicy를 개념적으로 결합시킵니다. NoneDiscountPolicy의 개발자는 getDiscountAmount()가 호출되지 않을 경우 DiscountPolicy가 0원을 반환할 것이라는 사실을 가정하고 있기 때문입니다.

이 문제를 해결하는 방법은 DiscountPolicy를 인터페이스로 바꾸고 NoneDiscountPolicy가 DiscountPolicy의 getDiscountAmount() 메서드가 아닌 calculateDiscountAmount() 오퍼레이션을 오버라이딩 하도록 변경하는 것입니다.

public interface DiscountPolicy{
    Money calculateDisountAmount(Screening screening);
}

원래의 DiscountPolicy 클래스의 이름을 DefaultDiscountPolicy로 변경하고 인터페이스를 구현하도록 수정합니다.

public abstact DefaultDiscountPolicy implements DiscountPolicy{
    ...
}

이제 NoneDiscountPolicy가 DiscountPolicy 인터페이스를 구현하도록 변경하면 개념적인 혼란과 결합을 제거할 수 있습니다.

인터페이스를 이용해서 구현한 DiscountPolicy 계층

이상적으로는 인터페이스를 사용하도록 변경한 설계가 더 좋을 것입니다. 현실적으로는 NoneDiscountPolicy만을 위해 인터페이스를 추가하는 것이 과하다는 생각이 들 수도 있을 것입니다. 어쨌든 변경 전의 NoneDiscountPolicy 클래스 역시 할인 금액이 0원이라는 사실을 효과적으로 전달하기 때문입니다. 결론은 구현과 관련된 모든 것들이 트레이드오프의 대상이 될 수 있다는 사실입니다.내가 작성하는 모든 코드에는 합당한 이유가 있어야 합니다. 비록 아주 사소한 결정이더라도 트레이드오프를 통해 얻어진 결론과 그렇지 않는 결론 사이의 차이는 큽니다. 고민하고 트레이드오프해야합니다.

코드 재사용

상속은 코드를 재사용하기 위해 널리 사용되는 방법입니다. 그러나 널리 사용되는 방법이라고 해서 가장 좋은 방법인것은 아닙니다. 객체지향 설계와 관련된 자료를 조금이라도 본 사람들은 코드 재사용을 위해서는 상속보다는 합성(composition)이 더 좋은 방법이라는 이야기를 많이 들었을 겁니다. 합성은 다른 객체의 인스턴스를 자신의 인스턴스 변수로 포함해서 재사용하는 방법을 말합니다.

Movie가 DiscountPolicy의 코드를 재사용하는 방법이 바로 합성입니다. 이 설계를 상속으로 사용하도록 변경할 수 도있습니다. 예를 들어서 Moive를 직접 상속받 AmountDiscountMoive와 PercentDiscountMovie라는 두 개의 클래스를 추가하면 합성을 사용한 기존 방법과 기능적인 관점에서 완벽히 동일합니다. 하지만 그럼에도 많은 사람들이 상속 대신 합성을 선호하는 이유가 있습니다.

상속

두 가지 관점에서 상속은 설계에 안 좋은 영향을 미칩니다. 하나는 상속이 캡슐화를 위반한다는 것이고, 다른 하나는 설계를 유연하지 못하게 만든다는것 입니다.

상속의 가장 큰 문제점은 캡슐화를 위반한다는 것입니다. 상속을 이용하기 위해서는 부모 클래스의 내부 구조를 잘 알고 있어야 합니다. AmountDiscountMoive와 PercentDiscountMovie를 구현하는 개발자는 부모 클래스인 Moive의 calculateMovieFee 메서드 안에서 추상 메서드인 getDiscountAmount 메서드를 호출한다는 사실을 알고 있어야 합니다.

결과적으로 부모 클래스의 구현이 자식 클래스에게 노출되기 때문에 캡슐화가 약화 됩니다.
캡슐화의 약화는 자식 클래스가 부모 클래스에게 강하게 결합되도록 만들기 때문에 부모 클래스를 변경할 때 자식 클래스도 함께 변경될 확률을 높입니다. 결과적으로 상속을 과도하게 사용한 코드는 변경하기도 어려워집니다.

상속의 두 번째 단점은 설계가 유연하지 않다는 것입니다. 상속은 부모 클래스와 자식 클래스 사이의 관계를 컴파일 시점에 결정합니다. 따라서 실행 시점에 객체의 종류를 변경하는 것이 불가능 합니다.

예를 들어 실행 시점에 금액 할인 정책인 영화를 비율 할인 정책으로 변경한다고 가정합니다. 상속을 사용한 설계에서 AmountDiscountMovie의 인스턴스를 PercentDiscountMovie의 인스턴스로 변경해야 합니다. 대부분의 언어는 이미 생성된 객체의 클래스를 변경하는 기능을 지원하지 않기 때문에 이 문제를 해결할 수 있는 최선의 방법은 PercentDiscountMovie의 인스턴스를 생성한 후 AmountDiscountMovie의 상태를 복사하는 것 뿐입니다. 이것은 부모 클래스와 자식 클래스가 강하게 결합돼 있기 때문에 발생하는 문제입니다.

반면 인스턴스 변수로 연결한 기존 방법을 사용하면 실행 시점에 할인 정책을 간단하게 변경할 수 있습니다.

public class Movie {
    private DiscountPolicy discountPolicy;

    public void changeDiscountPolicy(DiscountPolicy discountPolicy){
        this.discountPolicy = discountPolicy;
    }
}

금액 할인 정책이 적용된 영화에 비율 할인 정책이 적용되도록 변경하는 것은 새로운 DiscountPolicy 인스턴스를 연결하는 간단한 작업으로 바뀝니다.

Movie avatar = new Movie("아바타",
    Duration.ofMinute(120),
    Money.wons(10000),
    new AmountDiscountPolicy(Money.wons(800), ...));

avatar.changeDiscountPolicy(new PercentDiscountPolicy(0.1, ...));

이 에제를 통해 상속보다 인스턴스 변수로 관계를 연결한 원래의 설계가 더 유연하다는 사실을 알 수 있습니다. Movie가 DiscountPolicy를 포함하는 이 방법 역시 코드를 재사용하는 방법이라는 점을 눈여겨 봐야 합니다. Movie가 DiscountPolicy의 코드를 재사용하는 이 방법은 너무나도 유용하기 때문에 특별한 이름으로 불립니다.

합성

Movie는 요금을 계산하기 위해 DiscountPolicy의 코드를 재사용합니다. 이 방법이 상속과 다른 점은 상속이 부모 클래스의 코드와 자식 클래스의 코드를 컴파일 시점에 하나의 단위로 강하게 결합하는데 비해 Movie가 DiscountPolicy의 인터페이스를 통해 약하게 결합된다는 것입니다. 실제로 Movie는 DiscountPolicy가 외부에 calculateDiscountAmount 메서드를 제공한다는 사실만 알고 있고 내부 구현에 대해서는 전혀 알지 못합니다. 이처럼 인터페이스에 정의된 메시지를 통해서만 코드를 재사용하는 방법을 합성이라고 부릅니다.

합성은 상속이 가지는 두 가지 문제점을 모두 해결합니다. 인터페이스에 정의된 메시지를 통해서만 재사용이 가능하기 때문에 구현을 효과적으로 캡슐화할 수 있습니다. 또한 의존하는 인스턴스를 교체하는 것이 비교적 쉽기 때문에 설계를 유연하게 만듭니다. 상속은 클래스를 통해 강하게 결합되는 데 비해 합성은 메시지를 통해 느슨하게 결합됩니다. 따라서 코드의 재사용을 위해서는 상속보다 합성을 선호하는 것이 더 좋은 방법 입니다.

그렇다고 상속을 절대 사용하지 말라는 것은 아닙니다. 대부분의 설계에서는 상속과 합성을 함께 사용해야 합니다. Movie와 DiscountPolicy는 합성 관계로 연결돼 있고 DiscountPolicy와 AmountDiscountPolicy와 PercentDiscountPolicy는 상속 관계로 연결돼 있습니다. 이처럼 코드를 재사용하는 경우에는 상속보다 합성을 선호하는 것이 옳지만 다형성을 위해 인터페이스를 재사용하는 경우에는 상속과 합성을 함께 조합해서 사용할 수 밖에 없습니다.

객체지향에서 가장 중요한 것은 애플리케이션의 기능을 구현하기 위해 협력에 참여하는 객체들 사이의 상호작용 입니다. 객체들은 협력에 참여하기 위해 역할을 부여받고 역할에 적합한 책임을 수행합니다.

객체지향 설계의 핵심은 적절한 협력을 식별하고 협력에 필요한 역할을 정의한 후에 역할을 수행 할 수 있는 적절한 객체에게 적절한 책임을 할당하는 것입니다.

참조 : 오브젝트 - 코드로 이해하는 객체지향 설계