{"time":1752850554535,"blocks":[{"id":"Btl-fH3Wtn","type":"warning","data":{"title":"해당 글은 조영호님의 쓰신 Object 책을 읽고 챕터별로 정리해본 글입니다.","message":""}},{"id":"ShCQlD47sN","type":"customLink","data":{"url":"https://www.inflearn.com/course/%EC%98%A4%EB%B8%8C%EC%A0%9D%ED%8A%B8-%EA%B8%B0%EC%B4%88%ED%8E%B8-%EA%B0%9D%EC%B2%B4%EC%A7%80%ED%96%A5","title":"오브젝트 - 기초편 강의 | 조영호 - 인프런","description":"조영호 | , 객체지향 설계의 핵심을 담았다!이 강의는 제가 집필한 오브젝트라는 책을 기반으로 책임 주도 설계 방법에 따라 객체 사이의 협력을 설계하고 객체지향 언어를 사용해서 구현하는 방법을 설명합니다. 책임 주도 설계 방법은 객체에게 할당할 책임을 중심으로 애플리케이션","image":"https://cdn.inflearn.com/public/files/courses/334416/cover/01jv93tqa0rq8w2m6dyzmrr1xj"}},{"id":"PG_yn9jgOf","type":"delimiter","data":{}},{"id":"PllLdrQSmW","type":"paragraph","data":{"text":"객체지향 커뮤니티에 널리 퍼진 상속에 대한 해묵은 불신과 오해를 풀기 위해서는 상속이 2가지 용도로 사용된다는 사실을 이해하는 것이 중요하다. "}},{"id":"GGssVUgQqm","type":"paragraph","data":{"text":"상속의 첫번째 용도는 '타입 계층을 구현'하는 것이다. 타입 계층 안에서 부모 클래스는 일반적인 개념을 구현하고 자식 클래스는 특수한 개념을 구현한다. 부모 클래스는 자식 클래스의 일반화이고 자식 클래스는 부모 클래스의 특수화이다. "}},{"id":"Yg-kLa7UAr","type":"paragraph","data":{"text":"상속의 두번째 용도는 '코드 재사용'이다. 상속은 간단한 선언만으로 부모 클래스의 코드를 재사용 할 수 있는 마법의 주문과도 같다. 상속을 사용하면 점진적으로 애플리케이션의 기능을 확장할 수 있다. 하지만 재사용을 위해 상속을 사용할 경우 부모 클래스와 자식 클래스가 강하게 결합되기 때문에 변경에 어려운 코드를 얻게 될 확률이 높다. "}},{"id":"bmdxpbWAXA","type":"paragraph","data":{"text":"동일한 메시지에 대해 서로 다르게 행동할 수 있는 다형적인 객체를 구현하기 위해서는 객체의 행동을 기반으로 타입 계층을 구현해야 한다. 상속의 가치는 이러한 타입 계층을 구현할 수 있는 쉽고 편안한 방법을 제공한다. 타입 사이의 관계를 고려하지 않은 채 단순히 코드를 재사용하기 위해 상속을 사용해서는 안된다. "}},{"id":"OGSOxB--4b","type":"delimiter","data":{}},{"id":"vegTz-Cc1y","type":"header","data":{"text":"타입 (Type)","level":2}},{"id":"XwpdyEm6CP","type":"paragraph","data":{"text":"객체지향 프로그래밍에서 타입의 의미를 이해하려면 프로그래밍 언어 관점에서 타입과 개념 관점에서의 타입을 함께 살펴볼 필요가 있다. "}},{"id":"ZHy_Ft9PBd","type":"delimiter","data":{}},{"id":"r8LzIsWaYq","type":"header","data":{"text":"개념 관점의 타입 ","level":3}},{"id":"xY2qPmbUUf","type":"paragraph","data":{"text":"개념 관점에서의 타입이란 우리가 인지하는 세상의 사물의 종류를 의미한다. 다시 말해 우리가 인식하는 객체들에 적용하는 개념이나 아이디어를 가리켜 타입이라고 부른다. 타입은 사물을 분류하기 위한 툴로 사용된다. 예를 들어, 자바, 루비, 자바스크립트, C 를 프로그래밍 언어라고 부를 때, 우리는 이것을 프로그래밍 언어라는 타입으로 분류하고 있는 것이다. "}},{"id":"ZvfhpCxTEi","type":"paragraph","data":{"text":"지금까지의 설명을 통해 타입이 심볼, 내연, 외연의 3가지 요소로 구성된다는 사실을 알 수 있다. "}},{"id":"8dQdq_Qi3V","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"심볼 이란 타입에 이름을 붙인 것이다. 앞에서 프로그래밍 언어가 타입의 심볼에 해당한다","meta":{},"items":[]},{"content":"내연 (Intenstion) 이란 타입의 정의로서 타입에 속하는 객체들이 가지는 공통적인 속성이나 행동을 가리킨다. ","meta":{},"items":[]},{"content":"외연 (extention) 이란 타입에 속하는 객체들의 집합이다. ","meta":{},"items":[]}]}},{"id":"wPDEXx9d2O","type":"delimiter","data":{}},{"id":"XOv8B7HEjt","type":"header","data":{"text":"프로그래밍 언어 관점의 타입 ","level":3}},{"id":"q-JIbZWjx7","type":"paragraph","data":{"text":"프로그래밍 언어 관점에서 타입은 연속적인 비트에 의미와 제약을 부여하기 위해 사용된다. 하드웨어는 데이터를 0과 1로 구성된 일련의 비트 조합으로 취급한다. 하지만 비트 자체에는 타입이라는 개념이 존재하지 않는다. 비트에 담긴 데이터를 문자열로 다룰지, 정수로 다룰지는 전적으로 데이터를 사용하는 애플리케이션에 의해 결정되낟. 따라서 프로그래밍 언어의 관점에서 타입은 비트 묶음에 의미를 부여하기 위해 정의된 제약과 규칙을 가리킨다."}},{"id":"nVL6ptSjeG","type":"paragraph","data":{"text":"프로그래밍 언어에서 타입은 2가지 목적을 위해 사용된다. "}},{"id":"6WMDg8vazG","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"타입에 수행될 수 있는 유효한 오퍼레이션의 집합을 정의한다 ","meta":{},"items":[{"content":"자바에서 + 연산자는 원시형 숫자 타입이나 문자열 타입의 객체에는 사용하 수 있지만 다른 클래스의 인스턴스에 대해서는 사용할 수 없다. 하지만 C++, C# 에서는 오버로딩을 통해 + 연산자를 사용하는 것이 가능하다. 여기서 중요한 점은 모든 객체지향 언어들은 객체의 타입에 따라 적용 가능한 연산자의 종류를 제한함으로써 프로그래머의 실수를 막아준다는 것이다 .","meta":{},"items":[]}]},{"content":"타입에 수행되는 오퍼레이션에 대해 미리 약된 문맥을 제공한다","meta":{},"items":[{"content":"예를들어 자바에서 a + b 라는 연산이 있을 때 a 와 b 의 타입은 int 라면 두 수를 더할 것이다. 하지만 a,b 타입이 String 이라면 두 문자열을 하나의 문자열로 합칠 것이다. 따라서 a 와 b d에 부여된 타입이 + 연산자의 문맥을 정의한다. 객체를 생성하는 방법에 대한 문맥을 결정하는 것은 바로 객체의 타입이다 ","meta":{},"items":[]}]}]}},{"id":"aVhJpNCh1t","type":"paragraph","data":{"text":"정리하면 타입은 적용 가능한 오퍼레이션의 종류와 의미를 정의함으로써 코드의 의미를 명확하게 전달하고 개발자의 실수를 방지하기 위해 사용된다. 이제 타입의 갠며을 객체지향 패러다임의 관점에서 확장해보자."}},{"id":"cVk9OXRLj2","type":"delimiter","data":{}},{"id":"_f62wNBKxb","type":"header","data":{"text":"객체지향 패러다임 관점의 타입 ","level":3}},{"id":"5_joDc6uzA","type":"paragraph","data":{"text":"지금까지의 내용을 바탕으로 타입을 다음과 같은 2가지 관점에서 정의할 수 있다."}},{"id":"0VSmC6pZ4z","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"개념 관점에서 타입이란 공통의 특징을 공유하는 대상들의 분류이다","meta":{},"items":[]},{"content":"프로그래밍 언어 관점에서 타입이란 동일한 오퍼레이션을 적용할 수 있는 인스턴스들의 집합이다.","meta":{},"items":[]}]}},{"id":"kEewBF6hqv","type":"paragraph","data":{"text":"객체지향 프로그래밍에서 오퍼레이션은 객체가 수신할 수 있는 메시지를 의미한다. 따라서 객체의 타입이란 객체가 수신할 수 있는 메시지의 종류를 정의하는 것이다. "}},{"id":"UTVKRvcV5Y","type":"paragraph","data":{"text":"우리는 이미 객체가 수신할 수 있는 메시지의 집합을 가리키는 멋진 용어를 알고 있다. 바로 '퍼블릭 인터페이스'가 그것이다. 객체지향 프로그래밍에서 타입을 정의하는 것은 객체의 퍼블릭 인터페이스를 정의하는 것과 동일하다. "}},{"id":"WRDQpmtUNc","type":"warning","data":{"title":"객체의 퍼블릭 인터페이스가 객체의 타입을 정의한다. 따라서 동일한 퍼블릭 인터페이스를 제공하는 객체들은 동일한 타입으로 분류된다. ","message":""}},{"id":"OKVeUbxQe7","type":"delimiter","data":{}},{"id":"21MyXmEa9E","type":"header","data":{"text":"타입 계층 ","level":2}},{"id":"zeNRuD8waf","type":"header","data":{"text":"타입 사이의 포함관계 ","level":3}},{"id":"QaFgA-Ebnn","type":"paragraph","data":{"text":"수학에서 집합은 다른 집합을 포함할 수 있다. 타입 역시 객체들의 집합이기 때문에 다른 타입을 포함하는 것이 가능하다. 타입 안에 포함된 객체들을 좀 더 상세한 기준으로 묶어 새로운 타입을 정의하면 이 새로운 타입은 자연스럽게 기존 타입의 부분집합이 된다."}},{"id":"DHCnCYYYOt","type":"paragraph","data":{"text":"앞에서 예로 든 자바, 루비, 자바스크립트, C# 은 프로그래밍 언어 에서의 타입 인스턴스이다. 따라서 이들을 그 림과 같이 프로그래밍 언어 집합의 원소로 표현할 수 있다. "}},{"id":"baGlO6NtT3","type":"paragraph","data":{"text":"이 집합의 원소들을 좀 더 상세한 기준에 따라 분류할 수 있다. 자바, 루비, 자바스크립트는 '객체지향 언어'로 분류할 수 있고, C 는 절차적 언어로 분류할 수 있다. 더 나아가 자바와 루비는 '클래스 기반 언어'로 자바스크립트는 '프로토타입 기반 언어' 로 분류할 수 있다. "}},{"id":"Sjkmzq9qvJ","type":"paragraph","data":{"text":"타입 계층을 구성하는 두 타입간의 관계에서 더 일반적인 타입을 '슈퍼타입'이라고 부르고 더 특수한 타입을 '서브타입'이라고 부른다. 프로그래밍 언어 타입은 객체지향 언어 타입과 절차적 언어 타입의 슈퍼 타입이고 객체지향 언어 타입은 클래스 기반 언어 타입과 프로덕트 기반 언어 타입보다 슈퍼타입이다."}},{"id":"Oic4bk3rpe","type":"delimiter","data":{}},{"id":"ULnPieWOzb","type":"header","data":{"text":"객체지향 프로그래밍 과 타입 계층 ","level":3}},{"id":"C6VhPL_Chy","type":"paragraph","data":{"text":"객체의 타입을 결정하는 것은 퍼블릭 인터페이스이다. 일반적인 타입이란 비교하려는 타입에 속한 객체들의 퍼블릭 인터페이스보다 더 일반적인 퍼블릭 인터페이스를 가지는 객체들의 타입을 의미한다."}},{"id":"PwOvpN2QBE","type":"paragraph","data":{"text":"따라서 퍼블릭 인터페이스의 관점에서 슈퍼타입과 서브타입을 다음과 같이 정의할 수 있다. "}},{"id":"WSfSvLG0Ps","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":" 슈퍼타입이란 서브타입이 정의한 퍼블릭 인터페이스를 일반화시켜 상대적으로 범용적이고 넓은 의미로 정의한 것이다.","meta":{},"items":[]},{"content":"서브타입이란 슈퍼타입이 정의한 퍼블릭 인터페이스를 특수화시켜 상대적으로 구체적이고 좁은 의미로 정의한 것이다. ","meta":{},"items":[]}]}},{"id":"4HJcxMzYuI","type":"paragraph","data":{"text":"서브타입의 인스턴스는 슈퍼타입의 인스턴스로 간주될 수 있다. 이 사실이 이번장의 핵심이다. 그리고 상속과 다형성의 관계를 이해하기 위한 출발점이다. "}},{"id":"m8MaxlSHmq","type":"delimiter","data":{}},{"id":"f77u0be02Z","type":"header","data":{"text":"서브클래싱 과 서브타이핑","level":3}},{"id":"AB3e3vriNx","type":"paragraph","data":{"text":"객체지향 프로그래밍 언어에서 타입을 구현하는 일반적인 방법은 클래스를 이용하는 것이다. 그리고 타입 계층을 구현하는 일반적인 방법은 상속을 이용하는 것이다. 상속을 이용해 타입 계층을 구현하는 것은 부모 클래스가 슈퍼타입의 역할을, 자식 클래스가 서브타입의 역할을 수행하다록 클래스 사이의 관계를 정의한다는 것이다. "}},{"id":"3vGXteIl6C","type":"paragraph","data":{"text":"그렇다면 어떤 타입이 다른 타입의 서브타입이 되기 위해서는 어떤 조건을 만족해야 할까? 서브타입의 퍼블릭 인터페이스가 슈퍼타입의 퍼블릭 인터페이스보다 더 특수하다는 것은 어떤 의미일까?"}},{"id":"JkFHZIoSIH","type":"paragraph","data":{"text":" "}},{"id":"WtXbO1D0Ac","type":"delimiter","data":{}},{"id":"bKgCDk_xiL","type":"header","data":{"text":"언제 상속을 사용해야 하는가?","level":3}},{"id":"Bx53wvqb_7","type":"paragraph","data":{"text":"반복해서 강조하지만 상속의 올바른 용도는 타입 계층을 구현하는 것이다. 그렇다면 어떤 조건을 만족시켜야만 타입 계층을 위해 올바르게 상속을 사용했다고 말할 수 있을까? "}},{"id":"y-tsRvk8NX","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"\b상속 관계가 is-a 관계를 모델링하는가? ","meta":{},"items":[{"content":"이것은 애플리케이션을 구성하는 어휘에 대한 우리의 관점에 기반한다. 일반적으로 '자식클래스' 는 '부모클래스' 라고 말해도 이상하지 않다면 상속을 사용할 후보로 간주할 수 있다.","meta":{},"items":[]}]}]}},{"id":"Zd6vkPEOYa","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"클라이언트 입장에서 부모 클래스의 타입으로 자식 클래스를 사용해도 무방한가?","meta":{},"items":[{"content":"상속 계층을 사용하는 클라이언트 입장에서 부모 클래스와 자식 클래스의 차이점을 몰라야 한다. 이를 자식 클래스와 부모 클래스 사이의 행동 호환성이라고 부른다. ","meta":{},"items":[]}]}]}},{"id":"Lxx5o2IM_j","type":"paragraph","data":{"text":"클라이언트의 관점에서 두 클래스에 대해 기대하는 행동이 다르다면 비록 그것이 어휘적으로 is-a 관계로 표현할 수 있다고 하더라도 상속을 사용해서는 안된다."}},{"id":"1zyUciUAcP","type":"paragraph","data":{"text":" "}},{"id":"0i_z4LniGW","type":"delimiter","data":{}},{"id":"N7dMzfGIef","type":"header","data":{"text":"Is - a 관계 ","level":3}},{"id":"Vte-y3JHbv","type":"paragraph","data":{"text":"두 클래스가 어휘적으로 is-a 관계를 모델링할 경우에만 상속을 사용해야 한다. 어떤 타입 S 가 다른 타입 T 의 일종이라면 당연히 \"타입 S 는 타입 T 다 (S is -a T)\" 라고 말할 수 있어야한다. "}},{"id":"yrCchbbRW-","type":"paragraph","data":{"text":"\"객체지향 언어는 프로그래밍 언어다\" 라고 표현할 수 있고 \"클래스 기반 언어는 객체지향 언어다\" 라고 표현할 수 있기 떄문에 \"프로그래밍 언어\",\"객체지향 언어\", \"클래스 기반 언어\" 는 is-a 관계를 만족시킨다 ."}},{"id":"iRPWt8Rfp2","type":"paragraph","data":{"text":"하지만 is-a 관계가 생각처럼 직관적이고 명쾌한 것은 아니다 . 스콧 마이어스는 이펙티브 C++ 에서 새와 펭귄의 예를 들어 is-a 관계가 직관을 쉽게 배신할 수 있다는 사실을 보여준다 ."}},{"id":"Z8RKWJEud7","type":"paragraph","data":{"text":"먼저 익숙한 두가지 사실에서 이야기 해보자"}},{"id":"7SRe8ALJt5","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"펭귄은 새다","meta":{},"items":[]},{"content":"새는 날 수 있다","meta":{},"items":[]}]}},{"id":"xhTTSG-2LB","type":"paragraph","data":{"text":"두 가지 사실을 조합하면 아래와 유사한 코드를 얻게 된다."}},{"id":"HmGa-oyRSr","type":"paragraph","data":{"text":" "}},{"id":"ObauWowVTi","type":"code","data":{"code":"public class Bird {\n public void fly(){\n ...\n }\n}\n\npublic class Peguien extends Bird {\n ...\n}"}},{"id":"M5PBX7c8Fn","type":"paragraph","data":{"text":"안타깝게도 이 코드의 반은 맞고 반은 틀리다. 펭귄은 분명 새지만 날 수 없는 새다. 하지만 코드는 분명히 \"펭귄은 새고\", 따라서 날 수 있다 라고 주장하고 있다. "}},{"id":"QkGSpVrfRy","type":"paragraph","data":{"text":"이 예는 어휘적인 정의가 아니라 기대되는 행동에 따라 타입 계층을 구성해야 한다는 사실을 잘 보여준다. 어휘적으로 펭귄은 새가 아니지만 만약 새의 정의에 날 수 있다는 행동이 포함된다면 펭군은 새의 서브타입이 될 수 없다. 만약 새의 정의에 날 수 있다는 행동이 포함되지 않는다면 펭귄은 새의 서브탕비이 될 수 있다. 이 경우에는 어휘적인 관점과 행동 관점이 일치하게 된다. "}},{"id":"Xa_H7WJjJB","type":"paragraph","data":{"text":"따라서 타입 계층의 의미는 행동이라는 문맥에 따라 달라질 수 있다."}},{"id":"Ku_2iaaafN","type":"delimiter","data":{}},{"id":"VOuaiSGgyy","type":"header","data":{"text":"행동 호환성 ","level":3}},{"id":"QXE2snNBWG","type":"paragraph","data":{"text":"펭귄이 새가 아니라는 사실을 받아들이기 위한 출발점은 타입이 행동과 관련이 있다는 사실에 주목하는 것이다. 타입의 이름 사이에 개념적으로 어떤 연관성이 있다고 하더라도 행동에 연관성이 없다면 is-a 관계를 사용하지 말아야 한다. "}},{"id":"PzAXtyTmDI","type":"paragraph","data":{"text":"중요한 것은 행동의 호환 여부를 판단하는 기준은 클라이언트 관점이라는 것이다. "}},{"id":"2hSoRlaFwd","type":"paragraph","data":{"text":"클라이언트가 두 타입이 동일하게 행동할 것이라고 기대한다면 두 타입을 타입 계층으로 묶을 수 있다. 클라이언트가 두 타입이 동일하게 행동하지 않을 것이라고 기대한다면 두 타입을 타입 계층으로 묶어서는 된다. "}},{"id":"YiPhwPkrPj","type":"paragraph","data":{"text":"다음과 같이 클라이언트가 날 수 있는 새만을 원한다고 가정해보자 "}},{"id":"7tXlUFwGdc","type":"code","data":{"code":"public void flyBird(Bird bird){\n bird.fly();\n}"}},{"id":"bThANl5gxh","type":"paragraph","data":{"text":"현재 Penguin 은 Bird 의 자식 클래스이기 떄문에 컴파일러는 업캐스팅을 허용한다. 따라서 flyBird 메서드의 인자로 Penguin 의 인스턴스가 전달되는 것을 막을 수 있는 방법이 없다. "}},{"id":"qMzq0Dd9lr","type":"paragraph","data":{"text":"하지만 Penguin 은 날 수 없고 클라이언트는 모든 bird 가 날 수 있기를 기대하기 때문에 flyBird 메서드로 전달해서는 안된다. Penguin 은 클라이언트의 기대를 저버리기 때문에 Bird 의 서브타입이 아니다. 따라서 이 둘을 상속 관계로 연결한 위 설계는 수정돼어야 한다."}},{"id":"IdtUqeA8z-","type":"paragraph","data":{"text":"하지만 대부분의 사람들은 \"펭귄이 새다\" 라는 말에 현혹당한 채 상속 계층을 유지할 수 있는 해결 방법을 찾으려 할 것이다. 상속 관계를 유지하면서 문제를 해결하기 위해 시도해 볼 수 있는 세 가지 방법이 있다. "}},{"id":"Wi21Txbsg2","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"첫번 째 방법은 Penguin 의 fly 메서드를 오버라이딩해서 내부 구현을 비워두는 것이다. ","meta":{},"items":[]}]}},{"id":"BU4cy2pZDq","type":"code","data":{"code":"public class Penguin extends Bird {\n ...\n @Override\n public void fly(){}\n}"}},{"id":"1aWZt-XgWZ","type":"paragraph","data":{"text":"이 방법은 어떠한 행동도 수행하지 않기 때문에 모든 bird 가 날 수 있다는 클라이언트의 기대를 만족시키지 못한다. 따라서 올바른 설계라고 할 수 없다."}},{"id":"2dH3WGOLN7","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"두 번째 방법은 Penguin 의 fly 메서드를 오버라이딩한 후 예외를 던지게 하는 것이다. ","meta":{},"items":[]}]}},{"id":"BssW840iSN","type":"code","data":{"code":"\npublic class Penguin extends Bird{\n ...\n @Override\n public void fly(){\n throw new UnSupportedOperationException();\n }\n}"}},{"id":"zRYs74gXiY","type":"paragraph","data":{"text":"flyBird 메서드는 fly 메시지를 전송한 결과로 UnSupportedOperationException 예외가 던져질 것이라고는 기대하지 않았을 것이다. 따라서 이 방법 역시 클라이언트의 관점에서 Bird 와 Penguin 의 행동이 호환되지 않는다. "}},{"id":"gIhmwM5jpy","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"세번째 방법은 flyBird 메서드를 수정해서 인자로 전달된 Bird의 타입이 Penguin 이 아닐 경우에는 fly 메시지를 전송하는 것이다. ","meta":{},"items":[]}]}},{"id":"saI1YEYbvk","type":"code","data":{"code":"public void flyBird(Bird bird){\n if(!(bird instanceof Penguin)){\n bird.fly();\n }\n}"}},{"id":"OqokGyL-aJ","type":"paragraph","data":{"text":"만약 Penguin 이외에 날 수 없는 또 다른 새가 상속 계층에 추가된다면 어떻게 할 것인가?. flyBird 메서드 안에서 instanceof 를 이용해 새로운 타입을 체크하는 코드를 추가해야할 것이다. 이것은 new 연산자와 마찬가지로 구체적인 클래스에 대한 결합도를 높인다."}},{"id":"lsLpfe26ai","type":"delimiter","data":{}},{"id":"LvKqST6ieV","type":"header","data":{"text":"클라이언트의 기대에 따라 계층 분리하기","level":3}},{"id":"0YNlkxRnSB","type":"paragraph","data":{"text":"지금까지 살펴본 것 처럼 행동 호환성을 만족시키지 않는 상속 계층을 그대로 유지한 채 클라이언트의 기대를 충족시킬 수 있는 방법을 찾기란 쉽지 않다. 문제를 해결할 수 있는 방법은 클라이언트의 기대에 맞게 상속 계층을 분리하는 것이다. "}},{"id":"D2SUcomBbp","type":"paragraph","data":{"text":"flyBird 메서드는 파라미터로 전달되는 모든 새가 날 수 있다고 가정하기 때문에 flyBird 메서드와 협력하는 모든 객체는 fly 메시지에 대해 올바르게 응답할 수 있어야한다. 따라서 Penguin 의 인스턴스는 flyBird 메서드에 전달돼서는 안된다. 반면 Penguin 과 협력하는 클라이언트는 날 수 없는 새와 협력할 것이라고 가정 할 것이다. 따라서 날 수 있는 새와 날 수 없는 새를 명확하게 구분할 수 있게 상속 계층을 분리하면 서로 다른 요구사항을 가진 클라이언트를 만족시킬 수 있을 것이다. "}},{"id":"BC4cDIGlha","type":"code","data":{"code":"public class Bird {\n ...\n}\n\npublic class FlyingBird extends Bird{\n public void fly() {...}\n}\n\npublic class Penguin extends Bird{\n ...\n}"}},{"id":"i93GCDXp-p","type":"paragraph","data":{"text":"이제 flyBird 메서드는 FlyingBird 타입을 이용해 날 수 있는 새만 인자로 전달돼어야 한다는 사실을 코드에 명시할 수 있다. 만약 날 수 없는 새와 협력하는 메서드가 존재한다면 파라미터 타입을 Bird 로 선언하면 된다. "}},{"id":"3LwHNPam4d","type":"code","data":{"code":"public void flyBird(FlyingBird bird){\n bird.fly();\n}"}},{"id":"3yyt0ihoBu","type":"paragraph","data":{"text":"이렇게 변경한 후에는 모든 클래스들이 행동 호환성을 만족시킨다는 사실을 알 수 있다. "}},{"id":"pvG3hlo5D1","type":"paragraph","data":{"text":"Bird 의 클라이언트는 자신과 협력하는 객체들이 fly 라는 행동을 수행할 수 없다는 사실을 잘 알 고 있다. 따라서 Penguin 이 Bird 를 대체하더라도 놀라지 않을 것이다."}},{"id":"NAchg5QZdB","type":"delimiter","data":{}},{"id":"kVw9VG1n8T","type":"header","data":{"text":"서브클래싱과 서브타이핑","level":2}},{"id":"FBmASmREmp","type":"paragraph","data":{"text":"그래서 언제 상속을 사용해야 하는가? 어떤 상속이 올바른 상속이고, 어떤 상속이 올바르지 않은 상속인가? 질문에 대한 답을 찾기 위해서는 이번 장을 처음 시작할 떄 언급한 것처럼 상속이 2가지 목적을 위해 사용된다는 사실을 이해해야 한다. 하나는 코드 재사용을 위해서고, 다른 하나는 타입 계층을 구성하기 위해서이다. "}},{"id":"3PIRUWVyZa","type":"paragraph","data":{"text":"사람들은 상속을 사용하는 두 가지 목적에 특별한 이름을 붙였는데, 서브 클래싱과 서브 타이핑이 그것이다. "}},{"id":"wVR66_w9kQ","type":"customHeader","data":{"text":"서브클래싱"}},{"id":"8UjbxsHUfh","type":"paragraph","data":{"text":"다른 클래스의 코드를 재사용할 목적으로 상속을 사용하려는 경우를 가리킨다. 자식 클래스와 부모 클래스의 행동이 호환되지 않기 떄문에 자식 클래스의 인스턴스가 부모 클래스의 인스턴스를 대체할 수 없다. 서브클래싱을 구현 상속 또는 클래스 상속이라고 부르기도 한다."}},{"id":"E6OQjIPxl4","type":"customHeader","data":{"text":"서브타이핑"}},{"id":"vDMqV3QIAR","type":"paragraph","data":{"text":"타입 계층을 구성하기 위해 상속을 사용하는 경우를 가리킨다. 영화 예매 시스템에서 구현한 DiscountPolicy 상속 계층이 서브타이핑에 해당한다. 서브타이핑에서는 자식 클래스와 부모 클래스의 행동이 호환되기 때문에 자식 클래스의 인스턴스가 부모 클래스의 인스턴스를 대체할 수 있다. 이때 부모클래스는 자식 클래스의 슈퍼타입이 되고 자식 클래스는 부모 클래스의 서브타입이 된다. 서브타이핑을 인터페이스 상속 (Interface Inheritance) 이라고 부른다. "}},{"id":"MJHfI-V9hI","type":"paragraph","data":{"text":" 서브클래싱과 서브타이핑을 나누는 기준은 상속을 사용하려는 목적이다. 자식 클래스가 부모 클래스의 코드를 재사용할 목적으로 상속을 사용했다면 그것은 서브 클래싱이다. 부모 클래스의 인스턴스 대신 자식 클래스의 인스턴스를 사용할 목적으로 상속을 사용했다면 그것은 서브타이핑이다. "}}],"version":"2.31.0-rc.7"}

Tag List