일지
-
Effective C++...41일지 2022. 8. 17. 08:32
템플릿으로 만들어진 기본 클래스 안의 이름에 접근하는 방법을 알아 두자 기본 대응은 없는 것으로 가정하는 것이다 컴파일러는 템플릿 기본 클래스의 이름은 기본적으로 존재하지 않는 것으로 가정하는데 가령 다음과 같은 코드는 컴파일 에러가 발생하게 된다. class LoggingMsgSender : public MsgSender { public: void sendClearMsg(const MsgInfo& info) { ... sendClear(info); // 컴파일 에러 발생! sendClear가 존재하는지 확신할 수 없음. ... } }; 컴파일러가 기본적으로 기본 클래스의 이름을 없는 것으로 가정하는 이유는 템플릿 기본 클래스는 언제든 특수화되어 특정 이름이 제거될 수 있기 때문이다. 가령 위의 예제는 ..
-
Effective C++...40일지 2022. 8. 16. 20:47
typename의 두 가지 의미를 제대로 파악하자 typename의 첫 번째 의미 템플릿 선언문에서 타입 매개변수를 선언할 때 class와 typename이 동등하게 사용된다. template class Widget; template class Widget; 템플릿 내부에서 사용되는 타입 종류 템플릿 내부에서 타입 매개변수에 의존되는 타입과 타입 매개변수에 독립된 타입이 존재한다. 중첩 의존 타입 이름(nested dependent type name) T::const_iterator같이 타입 매개변수 T에 의존하는 타입 비의존 이름(non-dependent type name) int와 같이 T와는 독립적으로 존재하는 타입 typename의 두 번째 의미 기본적으로 컴파일러는 중첩 의존 타입 이름이 등장하..
-
Effective C++...39일지 2022. 8. 11. 08:02
템플릿 프로그래밍의 천릿길도 암시적 인터페이스와 컴파일 타임 다형성부터 명시적 인터페이스와 암시적 인터페이스 기본적으로 소스 코드에서 명시되어 있는 인터페이스를 명시적 인터페이스라고 하고 표현식에서 지원해야 하는 인터페이스를 암시적 인터페이스라고 한다. 다음 코드에서 명시적 인터페이스와 암시적 인터페이스의 예를 확인할 수 있다. template void doProcessing(T& w) { // T는 operator.!=로 someNastyWidget과 비교할 수 있는 연산을 암시적으로 지원하고 // "w.size() > 10 && w != someNastyWidget"의 결과가 bool 이라는 것을 암시적으로 지원한다. if (w.size() > 10 && w != someNastyWidget) { /..
-
Effective C++...38일지 2022. 8. 9. 09:31
다중 상속은 심사숙고해서 사용하자 다중 상속의 위험성과 해결 방법 기본적으로 다중 상속은 둘 이상의 동일한 이름의 함수를 물려받을 가능성이 존재하고 C++에서는 이 함수를 구분해주지 않는다. 이 것은 C++가 최적 일치 함수를 찾은 뒤 접근 가능성을 체크하기 때문인데 이 때문에 다음과 같이 명확하게 호출 가능한 게 하나밖에 없더라도 함수 호출 모호성 에러가 발생하게 된다. class BorrowableItem { public: void checkOut(); } class ElectronicGadget { private: bool checkOut() const; }; class MP3Player : public BorrowableItem, public ElectronicGadget { ... }; MP3P..
-
Effective C++...37일지 2022. 8. 8. 07:47
private 상속은 심사숙고해서 구사하자 private 상속의 의미 private 상속은 is-implemented-in-terms-of를 의미하며 컴파일러는 상속 관계가 private이면 파생 클래스 객체를 기본 클래스 객체로 변환하지 않는다. ※ 기본적으로 private 상속은 설계 중에는 아무 의미가 없으며 구현 중에만 의미를 가진다. 객체 합성의 장점 is-implemented-in-terms-of는 객체 합성의 의미 이기도 한데, 이 두 구현 중 가능하면 객체 합성을 사용하는 게 좋다. 객체 합성의 장점은 다음과 같다. 파생은 가능하게 하되, 파생 클래스에서 가상 함수를 재정의 할 수 없도록 할 수 있다. 컴파일 의존성을 최소화할 수 있다. ※ 빈 클래스를 상속받는 특수한 상황이 아니면 객체 ..
-
Effective C++...36일지 2022. 8. 7. 13:14
"has-a(...는 ...를 가짐)" 혹은 "is-implemented-in-terms-of(...는 ...를 써서 구현됨)"를 모형화할 때는 객체 합성을 사용하자 객체 합성이란 어떤 타입이 다른 타입의 객체를 포함할 때의 관계를 말하며 다음과 같은 예를 들 수 있다. class Address { ... }; class PhoneNumber { ... }; class Person { public: ... private: // 아래 객체들은 Person 클래스와 has-a 관계를 가진다. std::string name; Address address; PhoneNumber voiceNumber; PhoneNumber faxNumber; }; ※ 합성이란 용어 대신 레이어링, 포함, 통합 또는 내장이라고도 ..
-
Effective C++...35일지 2022. 8. 6. 10:10
어떤 함수에 대해서도 상속받은 기본 매개변수 값은 절대로 재정의하지 말자 가상 함수와 기본 매개변수의 바인딩 차이 가상 함수의 경우 동적으로 바인딩되는 반면 기본 매개변수는 정적으로 바인딩된다. 즉, 파생 클래스의 가상 함수에서 기본 매개변수를 바꿨더라도 기본 클래스의 기본 매개변수 값을 사용하게 될 수도 있다. 이런 식의 도작이 발생하는 이유는 컴파일러의 메커니즘이 속도 유지와 구현 간편성에 무게를 두고 있기 때문이다. ※ 비가상 인터페이스 관용구를 사용해 기본 매개변수를 고정할 수 있다. 더보기 참고문헌 스콧 마이어스.(2015.03.26).이펙티브 C++
-
Effective C++...34일지 2022. 8. 5. 07:27
상속받은 비가상 함수를 파생 클래스에서 재정의하는 것은 절대 금물! 문제가 되는 이유 다음과 같이 상속된 클래스의 비가상 함수를 재정의하는 경우 derived 클래스의 해당 함수는 부모의 함수를 호출할 수도, derived 클래스의 함수를 호출할 수도 있는 상태가 된다. class B { public: void mf(); }; class D : public B { public: // 상속된 비가상 함수 mf를 재정의 void mf(); }; B x; B* pB = &x; pB->mf(); // B의 mf 실행 D* pD = &x; pD->mf(); // B의 mf가 실행될 수도 있고 D의 mf가 실행될 수도 있다. 이러한 문제가 발생하는 원인은 비가상 함수가 정적 바인딩으로 묶이기 때문에 클래스가 생성될..