2015 NHNNEXT 게임 클라 Effective c++ 요약 정리

1. Effective C++
Chapter6. 상속, 그리고 객체 지향 설계

2. Item32. public상속 모형은 반드시 is – a(뭐는 뭐의 일종이다)
• is - a의 정의:
 어떤 클래스 D(derived)를 클래스 B(Base)로부터 상속을 통해
파생시킨 경우
 D타입의 모든 객체는 동시에 B 타입의 객체이지만, 그 반대
는 성립하지 않는다.
 고로 B타입의 객체가 쓰일 수 있는 곳에는 D타입도 마찬가
지로 쓰일 수 있다.
 모든 D는 B의 일종이다(D is a B) 그 반대는 x

3. • C++과 자연어에서의 is – a관계 차이
• class Bird {
public:
virtual void fly(); // 새는 날 수 있다.
};
• class Penguin: public Bird { // 펭귄은 새다.
. . .
};
 새는 날 수 있다고 했지만 펭귄은 날지 못하는데…
Item32. public상속 모형은 반드시 is – a(뭐는 뭐의 일종이다)

4. • 해결책 1: 새 종류의 구체화
• class Bird{
. . . // fly 함수 선언x
};
• class FlyingBird : public Bird{
virtual void fly(); //날 수 있는 새의 fly함수 선언
. . .
};
• class Penguin : public Bird{
. . . //Penguin은 일반 Bird클래스 상속으로 선언x
};
Item32. public상속 모형은 반드시 is – a(뭐는 뭐의 일종이다)

5. • 해결책2: 펭귄의 날기에 대한 에러처리
• Class Penguin : public Bird{
public:
virtual void fly() { error{“Attempt to make a penguin fly!”); }
. . .
};
혹은 Penguin의 fly구현 자체를 안 하는 방법도 있지만
유효하지 않은 코드는 컴파일 단계에서 막아주는게 좋음
(Item18)
이렇듯 자연어 is-a관계와 헷갈리면 안된다.
Item32. public상속 모형은 반드시 is – a(뭐는 뭐의 일종이다)

6. Item33. 상속된 이름을 숨기지 말자
• 유효범위(scope)
• int x; //전역 변수
• void someFunc()
{
double x; // 지역 변수
std::cin >> x; // 입력을 받아, 지역 변수 x에 새 값을 읽어 넣는다.
}
C++의 이름 가리기 규칙에 의해 자신이 처리하고 있는 유효
범위에 같은 이름인 x가 있기 때문에 더 이상 탐색하지 않는다.

7. Item33. 상속된 이름을 숨기지 말자
유효범위에서 컴파일러가 이름을 찾는 순서:
mf2를 찾는 경우 지역을 찾아보고 없으므로  Derived클래스 탐색 
Derived를 감싸고 있는 Base 탐색  여기서 mf2를 발견  만약 여기에도 없
었으면 마지막으로 전역을 탐색

8. Item33. 상속된 이름을 숨기지 말자
Derived의 mf1()과 mf3()가 Base로 부터 상속받은 것을 가
상이건 비가상이건, 모두다 가려 버린다. 또, 이름이 같은
함수이면 매개변수 타입이 달라도 가린다.

9. Item33. 상속된 이름을 숨기지 말자
이럴 때 using을 사용하여 본래 Base의 함수를 상속받을 수 있다.

10. Item34. 인터페이스 상속과 구현 상속의 차이를 구별하자
• 인터페이스 상속: 함수의 선언 부를 상속
• 구현 상속: 함수의 구현 부를 상속
• 여러 가지 상황에 따라 인터페이스 상속만 필요할 경우가 있고
구현 상속이 필요할 경우도 있다.

11. Item34. 인터페이스 상속과 구현 상속의 차이를 구별하자
Draw()함수가 바로 순수 가상 함수이고, error()는 가상 함수, objectID()는 비가상 함수 이
다.

12. • 순수 가상 함수
• 함수의 인터페이스 만을 물려주려는 것
• Shape::draw처럼 모든 객체는 그리기가 가능해야 하지만 모든
객체의 그리는 알고리즘이 같을 리가 없기 때문
(ex)직사각형 != 타원
Item34. 인터페이스 상속과 구현 상속의 차이를 구별하자

13. • 가상 함수
• 파생 클래스로 하여금 함수의 인터페이스뿐만 아니라 그 함수
의 기본 구현도 물려받게 하는 것
• Shape::error 처럼 기본 인터페이스를 제공 하면서 파생 객체에
서 error가 났을 때 Shape의 기본 error 구현을 가져다 사용 할
수 있게 한다. 만약 기본 클래스의 구현을 사용하고 싶지 않다면
파생 클래스 개별적으로 구현도 가능하다.
Item34. 인터페이스 상속과 구현 상속의 차이를 구별하자

14. • 비가상 함수
• Shape::objectID(), 클래스 파생에 상관없이 변하지 않는 동작에
쓰임
• 인터페이스와 그 함수의 필수적인 구현을 상속
• 파생 클래스에서 재정의 불가
Item34. 인터페이스 상속과 구현 상속의 차이를 구별하자

15. • 비가상 함수 인터페이스 (non-virtual-interface: NVI)
• Class GameCharacter{
public:
int healthValue() const
{
. . . // 사전 동작
int retVal = doHealthValue(); // privat의 가상함수를 호출
. . . // 사후 동작
return retVal;
}
private:
virtual int doHealthValue() const
{
. . .
}
Item35. 가상 함수 대신을 생각해 두자
사용자가 직접 가상함수를 호출 하지 않게 함
으로 써 사전 동작과 사후 동작 사이에서 가
상 함수를 호출 할 수 있게 되었다.

16. Item35. 가상 함수 대신을 생각해 두자
• std::function으로 구현한 전략 패턴 • std::function을 이용하여 함수 포인터
처럼 사용할 수 있다.
• HealthCalcFunc을 설정하는 함수를
따로두어 게임 진행 중에도 체력 계산
치를 바꾸어 줄 수 있다.

17. Item35. 가상 함수 대신을 생각해 두자
• 고전적인 전략 패턴
고전적인 전략 패턴으로 HealthCalcFunc 클래스 계통에 파생 클래스를 추가함으로써
기존의 체력치 계산 알고리즘을 조정/개조 할 가능성도 열어 두었다는 점은 플러스 이다.

18. Item36. 상속 받은 비가상 함수를 파생 클래스에서 재정의 X
• B로부터 파생된 클래스인 D에서 mf()함수를 재정의 하게 되면 기본 클래스의 mf()함수를
가리게 된다.
• 위 처럼 동작하는 이유는 비 가상 함수를 정적 바인딩이기 때문이다.
 pB는 B에대한 포인터로 선언 되었기 때문에 비 가상함수mf()가 반드시 B에 존재 할거
라 생각 하는 것이다.
• 또 파생클래스인 D에서 mf()를 호출 할 때 B의 mf()로 갈지 D의 mf()로 갈지 난해한 상황

19. Item37. 상속 받은 기본 매개변수 값은 절대 재정의 X

20. Item37. 상속 받은 기본 매개변수 값은 절대 재정의 X
pc의 동적타입은 Circle*
pr의 동적타입은 Rectangle*
가상 함수는 동적 바인딩 된다.
pr의 동적 타입은 Rectangle* 이므로 Rectangle의 draw함수를 불러 오지만 기본 매개변수
는 정적으로 바인딩 되기 때문에 정적 타입인 Shape*의 매개변수를 가져 오는 참사가 발
생하게 된다.

21. • 그래도 매개변수를 건들고 싶다면…
비가상 인터페이스 관용구(NVI)를 사용하자(Item 35)
 가상 함수를 private으로 두고 이를 호출하는 비가상 함수를
기본 클래스에 두는 방식
이를 이용하여 비가상 함수가 매개변수를 지정할 수 있게
할 수 있다.
Item37. 상속 받은 기본 매개변수 값은 절대 재정의 X

22. • 객체 합성: 어떤 타입의 객체가 다른 타입의 객체들을 포함하고
있는 관계
Item38. has a, is a 모형화할 때 객체합성을 이용하자

23. • 응용 영역: 객체 중 일상생활에서 볼 수 있는 것을 본뜬 것
(ex) 사람, 이동수단
• 구현 영역: 버퍼, 뮤텍스, 탐색트리등 시스템 구현만을 위한 인
공물이 속한 객체
• 객체 합성이 응용 영역에서 일어나면 has-a 관계
구현 영역에서 일어나면 is-implemented-in-terms-of 관계이다.
Item38. has a, is a 모형화할 때 객체합성을 이용하자

24. • has- a 관계
전에 보여주었던 Person과 Address의 관계
• is-implemented-in-terms-of 관계가 필요한 예
set 템플릿을 list에서 파생된 형태로 만들고 싶을 때
is-a 관계로 했더니 list의 중복 원소를 가질 수 있는 기본 성질
을 set에서는 적용할 수가 없다.
Item38. has a, is a 모형화할 때 객체합성을 이용하자

25. Item38. has a, is a 모형화할 때 객체합성을 이용하자
이러한 상황일 때 is-implemented-in-terms-of 관계를 이용하면
된다.