Developing becomes a hobby

자원에 대한 직접적인 접근 모든 자원 관련 코드를 RAII 객체로 관리한다면, 사실 자원에 대한 직접적인 참조를 수행할 경우는 없다고 할 수 있다. 그렇지만 이미 현장에서 쓰이는 많은 API 들이 직접적으로 자원을 참조하는 형식으로 만들어져 있다. 즉, RAII 객체를 사용한다 하더라도 실제 현장에서는 자원을 직접 참조해야하는 경우가 허다하는 것이다. 아래의 예시 코드를 보자. // Factory Function std::tr1::shared_ptr pInv(createInvestment());// 항목 13에서 사용된 팩토리 함수 ... int daysHeld(const Investment *pi);// 실제로 제공되는 현장의 어떤 API ... int days = daysHeld(pInv);// 에러..

C++/Effective C++ 2021. 12. 5. 14:34

자원 관리 객체 핵심 복습 알다시피 자원 관리 클래스, 이른바 RAII 객체의 핵심은 자원 생성 시점에 초기화 ( Resource Acquisition is Initalizatiopn ) 소멸자에서 해당 자원을 해제 위의 두가지 개념이다. class Lock{ private: Mutex *mutexPtr; public: explicit Lock( Mutex *pm ) : mutexPtr(pm) // explicit : 자동 형변환 방지 { lock(mutexPtr); } ~Lock() { unlock(mutexPtr); } } ... Mutex m;// 쓰고 싶은 뮤텍스 정의 ... {// 임계영역 블록 Lock m1(&m);// 뮤텍스 잠금 ... } 위의 코드를 보면 자원을 생성하는 시점에 lock ..

C++/Effective C++ 2021. 12. 5. 14:13

자원이란? 프로그래밍 분야에서 말하는 자원은 여러가지가 존재한다. 대표적으로 동적 할당되는 메모리 외에도 파일 서술자 ( File Descriptor ), 뮤텍스 ( Mutex ), GUI, 폰트, 브러시, 데이터 베이스 연결 및 네트워크 소켓, 여러 Handler 역시 모두 자원이라고 할 수 있다. 앞서 말한 모든 자원들에는 절대적이고 공통된 규칙이 하나 존재하는데, 모든 자원은 사용된 이 후에 반드시 해제 해주어야 한다는 점이다. 이 간단한 규칙을 지키는 것이 굉장히 간단해 보이지만 실상은 그렇지 않다. 아래의 예시를 보자. class Investment {...} ; Investment* createInvestment(); // Investment 객체에 대한 팩토리 함수 위와 같이 객체 포인터를 ..

C++/Effective C++ 2021. 12. 5. 14:09

객체를 복사하는 함수 이전에 언급했다시피 복사 생성자, 복사 대입 연산자는 기본적으로 컴파일러가 생성해준다. 컴파일러가 만들어주는 코드는 지극히 심플한 목적을 수행하는데, 해당 객체의 모든 데이터를 직접 복사 ( Deep Copy ) 하는 것. 그리고 당연한 말이지만, 해당 함수들을 프로그래머가 직접 정의하는 순간부터 컴파일러는 이러한 자동 생성 행위를 하지 않는다. 문제는 복사 되지 않는 데이터에 대한 경고조차 해주지 않는다는 점이다. 아래의 예시를 보자. void logCall(const std::string& funcName); // 로그 기록내용 만듦 class Customer{ public: Customer(const Customer& rhs); Customer& operator=(const C..

C++/Effective C++ 2021. 12. 5. 14:04

operator= 에서 자기대입에 대한 처리가 빠지지 않도록 하자 자기 대입 ( self assignment ) 이란? class Widget {...} Widget w; ... w = w; 위와 같이 자기 자신에게 대입 연산자를 적용하는 경우를 말한다. 따로 처리하지 않는다면, 컴파일러는 아무런 문제도 제기하지 않기 때문에 누구라도 작성이 가능하다. ( 설계자, 사용자 모두 ) 단순히 위의 코드만 본다면 누가 저런식으로 사용할까 싶겠지만, 조금만 모습을 바꾸면 누구라도 실수할 수 있다. a[i] = a[j]; ... *px = *py; 두 문장 모두 자기 대입 가능성을 가지고 있다. 물론 그러한 경우가 없도록 완벽하게 사용한다면 문제가 없겠지만, 설령 실수를 한다고 해도 컴파일러가 제지하지 않는다는 것..

C++/Effective C++ 2021. 12. 5. 13:59

대입 연산자는 *this의 참조자를 반환하게 하자 결론부터 말하자면 일종의 관례(Convention)에 해당한다. 아래의 코드가 자연스럽다고 느낀다면 이 관례를 지키는 것이 옳다. int x, y, z; x = y = z = 15; // x,y,z 모두 15 대입 x = (y = (z = 15)); // 위의 내용은 사실 이것. 위의 코드처럼 z 에 15 가 먼저 대입되고, 그 결과 ( 갱신된 z) 가 다시 y에 대입 되고, 마찬가지로 다시 그 결과(갱신된 y)가 x에 대입 된다. 이처럼 대입 연산자는 기본적으로 우측 연관(right-associative) 특성을 가지며 좌변 객체에 대한 참조자를 반환한다. class Widget { public: //... Widget& operator=(const W..

C++/Effective C++ 2021. 12. 5. 13:55

객체 생성 및 소멸 과정 중에는 절대로 가상 함수를 호출하면 안 된다. 가상 함수, 혹은 완전 가상 함수를 사용한다는 것 자체가 다형성 클래스를 사용한다는 것을 의미한다. 이 말은 클래스 간에 상속 관계가 존재한다는 의미인데, 이런 상속 관계의 생성자 안에서의 가상 함수 호출은 무엇을 의미할까? 먼저 아래의 예제를 보자. #define _CRT_SECURE_NO_WARNINGS #include #include using namespace std; class Transaction { public: Transaction(); virtual void logTransaction() const = 0; // 순수 가상 함수 }; Transaction::Transaction() { cout

C++/Effective C++ 2021. 12. 5. 12:12

예외가 소멸자를 떠나지 못하도록 잡아두자. 소멸자에서 예외가 발생하는 경우에 대해서 생각해보자. class Widget { public: // ... ~Widget() { //... 예외 발생! } }; void doSomething() { vector v; // ... } // 함수 내부이므로 v는 여기서 자동으로 소멸한다. 만약에 v의 첫 번째 요소가 소멸 될 때, 예외가 발생되었다면? 소멸자 내부에서 따로 예외 처리를 하지 않으므로, 예외는 소멸자 외부로 나가게 된다. 그렇더라도 나머지 9개 요소 역시 소멸해야하므로 나머지 소멸자들도 호출된다. 이렇게 두 개 이상의 예외가 동시에 발생하면, 프로그램의 미정의 동작을 하게 된다. 이러한 현상은 stl::vector 뿐만 아니라 모든 자료 구조에서 마찬..

C++/Effective C++ 2021. 12. 5. 12:09