상속의 용도
\n프로그래밍 언어 관점에서의 타입과 개념 관점에서의 타입
\n개념 관점에서 타입이란 우리가 인지하는 세상의 사물의 종류를 의미한다.
\n어떤 대상이 타입으로 분류될 때 그 대상을 타입의 인스턴스(instance)**라고 부른다.
\n프로그래밍 언어 관점에서 타입은 연속적인 비트에 의미와 제약을 부여하기 위해 사용하며 두 가지 목적이 있다.
\n타입은 적용 가능한 오퍼레이션의 종류와 의미를 정의함으로써 코드의 의미를 명확하게 전달하고 개발자의 실수를 방지하기 위해 사용
\n객체의 타입이란 객체가 수신할 수 있는 메시지의 종류를 정의하는 것
\n타입이 다른 타입에 포함될 수 있기 때문에 동일한 인스턴스가 하나 이상의 타입으로 분류되는 것도 가능
\n타입 계층을 구성하는 두 타입 관계에서 더 일반적인 타입을 **슈퍼타입(supertype)**이라고 부르고 더 특수한 타입을 **서브타입(subtype)**이라고 부른다.
\n내연 관점
\n외연 관점
\n서브타입의 인스턴스는 슈퍼타입의 인스턴스로 간주될 수 있다.
\n아래 두 질문에 모두 '예'라고 답할 수 있는 경우에만 상속을 사용
\n어떤 타입 S가 다른 타입 T의 일종이라면 당연히 타입 S는 타입 T다라고 답할 수 있어야 한다.
타입 계층의 의미는 행동이라는 문맥에 따라 달라질 수 있다.
\n타입의 이름 사이에 개념적으로 어떤 연관성이 있다고 하더라도 행동에 연관성이 없다면 is-a 관계를 사용하지 말아야 한다.
\npublic void flyBird(Bird bird) {\n\n // 인자로 전달된 모든 bird들은 날 수 있어야 한다.\n bird.fly();\n}\n public class Penguin extends Bird {\n\n ...\n\n @Override\n public void fly() {}\n}\n public class Penguin extends Bird {\n\n ...\n\n @Override\n public void fly() {\n throw new UnsupportedOperationException();\n }\n}\n UnsupportedOperationException 예외가 던져질 것이라고는 기대하지 않았을 것이다.public void flyBird(Bird bird) {\n\n // 인자로 전달된 모든 birtd가 Penguin의 인스턴스가 아닐 경우에만 fly() 메시지를 전송한다.\n if (!(bird instanceof Penguin)) {\n bird.fly();\n }\n}\n public class Bird {\n ...\n}\n\npublic class FlyingBird extends Bird {\n \n public void fly() { ... }\n \n ...\n}\n\npublic class Penguin extends Bird {\n ...\n}\n 이 문제를 해결하는 다른 방법은 클라이언트에 따라 인터페이스를 분리하는 것이지만 더 좋은 방법은 합성을 사용하는 것이다.
\n\n\n자연어에 현혹되지 말고 요구사항 속에서 클라이언트가 기대하는 행동에 집중
\n
상속을 사용하는 두 가지 목적
\n**서브클래싱(subclassing)
\n**서브 타이핑(subtyping)
\n어떤 타입이 다른 타입의 서브타입이 되기 위해서는 행동 호환성을 만족시켜야 한다. 자식 클래스와 부모 클래스 사이의 행동 호환성은 부모 클래스에 대한 자식 클래스의 **대체 가능성(substitutability)**을 포함한다.
\n\n\n서브타입은 그것의 기반 타입에 대해 대체 가능해야 한다.
\n
@AllArgsConstructor\npublic class Rectangle {\n \n private final int x;\n \n private final int y;\n \n @Getter\n @Setter\n private int width;\n \n @Getter\n @Setter\n private int height;\n \n public int getArea() {\n return width * height;\n }\n}\n public class Square extends Rectangle {\n\n public Square(int x, int y, int width, int height) {\n super(x, y, width, height);\n }\n\n @Override\n public void setWidth(int width) {\n super.setWidth(width);\n super.setHeight(width);\n }\n\n @Override\n public void setHeight(int height) {\n super.setWidth(height);\n super.setHeight(height);\n }\n}\n \n\n클라이언트와 격리한 채로 본 모델은 의미 있게 검증하는 것이 불가능하다.
\n
클라이언트 관점에서 자식 클래스의 행동이 부모 클래스의 행동과 호환되지 않고 그로 인해 대체가 불가능하다면 어휘적으로 is-a라고 말할 수 있다고 하더라도 그 관계를 is-a 관계라고 할 수 없다.
\n리스코프 치환 원칙은 개방-폐쇄 원칙을 만족하는 설계를 위한 전제 조건이다.
\n클래스 상속은 타입 계층을 구현할 수 있는 다양한 방법 중 하나일 뿐이다.
\n계약에 의한 설계(Design By Contract, DBC)
\n\n\n서브타입이 리스코프 치환 원칙을 만족시키기 위해서는 클라이언트와 슈퍼타입 간에 체결된 '계약'을 준수해야 한다.
\n
어떤 타입이 슈퍼타입에서 정의한 사전조건보다 더 약한 사전조건을 정의하고 있다면 그 타입은 서브타입이 될 수 있지만 더 강한 사전조건을 정의한다면 서브타입이 될 수 없다.
\n계약에 의한 설계는 클라이언트 관점에서의 대체 가능성을 계약으로 설명할 수 있다는 사실을 잘 보여준다.
","excerpt":"상속의 용도 타입 계층 구현 코드 재사용 📖 13.1 타입 프로그래밍 언어 관점에서의 타입과 개념 관점에서의 타입 🔖 13.1.1 개념 관점의 타입 개념 관점에서 타입이란 우리가 인지하는 세상의 사물의 종류를 의미한다. 어떤 대상이 타입으로 분류될 때 그 대상을 타입의 인스턴스(instance)**라고 부른다. 타입의 인스턴스를 객체라고 부름. 심볼(symbol): 타입에 이름을 붙인 것 내연(intension…","fields":{"slug":"/backend/object/chapter13/서브클래싱과_서브타이핑/"},"frontmatter":{"title":"Object - 13장 서브클래싱과 서브타이핑","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/dd0e1990925e942697544e2bdcd9332e/9b73b/object.png"}}},"draft":false,"category":"Back-End","tags":["java"],"date":"November 19, 2023"}},"previous":{"id":"3210e7da-a86b-584f-9d51-04ced27c803f","html":"디자인 패턴
\n프레임워크
\n패턴이란❓
\n\n\n하나의 실무 컨텍스트에서 유용하게 사용해 왔고 다른 실무 컨텍스트에서도 유용할 것이라고 예상되는 아이디어다. - 마틴 파울러
\n
🛠️ 3의 규칙
\n패턴의 이름은 높은 수준의 대화를 가능하게하는 원천이다.
\n패턴은 홀로 존재하지 않는다.
\n객체지향 설계에서 가장 중요한 일은 올바른 책임을 올바른 객체에게 할당하고 객체 간의 유연한 협력관계를 구축하는 일이다.
\n대부분의 디자인 패턴의 목적은 특정한 변경을 캡슐화함으로써 유연하고 일관성 있는 협력을 설계할 수 있는 경험을 공유하는 것
\n패턴은 출발점이지 목적지가 아니다. 디자인 패턴이 현재의 요구사항이나 적용 기술, 프레임워크에 적합하지 않다면 패턴을 그대로 따르지 말고 목적에 맞게 패턴을 수정하라.
\n재사용 관점에서 설계 재사용보다 더 좋은 방법은 코드 재사용이다.
\n프레임워크란❓
\n상위 정책은 상대적으로 변경에 안정적이지만 세부 사항은 자주 변경된다. 그리고 상위 정책이 세부 사항에 비해 재사용될 가능성이 높다.
\n프레임워크를 사용할 경우 개별 애플리케이션에서 프레임워크로 제어 흐름의 주체가 이동한다.
\n프레임워크에서는 일반적인 해결책만 제공하고 애플리케이션에 따라 달라질 수 있는 특정한 동작은 비워둔다.
\n제어의 역전이 프레임워크의 핵심 개념인 동시에 코드의 재사용을 가능하게 하는 힘이라는 사실을 이해해야 한다.
","excerpt":"디자인 패턴 소프트웨어 설계에서 반복적으로 발생하는 문제에 대해 반복적으로 적용할 수 있는 해결 방법 설계를 재사용하는 것이 목적 프레임워크 설계와 코드를 함께 재사용하는 것이 목적 특정한 변경을 일관성 있게 다룰 수 있는 확장 가능한 코드 템플릿을 제공 📖 15.1 디자인 패텅과 설계 재사용 🔖 15.1.…","fields":{"slug":"/backend/object/chapter15/디자인_패턴과_프레임워크/"},"frontmatter":{"title":"Object - 15장 디자인 패턴과 프레임워크","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/dd0e1990925e942697544e2bdcd9332e/9b73b/object.png"}}},"draft":false,"category":"Back-End","tags":["java"],"date":"December 03, 2023"}},"node":{"id":"d8be73e1-803f-536a-af27-6b27955acd94","html":"객체는 협력을 위해 존재한다.
\n기본 정책을 구성하는 4가지 방식
\n@RequiredArgsConstructor\npublic class FixedFeePolicy extends BasicRatePolicy {\n\n private final Money amount;\n private final Duration seconds;\n\n @Override\n protected Money calculateCallFee(Call call) {\n return amount.times((double) call.getDuration().getSeconds() / seconds.getSeconds());\n }\n}\n @Getter\n@RequiredArgsConstructor\npublic class DateTimeInterval {\n\n private final LocalDateTime from;\n private final LocalDateTime to;\n\n public static DateTimeInterval of(LocalDateTime from, LocalDateTime to) {\n return new DateTimeInterval(from, to);\n }\n\n public static DateTimeInterval toMidnight(LocalDateTime from) {\n return new DateTimeInterval(\n from,\n LocalDateTime.of(from.toLocalDate(), LocalTime.of(23, 59, 59, 999_999_999)));\n }\n\n public static DateTimeInterval fromMidnight(LocalDateTime to) {\n return new DateTimeInterval(\n LocalDateTime.of(to.toLocalDate(), LocalTime.of(0, 0)),\n to);\n }\n\n public static DateTimeInterval during(LocalDate date) {\n return new DateTimeInterval(\n LocalDateTime.of(date, LocalTime.of(0, 0)),\n LocalDateTime.of(date, LocalTime.of(23, 59, 59, 999_999_999)));\n }\n\n public Duration duration() {\n return Duration.between(from, to);\n }\n \n public List<DateTimeInterval> splitByDay() {\n if (days() > 0) {\n return splitByDay(days());\n }\n \n return List.of(this);\n }\n \n private long days() {\n return Duration.between(from.toLocalDate().atStartOfDay(), to.toLocalDate().atStartOfDay()).toDays();\n }\n \n private List<DateTimeInterval> splitByDay(long days) {\n List<DateTimeInterval> result = new ArrayList<>();\n \n addFirstDay(result);\n addMiddleDays(result, days);\n addLastDay(result);\n \n return result;\n }\n \n private void addFirstDay(List<DateTimeInterval> result) {\n result.add(DateTimeInterval.toMidnight(from));\n }\n \n private void addMiddleDays(List<DateTimeInterval> result, long days) {\n for (int loop = 1; loop < days; loop++) {\n result.add(DateTimeInterval.during(from.toLocalDate().plusDays(loop)));\n }\n }\n \n private void addLastDay(List<DateTimeInterval> result) {\n result.add(DateTimeInterval.fromMidnight(to));\n }\n}\n public class Call {\n\n @Getter\n private final DateTimeInterval interval;\n\n public Call(LocalDateTime from, LocalDateTime to) {\n this.interval = DateTimeInterval.of(from, to);\n }\n\n public Duration getDuration() {\n return interval.duration();\n }\n\n public LocalDateTime getFrom() {\n return interval.getFrom();\n }\n\n public LocalDateTime getTo() {\n return interval.getTo();\n }\n\n public List<DateTimeInterval> splitByDay() {\n return interval.splitByDay();\n }\n}\n public class TimeOfDayDiscountPolicy extends BasicRatePolicy {\n\n private List<LocalTime> starts = new ArrayList<>();\n private List<LocalTime> ends = new ArrayList<>();\n private List<Duration> durations = new ArrayList<>();\n private List<Money> amounts = new ArrayList<>();\n\n @Override\n protected Money calculateCallFee(Call call) {\n Money result = Money.ZERO;\n for (DateTimeInterval interval : call.splitByDay()) {\n for (int loop = 0; loop < starts.size(); loop++) {\n result.plus(amounts.get(loop).times(\n (double) Duration.between(from(interval, starts.get(loop)), to(interval, ends.get(loop)))\n .getSeconds() / durations.get(loop).getSeconds()));\n }\n }\n return result;\n }\n\n private LocalTime from(DateTimeInterval interval, LocalTime from) {\n return interval.getFrom().toLocalTime().isBefore(from) ? from : interval.getFrom().toLocalTime();\n }\n\n private LocalTime to(DateTimeInterval interval, LocalTime to) {\n return interval.getTo().toLocalTime().isAfter(to) ? to : interval.getTo().toLocalTime();\n }\n}\n @RequiredArgsConstructor\npublic class DayOfWeekDiscountRule {\n \n private final List<DayOfWeek> dayOfWeeks = new ArrayList<>();\n private final Duration duration = Duration.ZERO;\n private final Money amount = Money.ZERO;\n \n public Money calculate(DateTimeInterval interval) {\n if (dayOfWeeks.contains(interval.getFrom().getDayOfWeek())) {\n return amount.times((double) interval.duration().getSeconds() / duration.getSeconds());\n }\n \n return Money.ZERO;\n }\n}\n @RequiredArgsConstructor\npublic class DayOfWeekDiscountPolicy extends BasicRatePolicy {\n\n private final List<DayOfWeekDiscountRule> rules = new ArrayList<>();\n\n @Override\n protected Money calculateCallFee(Call call) {\n Money result = Money.ZERO;\n\n for (DateTimeInterval interval : call.getInterval().splitByDay()) {\n for (DayOfWeekDiscountRule rule : rules) {\n result.plus(rule.calculate(interval));\n }\n }\n \n return result;\n }\n}\n public class DurationDiscountRule extends FixedFeePolicy {\n\n private final Duration from;\n private final Duration to;\n\n public DurationDiscountRule(Money amount, Duration seconds, Duration from, Duration to) {\n super(amount, seconds);\n this.from = from;\n this.to = to;\n }\n\n public Money calculate(Call call) {\n if (call.getDuration().compareTo(to) > 0) {\n return Money.ZERO;\n }\n\n if (call.getDuration().compareTo(from) < 0) {\n return Money.ZERO;\n }\n \n return super.calculateCallFee(new Call(call.getFrom().plus(from),\n call.getDuration().compareTo(to) > 0 ? call.getFrom().plus(to) : call.getTo()));\n }\n}\n @RequiredArgsConstructor\npublic class DurationDiscountPolicy extends BasicRatePolicy {\n\n private final List<DurationDiscountRule> rules = new ArrayList<>();\n\n @Override\n protected Money calculateCallFee(Call call) {\n Money result = Money.ZERO;\n for (DurationDiscountRule rule : rules) {\n result.plus(rule.calculate(call));\n }\n return result;\n }\n}\n 협력을 일관성 있게 만들기 위해 다음과 같은 기본 지침을 따르자.
\npublic abstract class DiscountPolicy {\n private final List<DiscountCondition> conditions;\n\n protected DiscountPolicy(DiscountCondition... conditions) {\n this.conditions = Arrays.asList(conditions);\n }\n\n public Money calculateDiscountAmount(Screening screening) {\n for (DiscountCondition condition : conditions) {\n if (condition.isSatisfiedBy(screening)) {\n return getDiscountAmount(screening);\n }\n }\n return Money.ZERO;\n }\n protected abstract Money getDiscountAmount(Screening screening);\n}\n @AllArgsConstructor\npublic class Movie {\n\n /**\n * 제목\n */\n private String title;\n\n /**\n * 상영시간\n */\n private Duration runningTime;\n\n /**\n * 기본요금\n */\n @Getter\n private Money fee;\n\n /**\n * 할인 정책\n */\n private DiscountPolicy discountPolicy;\n\n public Money calculateMovieFee(Screening screening) {\n return fee.minus(discountPolicy.calculateDiscountAmount(screening));\n }\n\n public void changeDiscountPolicy(DiscountPolicy discountPolicy) {\n this.discountPolicy = discountPolicy;\n }\n}\n 데이터 은닉
\n\n\n캡슐화란 변하는 어떤 것이든 감추는 것이다.
\n
변경을 캡슐화할 수 있는 다양한 방법이 존재하지만 협력을 일관성 있게 만들기 위해 가장 일반적으로 사용하는 방법은 서브타입 캡슐화와 객체 캡슐화를 조합하는 것이다.
\n규칙으로부터 적용조건을 분리해서 추상화한 후 시간대별, 요일별, 구간별 방식을 이 추상화의 서브타입으로 만든다.
\nFeeCondition에게 할당FeeRule이 담당public interface FeeCondition {\n \n List<DateTimeInterval> findTimeIntervals(Call call);\n}\n @RequiredArgsConstructor\npublic class FeePerDuration {\n\n private final Money fee;\n\n private final Duration duration;\n\n public Money calculate(DateTimeInterval interval) {\n return fee.times(Math.ceil((double) interval.duration().toNanos() / duration.toNanos()));\n }\n}\n @RequiredArgsConstructor\npublic class FeeRule {\n\n private final FeeCondition feeCondition;\n\n private final FeePerDuration feePerDuration;\n\n public Money calculateFee(Call call) {\n return feeCondition.findTimeIntervals(call)\n .stream()\n .map(feePerDuration::calculate)\n .reduce(Money.ZERO, Money::plus);\n }\n}\n @RequiredArgsConstructor(access = AccessLevel.PROTECTED)\npublic abstract class BasicRatePolicy implements RatePolicy {\n\n private final List<FeeRule> feeRules;\n\n @Override\n public Money calculateFee(Phone phone) {\n return phone.getCalls()\n .stream()\n .map(this::calculate)\n .reduce(Money.ZERO, Money::plus);\n }\n\n private Money calculate(Call call) {\n return feeRules.stream()\n .map(rule -> rule.calculateFee(call))\n .reduce(Money.ZERO, Money::plus);\n }\n\n protected abstract Money calculateCallFee(Call call);\n}\n @RequiredArgsConstructor\npublic class TimeOfDayFeeCondition implements FeeCondition {\n\n private final LocalTime from;\n private final LocalTime to;\n\n @Override\n public List<DateTimeInterval> findTimeIntervals(Call call) {\n return call.getInterval().splitByDay()\n .stream()\n .filter(each -> from(each).isBefore(to(each)))\n .map(each -> DateTimeInterval.of(\n LocalDateTime.of(each.getFrom().toLocalDate(), from(each)),\n LocalDateTime.of(each.getTo().toLocalDate(), to(each))))\n .collect(toList());\n }\n\n public LocalTime from(DateTimeInterval interval) {\n return interval.getFrom().toLocalTime().isBefore(from) ? from : interval.getFrom().toLocalTime();\n }\n\n public LocalTime to(DateTimeInterval interval) {\n return interval.getTo().toLocalTime().isAfter(to) ? to : interval.getTo().toLocalTime();\n }\n}\n @RequiredArgsConstructor\npublic class DayOfWeekFeeCondition implements FeeCondition {\n\n private final List<DayOfWeek> dayOfWeeks;\n\n @Override\n public List<DateTimeInterval> findTimeIntervals(Call call) {\n return call.getInterval()\n .splitByDay()\n .stream()\n .filter(each -> dayOfWeeks.contains(each.getFrom().getDayOfWeek()))\n .collect(toList());\n }\n}\n @RequiredArgsConstructor\npublic class DurationFeeCondition implements FeeCondition {\n\n private final Duration from;\n private final Duration to;\n\n @Override\n public List<DateTimeInterval> findTimeIntervals(Call call) {\n if (call.getInterval().duration().compareTo(from) < 0) {\n return Collections.emptyList();\n }\n\n return List.of(DateTimeInterval.of(\n call.getInterval().getFrom().plus(from),\n call.getInterval().duration().compareTo(to) > 0 ?\n call.getInterval().getFrom().plus(to) :\n call.getInterval().getTo()));\n }\n}\n @RequiredArgsConstructor\npublic class FixedFeeCondition implements FeeCondition {\n\n @Override\n public List<DateTimeInterval> findTimeIntervals(Call call) {\n return Collections.singletonList(call.getInterval());\n }\n}\n 애플리케이션에서 유사한 기능에 대한 변경이 지속적으로 발생하고 있다면 변경을 캡슐화할 수 있는 적절한 추상화를 찾은 후, 이 추상화에 변하지 않는 공통적인 책임을 할당하라.
\n협력을 일관성 있게 만든다는 것은 유사한 변경을 수용할 수 있는 협력 패턴을 발견하는 것과 동일하다.
","excerpt":"객체는 협력을 위해 존재한다. 📖 14.1 핸드폰 과금 시스템 변경하기 🔖 14.1.1 기본 정책 확장 기본 정책을 구성하는 4가지 방식 고정요금 방식 시간대별 방식 요일별 방식 구간별 방식 🔖 14.1.2 고정요금 방식 구현하기 🔖 14.1.3 시간대별 방식 구현하기 🔖 14.1.4 요일별 방식 구현하기 🔖 14.1.…","fields":{"slug":"/backend/object/chapter14/일관성_있는_협력/"},"frontmatter":{"title":"Object - 14장 일관성 있는 협력","thumbnail":{"childImageSharp":{"fluid":{"src":"/static/dd0e1990925e942697544e2bdcd9332e/9b73b/object.png"}}},"draft":false,"category":"Back-End","tags":["java"],"date":"November 26, 2023"}}}},"staticQueryHashes":["2374173507","2996537568","3691437124"]}