{"time":1752759340354,"blocks":[{"id":"9fhSXP_i2a","type":"warning","data":{"title":"해당 글은 조영호님의 쓰신 Object 책을 읽고 챕터별로 정리해본 글입니다.","message":""}},{"id":"IIeTZ3Fch-","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":"2WfqtqyoyN","type":"delimiter","data":{}},{"id":"2iZZUFCbP6","type":"paragraph","data":{"text":"11장에서 살펴본 것처럼 코드 재사용을 목적으로 상속을 사용하면 변경하기 어렵고 유연하지 못한 설계에 이를 확률이 높아진다. 상속의 목적은 코드 재사용이 아니다. 상속은 타입 계층을 구조화하기 위해 사용해야 한다. "}},{"id":"pcsCHLuH8e","type":"paragraph","data":{"text":"상속을 이용해 자식 클래스를 추가하려 한다면 스스로에게 다음과 같은 질문을 해보기 바란다. 상속을 사용하려는 목적이 단순히 코드를 재사용하기 위해서인가? 아니면 클라이언트 관점에서 인스턴스들을 동일하게 행동하는 그룹으로 묶기 위해서인가? 첫번째 질문에 대한 답이 '예' 라면 상속을 사용하지 말아야 한다. "}},{"id":"B-sBPc6qM7","type":"paragraph","data":{"text":"객체지향 패러다임이 주목받기 시작하던 초기에 상속은 '타입 계층'과 '다형성'을 구현할 수 있는 거의 유일한 방법이었다. 여기에 더해 상속을 사용하면 코드를 쉽게 재사용할 수 있다는 과대광고가 널리 퍼지면서 상속에 대한 맹신과 추종이 자라났다. "}},{"id":"YBLLVUB998","type":"paragraph","data":{"text":"많은 시간이 흐른 지금도 여전히 상속은 다형성을 구현할 수 있는 가장 일반적인 방법이다. 하지만 최근의 언어들은 상속 이외에도 다형성을 구현할 수 있는 다양한 방법들을 제공하고 있기 때문에 과거에 비해 상속의 중요성이 많이 낮아졌다고 할 수 있다. "}},{"id":"VVQyGO0ib3","type":"paragraph","data":{"text":"이번 장에서는 상속의 관점에서 다형성이 구현되는 기술적인 메커니즘을 살펴보기로 한다. 이번 장을 읽고 나면 다형성이 런타임에 메시지를 처리하기에 적합한 메서드를 동적으로 탐색하는 과정을 통해 구현되며, 상속이 이런 메서드를 찾기 위한 일종의 탐색 경로를 클래스 계층의 형태로 구현하기 위한 방법이라는 사실을 이해라게 될 것이다. "}},{"id":"x7MJI3ExwQ","type":"delimiter","data":{}},{"id":"21mw6JIQNt","type":"header","data":{"text":"다형성 ","level":2}},{"id":"sae6lVbdP0","type":"paragraph","data":{"text":"다형성이라는 단어는 그리스어에서 '많은' 을 의미하는 Poly 와 형태를 의미하는 Morph 의 합성어로 '많은 형태를 가질 수 있는 능력' 을 의미한다. "}},{"id":"ngIkkh2WON","type":"paragraph","data":{"text":"컴퓨터 과학에서는 다형성을 하나의 추상 인터페이스에 대해 코드를 작성하고 이 추상 인터페이스에 대해 서로 다른 구현을 연결할 수 있는 능력으로 정의한다. 간단하게 말해서 다형성은 여러 타입을 대상으로 동작할 수 있는 코드를 작성할 수 있는 방법이라고 할 수 있다. "}},{"id":"MGvSM1zbRv","type":"paragraph","data":{"text":"객체지향 프로그래밍에서 사용되는 다형성은 그림과 같이 유니버셜 다형성과 임시 다형성으로 분류할 수 있다. 다형성은 다시 매개변수 다형성과 포함 다형성으로 분류할 수 있고 임시 다형성은 오버로딩 다형성과 강제 다형성을 분류할 수 있다. "}},{"id":"VN5kNQYeEO","type":"image","data":{"caption":"","withBorder":false,"withBackground":false,"stretched":true,"file":{"url":"https://backend.owl-dev.me/images/image(10).png"}}},{"id":"dCpn_fwF7c","type":"paragraph","data":{"text":"일반적으로 하나의 클래스 안에 동일한 이름의 메서드가 존재하는 경우를 가리켜 오버로딩 다형성이라고 부른다. Money 클래스 안에 서로 다른 타입의 파라미터를 받아 금액을 증가시키는 메서드들이 plus 라는 동일한 이름을 가지는 경우가 오버로딩에 해당한다 "}},{"id":"rDhjerXAYx","type":"code","data":{"code":"public class Money {\n public Money plus (Money amount){...}\n public Money plus (BigDecomal amount){...}\n public Money plus (lomg amount) {...}\n}"}},{"id":"JMZRmMqKl6","type":"paragraph","data":{"text":"메서드 오버로딩을 사용하면 plus_money, plus_bigdecimal, plus_long 이라는 이름을 모두 기억할 필요 없이 plus 라는 하나의 이름만 기억하면 된다. 따라서 유사한 작업을 수행하는 메서드의 이름을 통일할 수 있기 때문에 기억해야 하는 이름의 수를 극적으로 줄일 수 있다. "}},{"id":"MSWYX5gitF","type":"paragraph","data":{"text":"강제 다형성은 언어가 지원하는 자동적인 타입 변환이나 사용자가 직접 구현한 타입 변환을 이용해 도입한 연산자를 다양한 타입에 사용할 수 있는 방식을 가리킨다. 예를 들어 자바에서 이항 연산자인 '+' 피 연산자가 모두 정수일 경우에는 정수에 대한 덧셈 연산자로 동작하지만, 하나는 정수이고 다른 하나는 문자열인 경우에는 연결 연산자로 동작한다. "}},{"id":"f4qRIHH3f6","type":"paragraph","data":{"text":"일반적으로 오버로딩과 다형성과 강제 다형성을 함께 사용하면 모호해 질 수 있는데 실제로 어떤 메서드가 호출될지를 판단하기가 어려워지기 때문이다."}},{"id":"VSCQdLx5FT","type":"paragraph","data":{"text":"매개변수 다형성은 제네릭 프로그래밍과 관련이 높은데 클래스의 인스턴스 변수나 메서드의 매개변수 타입을 임의의 타입으로 선언한 후 사용하는 시점에 구체적인 타입으로 지정하는 방식을 가리킨다."}},{"id":"lm5YFoiBSt","type":"paragraph","data":{"text":"예를 들어 자바의 List 인터페이스는 컬렉션에 보관할 요소의 타입을 임의의 타입T 로 지정하고 있으며 실제 인스턴스를 생성하는 시점에 T 를 구체적인 타입으로 지정할 수 있게 하고 있다. 따라서. List 인터페이스는 다양한 타입의 요소를 다루기 위해 동일한 오퍼레이션을 사용할 수 있다. "}},{"id":"nLKd0aTp_c","type":"paragraph","data":{"text":"포함 다형성은 메시지가 동일하더라도 수신한 객체의 타입에 따라 실제로 수행되는 행동이 달라지는 능력을 의미한다. 포함 다형성은 서브타입 (subtype) 다형성이라고도 부른다. 포함 다형성은 객체지향 프로그래밍에서 가장 널리 알려진 형태의 다형성이기 때문에 특별한 언급 없이 다형성이라고 할 때는 포함 다형성을 의미하는 것이 일반적이다. "}},{"id":"FxPRugVmd_","type":"paragraph","data":{"text":"아래 코드는 포함 다형성의 전형적인 예를 잘 보여준다"}},{"id":"XAYkCtCrRq","type":"code","data":{"code":" public class Movie {\n private DiscountPolicy discountPolicy;\n\n public Money CalculateMovieFee(Screening screening){\n return fee.minus(discountPolicy.calculateDiscountAmount(screening));\n }\n }"}},{"id":"ItOUj5dFwp","type":"delimiter","data":{}},{"id":"FNn1lh0Gxc","type":"header","data":{"text":"상속을 사용한 강의 평가 ","level":2}},{"id":"7lRejzS_hS","type":"paragraph","data":{"text":"Lecture 클래스 살펴보기"}},{"id":"2fe0QsZFvA","type":"paragraph","data":{"text":" Lecture 클래스의 구현을 살펴보자 Lecture 클래스는 과목명과 학생들의 성적을 보관할 리스트를 인스턴스 변수로 가진다. 인스턴스 변수인 pass 는 이수 여부를 판단할 기준 점수를 저장한다. 만약 학생의 성적이 pass 에 저장된 값보다 크거나 같은 경우에는 강의를 이수한 것으로 판단한다."}},{"id":"z5RruZuZpU","type":"paragraph","data":{"text":"average 메서드는 전체 학생들의 평균 성적을 계산하고 evaluate 메서드는 강의를 이수한 학생의 수와 낙제한 학생의 수를 앞에서 설명한 형식에 맞게 구성한 후 반환한다. getScores 메서드는 전체 학생들의 성적을 반환한다. "}},{"id":"fW35d1p7Xl","type":"code","data":{"code":"public class Lecture {\n private int pass;\n private String title;\n private List scores = new ArrayList<>();\n\n public Lecture(String title, int pass, List scores) {\n this.title = title;\n this.pass = pass;\n this.scores = scores;\n }\n\n public double average() {\n return scores.stream()\n .mapToint(Integer::intValue)\n .average().orElse(0);\n }\n\n public List getScores() {\n return Collections.unmodifiableList(scores);\n }\n\n public String evaluate() {\n return String.format(\"Pass:%d Fail:%d\", passCount(), faillCount());\n }\n\n private long passCount() {\n return scores.stream().filter(score -> score >= pass).count();\n }\n\n private long failCount() {\n return scores.size() - passCount();\n }\n\n}"}},{"id":"t47eLOC8jn","type":"paragraph","data":{"text":"다음은 이수 기준이 70점인 객체지향프로그래밍 과목의 수강생 5명에 대한 성적 통계를 구하는 코드를 나타낸 것이다. "}},{"id":"w8_jbBwere","type":"code","data":{"code":"Lecture lecture = new Lecture(\"객체지향 프로그래밍\", 70, Arrays.asList(81,95,75,50,45));\nString evaluration = lecture.evaluate() "}},{"id":"38LOodCqyq","type":"delimiter","data":{}},{"id":"-PGpaH-LM9","type":"header","data":{"text":"상속을 이용해 Lecture 클래스 재사용하기 ","level":2}},{"id":"BdXtiFZDZI","type":"paragraph","data":{"text":"Lecture 클래스는 새로운 기능을 구현하는 데 필요한 대부분의 데이터와 메서드를 포함하고 있다. 따라서 Lecture 클래스를 상속받으면 새로운 기능을 쉽고 빠르고 추가할 수 있을것이다. 원하는 기능은 Lecture 의 출력 결과에 등급별 통계를 추가하는 것이므로 클래스의 이름은 GradeLecture 가 적절할 것이다. Grade 인스턴스들을 리스트로 보관하는 인스턴스 변수 grades 를 추가하자 ."}},{"id":"WS2DvtNUrU","type":"code","data":{"code":"public class GradeLecture extends Lecture {\n private List grades;\n\n public GradeLecture(String name, int pass, List grades, List scores) {\n supuer(name, pass, scores);\n this.grades = grades;\n }\n}"}},{"id":"xLGxBWPxpB","type":"paragraph","data":{"text":"Grade 클래스는 등급의 이름과 각 등급 범위를 정의하는 최소 성적과 최대 성적을 인스턴스변수로 포함한다. include 메서드는 수강생의 성적이 등급에 포함되는지를 검사한다. "}},{"id":"rezmy4nOc7","type":"code","data":{"code":"public class Grade {\n private String name;\n private int upper, lower;\n\n private Grade(String name, int upper, int lower) {\n this.name = name;\n this.upper = upper;\n this.lower = lower;\n }\n\n public String getName() {\n return name;\n }\n\n public boolean isName(String name) {\n return this.name.equals(name);\n }\n\n public boolean include(int score) {\n return lower <= score && score <= upper;\n }\n\n}"}},{"id":"T6a-LJt5vB","type":"paragraph","data":{"text":"이제 GradeLecture 클래스에 학생들의 이수 여부와 등급별 통계를 함께 반환하도록 evaluate 메서드를 재정의 하자."}},{"id":"byKMJGRWnw","type":"code","data":{"code":"public class GradeLecture extends Lecture {\n @Override\n public String evaluate() {\n return super.evaluate() + \",\" + gradeStatistics();\n }\n\n private String gradesStatistics() {\n return grades.stream()\n .map(grade -> format(grade))\n .collect(joining(\" \"));\n }\n\n private String format(Grade grade) {\n return String.format(\"%s:%d\", grade.getName(), gradeCount(grade));\n }\n\n private long gradeCount(Grade grade) {\n return getScores().stream().filter(grade::include).count();\n }\n\n}"}},{"id":"0rdU_QlDFw","type":"paragraph","data":{"text":"GradeLecture 의 evaluate 메서드에서는 예약어 super 를 이용해 Lecture 클래스의 evaluate 메서드를 먼저 실행한다는 사실을 눈여겨보기 바란다. 뒤에서 super 의 정확한 의미에 관해 설명할 때까지는 super 가 부모 클래스를 가리키도록 설정된 변수라는 정보만 이해하기 바란다. 일반적으로 super 는 자식클래스 내부에서 부모 클래스의 인스턴스 변수나 메서드에 접근하는데 사용된다. "}},{"id":"f6soabxhNU","type":"paragraph","data":{"text":"여기서 주목할 부분은 GradeLecture와 Lecture 에 구현된 evalueate 메서드의 시그니처가 완전히 동일하다는 것이다. 부모 클래스와 자식 클래스에 동일한 시그니처가 존재할 경우 자식 클래스의 메서드 우선순위가 더 높다. 여기서 우선순위가 더 높다는 것은 메시지를 수신했을 때 부모 클래스의 메서드가 아닌 자식 클래스의 메서드가 실행된다는 것을 의미한다. "}},{"id":"sOsmsa4X40","type":"paragraph","data":{"text":"결과적으로 동일한 시그니처를 가진 자식 클래스의 메서드가 부모 클래스의 메서드를 가리키게된다. 이처럼 자식 클래스 안에 상속받은 메서드와 동일한 시그니처의 메서드를 재정의해서 부모 클래스의 구현을 새로운 구현으로 대체하는 것을 메서드 오버라이딩이라고 부른다. "}},{"id":"LV8iapY4SU","type":"code","data":{"code":"Lecture lecture = new GradeLecture(\"객체지향 프로그래밍\", 70,\n Arrays.asList(new Grade(\"A\",100,95),\n new Grade(\"B\",94,80),\n new Grade(\"C\",79,70),\n new Grade(\"D\",69,50),\n new Grade(\"F\",49,0)),\n Arrays.asList(81,95,75,50,45));\n\nlectrue.evaluate();"}},{"id":"Z6R2006oVE","type":"paragraph","data":{"text":"자식 클래스에 부모 클래스에는 없던 새로운 메서드를 추가하는 것도 가능하다. 예를 들어 다음과 같이 등급별 평균 성적을 구하는 Average 메서드를 추가할 수 있다. "}},{"id":"T7xBpD7nyG","type":"code","data":{"code":"public class GradeLecture extends Lecture {\n public double avrage(String gradeName) {\n return grades.stream()\n .filter(each -> each.isName(gradeName))\n .findFirst()\n .map(this::gradeAverage)\n .orElse(0d);\n }\n\n private double gradeAverage(Grade grade) {\n return getScores().stream()\n .filter(grade::include)\n .mapToInt(Integer::intValue.average().orElse(0));\n }\n\n}"}},{"id":"9e9_XkbsJH","type":"delimiter","data":{}},{"id":"IGuNq8Bv2x","type":"header","data":{"text":"데이터 관점의 상속","level":2}},{"id":"xVsTQJJVme","type":"paragraph","data":{"text":"다음과 같이 Lecture 의 인스턴스를 생성했다고 가정하자."}},{"id":"U_tfh1TEwx","type":"code","data":{"code":"Lecture lecture = new Lecture(\"객체지향 프로그래밍\", 70, Arrays.asList(81,95,75,50,45));"}},{"id":"7KNuJL4uGb","type":"paragraph","data":{"text":"Lecture 의 인스턴스를 생성하면 시스템은 인스턴스 변수 title, pass, scoress 를 저장할 수 있는 메모리 공간을 할당하고 생성자의 매개변수를 이용해 값을 설정한후 생성된 인스턴스의 주소를 Lecture 라는 이름의 변수에 대입한다."}},{"id":"AUwsbxuprS","type":"paragraph","data":{"text":"이번에는 GradeLecture 의 인스턴스를 생성했다고 가정하자. GradeLecture 클래스의 인스턴스는 직접 정의한 인스턴스 변수 뿐만 아니라 부모 클래스인 Lecture 가 정의한 인스턴스 변수도 함께 포함한다. "}},{"id":"-vqrkKidEj","type":"code","data":{"code":"Lecture lecture = new GradeLecture(\"객체지향 프로그래맹\", 70,\n Arrays.asList(new Grade(\"A\", 100, 95),\n new Grade(\"B\", 94, 70),\n new Grade(\"C\", 70, 70),\n new Grade(\"D\", 69, 43),\n new Grade(\"E\", 49, 30)),\n Arrays.asList(81, 95, 75, 50, 45));"}},{"id":"pxP054pdOo","type":"paragraph","data":{"text":"상속을 인스턴스 관점에서 바라볼 때는 개념적으로 자식 클래스의 인스턴스 안에 부모 클래스의 인스턴스가 포함되는 것으로 생각하는 것이 유용하다. 인스턴스를 참조하는 lecture 는 GradeLectrure 의 인스턴스를 가리키기 때문에 특별한 방법을 사용하지 않으면 GradeLecture 안에 포함된 Lecture 의 인스턴스에 직접 접근할 수 없다 ."}},{"id":"eydWuMxLoP","type":"paragraph","data":{"text":"요약하면 데이터 관점에서 상속은 자식 클래스의 인스턴스 안에 부모 클래스의 인스턴스를 포함하는 것으로 볼 수 있다. 따라서 자식 클래스의 인스턴스는 자동으로 부모 클래스에서 정의한 모든 인스턴스 변수를 내부로 포함하게 되는 것이다. "}},{"id":"RBX3Khn5pP","type":"delimiter","data":{}},{"id":"Wulr6yQzVQ","type":"header","data":{"text":"행동 관점의 상속","level":2}},{"id":"ggVbEVvGza","type":"paragraph","data":{"text":"데이터 관점의 상속이 자식 클래스의 인스턴스 안에 부모 클래스의 인스턴스를 포하하는 개념이라면 행동 관점의 상속은 부모 클래스가 정의한 일부 메서드를 자식 클래스의 메서드로 포함시키는 것을 의미한다. "}},{"id":"Sv7Wsojs3a","type":"paragraph","data":{"text":"부모 클래스에 정의된 어떤 메서드가 자식 클래스에 포함될지는 언어의 종류와 각 언어가 정의하는 접근 제어자에 의미에 따라 다르지만 공통적으로 부모 클래스의 모든 퍼블릭 메서드는 자식 클래스의 퍼블릭 인터페이스에 포함된다. 따라서 외부의 객체가 부모 클래스의 인스턴스에게 전송할 수 있는 모든 메시지는 자식 클래스의 인스턴스에게도 전송할 수 있다."}},{"id":"hTxmvmQHLz","type":"paragraph","data":{"text":"부모 클래스의 퍼블릭 인터페이스가 자식 클래스의 퍼블릭 인터페이스에 합쳐진다고 표현했지만 실제로 클래스의 코드를 합치거나 복사하는 작업이 수행되는 것은 아니다. 런타임에 시스템이 자식 클래스에 정의되지 않은 메서드가 있을 경우 이 메서드를 부모 클래스 안에서 탐색하기 때문이다. "}},{"id":"ReB6xTunAq","type":"paragraph","data":{"text":"이처럼 행동 관점에서 상속과 다형성의 기본적인 개념을 이해하기 위해서는 상속 관계로 연결된 클래스 사이의 메서드 탐색 과정을 이해하는 것이 가장 중요하다. "}},{"id":"NVw_8BAAJV","type":"delimiter","data":{}},{"id":"lpuG9ZvRYZ","type":"header","data":{"text":"업캐스팅과 동적 바인딩 ","level":2}},{"id":"Vecwq5jZ6z","type":"header","data":{"text":"같은 메시지, 다른 메서드 ","level":3}},{"id":"T3iyNsjXJE","type":"paragraph","data":{"text":"실행 시점에 메서드를 탐색하는 과정을 자세히 살펴보기 위해 지금까지 작성한 성적 계산 프로그램에 각 교수별로 강의에 대한 성적 통계를 계산하는 기능을 추가해 보자. 통계를 계산하는 책임은 Professor 클래스가 맡도록 하자. professor 클래스의 compileStatics 메서드는 통계 정보를 생성하기 위해 Lecture 의 evaluate 메서드와 average 메서드를 호출한다."}},{"id":"QlvKRSxVAf","type":"code","data":{"code":"public class Professor {\n private String name;\n private Lecture lecture;\n\n public Professor(String name, Lecture lecture) {\n this.name = name;\n this.lecture = lecture;\n }\n\n public String compileStatistics() {\n return String.format(\"[%s] %s - Avg: %.1f\", name,\n lecture.evaluate(), lecture.average());\n }\n}"}},{"id":"dVPyTF5GED","type":"paragraph","data":{"text":"다음은 다익스트라 교수가 강의하는 알고리즘 과목의 성적 통계를 계산하는 코드다 "}},{"id":"C3pm3k9mJx","type":"code","data":{"code":"Professor professor = new Professor(\"다익스트라\",\n new Lecutre(\"알고리즘\", 70,\n Arrays.asList(\"81,95,75,50,45\")));\n\n// 결과 => \"[다익스트라] Pass:3 Fail:2 - Avg:69.2 \"\"\nString statistics = professor.compileStatistics();"}},{"id":"Wui3zLNgsd","type":"paragraph","data":{"text":"위 코드에서 professor 클래스의 인스턴스를 생성할 때 생성자의 두 번째 인자로 Lecture 클래스의 인스턴스를 전달했다. 만약 Lecture 클래스 대신 자식 클래스인 GradeLecture 의 인스턴스를 전달하면 어떻게 될까? "}},{"id":"_sD1pbmuOx","type":"code","data":{"code":"Professor professor = new Professor(\"다익스트라\",\n new GradeLecture(\"알고리즘\", 70,\n Arrays.asList(new Grade(\"A\", 100, 95),\n new Grade(\"B\", 94, 80),\n new Grade(\"C\", 79, 70),\n new Grade(\"D\", 69, 50),\n new Grade(\"F\", 49, 0),\n Arrats.asList(81, 95, 75, 50, 45))));\n\n// 결과 => \"[다익스트라] Pass:3 Fail:2 A:1 B:1 C:1 D:1 F:1 - Avg:69.2 \"\nString statistics = professor.compileStatistics();"}},{"id":"By1dpTO4kI","type":"paragraph","data":{"text":"생성자의 인자 타입은 Lecture 로 선언돼 있지만 GradeLecture 의 인스턴스를 전달하더라도 아무 문제 없이 실행된다는 사실을 알 수 있다. 위 예제는 동일한 객체 참조인 lecture에 대해 동일한 evaluate 메서지를 전송하는 동일한 코드 안에서 서로 다른 클래스 안에 구현된 메서드를 실행할 수 있다는 사실을 알 수 있다. "}},{"id":"UlNPLNy8cg","type":"paragraph","data":{"text":"이처럼 코드 안에서 선언된 참조 타입과 무관하게 실제로 메시지를 수신하는 객체의 타입에 따라 실행되는 메서드가 달라질 수 있는 것은 업캐스팅과 동적 바인딩이라는 메커니즘이 작용하기 때문이다."}},{"id":"L0nXQKjpkb","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"부모 클래스(Lecture) 타입으로 선언된 변수에 자식 클래스 (GradeLecture) 의 인스턴스를 할당하는 것이 가능하다. 이를 '업캐스팅' 이라고 부른다,","meta":{},"items":[]},{"content":"선언된 변수의 타입이 아니라 메시지를 수신하는 객체의 타입에 따라 실행되는 메서드가 결정된다. 이것은 객체지향 시스템이 메서지를 처리할 적절한 메서드를 컴파일 시점이 아니라 실행 시점에 결정하기 때문에 가능하다. 이를 '동적 바인딩' 이라고 부른다 .","meta":{},"items":[]}]}},{"id":"NY89WvnJKx","type":"paragraph","data":{"text":"동일한 수신자에게 동일한 메시지를 전송하는 동일한 코드를 이용해 서로 다른 메서드를 실행할 수 있는 이유는 업캐스팅과 동적 메서드 탐색이라는 기반 메커니즘이 존재하기 때문이다."}},{"id":"IbGscrTZ2M","type":"delimiter","data":{}},{"id":"EFQUi0k_eh","type":"header","data":{"text":"업 캐스팅","level":2}},{"id":"M2t9IHR-Cc","type":"paragraph","data":{"text":"상속을 이용하면 부모 클래스의 퍼블릭 인터페이스가 자식 클래스의 퍼블릭 인터페이스에 합쳐지기 때문에 부모 클래스의 인스턴스에게 전송할 수 있는 메시지를 자식 클래스의 인스턴스에게 전송할 수 있다. 부모 클래스의 인스턴스 대신 자식 클래스의 인스턴스를 사용하더라도 메시지를 처리하는 데는 아무런 문제가 없으며, 컴파일러는 명시적인 타입 변환 없이도 자식 클래스가 부모 클래스를 대체할 수 있게 허용한다. "}},{"id":"v7ZiYK9l8b","type":"code","data":{"code":"Lecture lecture = new GradeLecture(...);"}},{"id":"sDN4fdRWqi","type":"paragraph","data":{"text":"부모 클래스 타입으로 선언된 파라미터에 자식 클래스의 인스턴스를 전달하는 것도 가능하다"}},{"id":"qipKzN_RwJ","type":"code","data":{"code":"public class Professor{\n public Professor(String name, Lecture lecture){\n ...\n }\n}\n\n\nProfessor professor = new Professor(\"다익스트라\", new GradeLecture(...));"}},{"id":"xqBdxad_am","type":"paragraph","data":{"text":"반대로 부모 클래스의 인스턴스를 자식 클래스 타입으로 변환하기 위해서는 명시적인 타입 캐스팅이 필요한데 이를 다운 캐스팅이라고 부른다. "}},{"id":"IBtr8BDvft","type":"code","data":{"code":"Lecture lecture = new GradeLecture(...);\nGradeLecture GradeLecture = (GradeLecture)lecture"}},{"id":"4ZMZ66m30K","type":"warning","data":{"title":"업캐스팅으로 인해 미래의 자식 클래스들도 협력에 참여할 수 있게 된다. ","message":""}},{"id":"PsRBdNne4d","type":"delimiter","data":{}},{"id":"aBHIvSiyHa","type":"header","data":{"text":"동적 바인딩 ","level":2}},{"id":"XlVjOiqYr_","type":"paragraph","data":{"text":"전통적인 언어에서 함수를 실행하는 방법은 함수를 호출하는 것이다. 객체지향 언어에서 메서드를 실행하는 방법은 메시지를 전송하는 것이다. 함수 호출과 메시지 전송 사이의 차이는 생각보다 큰데 프로그램 안에 작성된 함수 호출 구문과 실제로 실행되는 코드를 연결하는 언어적인 메커니즘이 완전히 다르기 때문이다. "}},{"id":"OF74-iUZak","type":"paragraph","data":{"text":"함수를 호출하는 전통적인 언어들은 호출된함수를 컴파일타입에 결정한다. 코드 상에서 bar 함수를 호출하는 구문이 나타난다면 실제로 실행되는 코드는 바로 그 bar 라는 함수이다. bar 이외에도 어떤 코드도 아니다. "}},{"id":"s0Cl0IuLoY","type":"paragraph","data":{"text":"다시 말해서 코드를 작성하는 시점에 호출될 코드가 결정된다. 이처럼 컴파일타임에 호출할 함수를 결정하는 방식을 정적 바인딩, 초기 바인딩 또는 컴파일타임 바인딩이라고 부른다. "}},{"id":"gB0HHkvIwG","type":"paragraph","data":{"text":"객체지향 언어에서는 메시지를 수신했을 때 실행될 메서드가 런타임에 결정된다. foo.bar() 라는 코드를 읽는 것만으로는 실행되는 bar 가 어떤 클래스의 어떤 메서드인지를 판단하기 어렵다. foo 가 가리키는 객체가 실제로 어떤 클래스의 인스턴스인지를 알아야 하고 bar 메서드가 해당 클래스의 상속 계층의 어디에 위치하는지를 알아야 한다. 이처럼 실행될 메서드를 런타임에 결정하는 방식을 동적 바인딩 또는 지연 바인딩이라고 부른다. "}},{"id":"BHxxjIL-bN","type":"paragraph","data":{"text":"Professor 의 compileStatistics 메서드가 호출하는 lecture 의 evaluate 메서드는 어떤 클래스에 정의돼있는가? 클래스 정의를 살펴보는 것만으로는 정확한 메서드를 알 수 없다. 실행 시점에 어떤 클래스의 인스턴스를 생성해서 전달하는지를 알아야만 실제로 실행되는 메서드를 알 수 있다. "}},{"id":"lkWrEo5oT2","type":"paragraph","data":{"text":"객체지향 언어가 제공하는 업캐스팅과 동적 바인딩을 이용하면 부모 클래스 참조에 대한 메시지 전송을 자식 클래스에 대한 메서드 호출로 변환할 수 있다. 그렇다면 객체지향 언어는 어떤 규칙에 따라 메시지 전송과 메서드 호출을 바인딩하는 것일까? "}},{"id":"ntCXS6qD37","type":"delimiter","data":{}},{"id":"TbbsJd3xcU","type":"header","data":{"text":"동적 메서드 탐색과 다형성 ","level":2}},{"id":"lcgNRPB6gY","type":"paragraph","data":{"text":"객체지향 시스템은 다음 규칙에 따라 실행할 메서드를 선택한다"}},{"id":"ga8oW1y2od","type":"list","data":{"style":"unordered","meta":{},"items":[{"content":"메시지를 수신한 객체는 먼저 자신을 생성한 클래스에 적합한 메서드가 존재하는지 검사한다. 존재하면 메서드를 실행하고 탐색을 종료한다","meta":{},"items":[]},{"content":"메서드를 찾지 못했다면 부모 클래스에서 메서드 탐색을 계속한다. 이 과정은 적합한 메서드를 찾을 때까지 상속 계층을 따라 올라가며 계속된다.","meta":{},"items":[]},{"content":"상속 계층의 가장 최상위 클래스에 이르렀지만 메서드를 발견하지 못한 경우 예외를 발생시키며 탐색을 중단한다. ","meta":{},"items":[]}]}},{"id":"kC158kT85m","type":"paragraph","data":{"text":"메시지 탐색과 관련해서 이해해야 하는 중요한 변수가 하나 있다. self 참조 (self reference) 가 바로 그것이다. "}},{"id":"AHh1C4u7uH","type":"paragraph","data":{"text":"객체가 메시지를 수신하면 self 참조라는 임시 변수를 자동으로 생성한 후 메시지를 수신한 객체를 가리키도록 설정한다. 동적 메서드 탐색은 self 가 가리키는 객체의 클래스에서 시작해서 상속 계층의 역방향으로 이뤄지며 메서드 탐색이 종료되는 순간 self 참조는 자동으로 소멸된다. 시스템은 앞에서 설명한 class 포인터와 paraent 포인터와 함께 self 참조를 조합해서 메서드를 탐색한다. "}},{"id":"3J2DyI74l8","type":"paragraph","data":{"text":"지금까지의 설명을 종합해보면 동적 메서드 탐색은 두 가지 원리로 구성된다는 것을 알 수 있다. 첫번 째 원리는 자동적인 메시지 위임이다. 자식 클래스는 자신이 이해할 수 없는 메시지를 전송받은 경우 상속 계층을 따라 부모 클래스에게 처리를 위임한다. 클래스 사이의 위임은 프로그래머의 개입 없이 상속 계층을 따라 자동으로 이뤄진다. "}},{"id":"EuuK4wYA3q","type":"paragraph","data":{"text":"두 번째 원리는 메서드를 탐색하기 위해 동적인 문맥을 사용한다는 것이다. 이 메시지를 수신했을 때 실제로 어떤 메서드를 실행할 지를 결정하는 것은 컴파일 시점이 아닌 실행 시점에 이뤄지며, 메서드를 탐색하는 경로는 self 참조를 이용해서 결정한다. "}},{"id":"Hjc4FygrgX","type":"paragraph","data":{"text":"메시지가 처리되는 문맥을 이해하기 위해서는 정적인 코드를 분석하는 것만으로는 충분하지 않다. 런타임에 실제로 메시지를 수신한 객체가 어떤 타입인지를 추적해야 한다. 이 객체의 타입에 따라 메서드를 탐색하는 문맥이 동적으로 결정되며, 여기서 가장 중요한 역할을 하는 것이 바로 self 참조이다. "}}],"version":"2.31.0-rc.7"}

Tag List