분류 전체보기
-
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++] 상속, 그리고 객체 지향 설계프로그래밍 기초/C++ 2022. 8. 10. 10:56
상속, 그리고 객체 지향 설계 public 상속 모형은 반드시 "is-a(...는 ...의 일종이다)"를 따르도록 만들자 public 상속의 is-a 관계 모든 사람은 학생이 아니지만 학생은 사람이다. 이 것의 관계가 public 상속이라고 할 수 있다. 이를 코드로 만들면 다음과 같다. class Person { ... void eat() { ... } }; class Student : public Person { ... void study() { ... } }; 사람의 일종인 학생은 사람이 할 수 있는 모든 것을 하지만 모든 사람이 공부하지는 않는다. 그런데 이러한 설계가 잘못되면 문제가 생길 수 있다. 모든 새는 난다고 가정해서 Bird 클래스에 fly 함수를 만들었다면 날지 못하는 새인 펭귄은 B..
-
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가 실행될 수도 있다. 이러한 문제가 발생하는 원인은 비가상 함수가 정적 바인딩으로 묶이기 때문에 클래스가 생성될..