일지
-
Effective C++...43일지 2022. 8. 19. 07:27
"호환되는 모든 타입"을 받아들이는 데는 멤버 함수 템플릿이 직방! 스마트 포인터와 일반 포인터 기본적으로 스마트 포인터는 "++" 연산을 통해 다음 노드로 이동하는 등 포인터에서 지원하지 않는 다양한 기능을 지원한다. 다만 일반 포인터와 달리 스마트 포인터는 암시적 변환을 지원하지 않는다. class Top{ ... }; class Middle : public Top{ ... }; class Bottom : public Middle{ ... }; // 스마트 포인터는 다음과 같은 암시적 변환이 지원되지 않는다. Top* pt1 = new Middle; Top* pt2 = new Bottom; const Top* pct2 = pt1; 스마트 포인터의 암시적 변환 지원 이를 위해서 특정 타입의 생성자를 만..
-
Effective C++...42일지 2022. 8. 18. 07:43
매개변수에 독립적인 코드는 템플릿으로부터 분리시키자 템플릿의 코드 비대화 문제 템플릿을 아무 생각 없이 사용하다 보면 거의 똑같은 코드와 데이터가 여러 벌 중복되어 생성될 수 있다. 이런 문제를 해결하기 위해서는 공통성 및 가변성 분석, 풀어쓰면 만들고 있는 클래스에 다른 클래스와 중복되는 부분이 있으면 해당 부분을 새로운 클래스로 만들고 합성을 통해 공통부분을 유지하는 전략을 사용할 수 있다. 가령 다음과 같이 정방 행렬을 나타내는 템플릿이 존재하는데 해당 클래스에 역행렬을 만들어주는 invert 함수가 존재하는 경우 중복이 발생할 것이다. template class SquareMatrix { public: ... void invert(); }; SquareMatrix sm1; // 크기만 다른 템플릿..
-
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; }; ※ 합성이란 용어 대신 레이어링, 포함, 통합 또는 내장이라고도 ..