항목 14 : 예외에 안전한 코드를 작성하기 - 파트 7 (난이도 5)

항목 13 에선 StackImpl 이 protected 를 나타내어 private 상속을 통하여 Stack 을 구현했다면, 이번에는 /?????/ 이 부분이 public 인터페이스일 경우, HAS-A 관계를 이용하여 Stack 을 구현해 보자.

코드

template <class T> class StackImpl { /* ? ? ? ? ? */ StackImpl( size_t size = 0 ); ~StackImpl(); void swap( StackImpl& other ) throw(); T* v_; size_t vsize_; size_t vused_; private: // private and undefined: 복사가 허용되지 않음 StackImpl( const StackImpl& ); StackImpl& operator=( const StackImpl& ); }; template <class T> class Stack { public: Stack( size_t size = 0 ); ~Stack(); Stack(const Stack&); Stack& operator=( const Stack& ); size_t Count() const; void Push( const T& ); T& Top(); // 비어 있다면, 예외를 일으킨다. void pop(); // 비어 있다면, 예외를 일으킨다. private: StackImpl<T> impl_; // private 구현 };

자~ 만들어 봅시다~

template <class T> class StackImpl { /* ? ? ? ? ? */ StackImpl( size_t size = 0 ); ~StackImpl(); void swap( StackImpl& other ) throw(); T* v_; size_t vsize_; size_t vused_; private: // private and undefined: 복사가 허용되지 않음 StackImpl( const StackImpl& ); StackImpl& operator=( const StackImpl& ); }; template <class T> class Stack { public: ~Stack() { } Stack( size_t size = 0 ) : impl_( size ) { } Stack( const Stack& other ) : impl_( other.impl_.vused_ ) { while( impl_.vused_ < other.impl_.vused_ ) { construct( impl_.v_ + impl_.vused_ , other.impl_.v_[impl_.vused_] ); ++impl_.vused_; } } Stack& operator=( const Stack& other ) { Stack Temp( other ); impl_.swap( Temp.impl_ ); return *this; } size_t Count() const { return impl_.vused_; } void Push( const T& t ) { if( impl_.vused_ == impl_.vsize_ ) { Stack temp( impl_.vsize_ * 2 + 1 ); // 예외에 안전하게 임시객체 만들고 while( temp.Count() < impl_.vused_ ) { temp.Push( impl_.v_[temp.Count()] ); // 예외에 안전하게 임시객체에 넣는다. } temp.Push( t ); // 다 작업하고 impl_.swap( temp.impl_ ); // 교환 } else { construct( impl_.v_ + impl_.vused_, t ); ++impl_.vused_; } } T& Top() // 비어 있다면, 예외를 일으킨다. { if( 0 == impl_.vused_ ) { throw "empty stack"; } return impl_.v_[impl_.vused_ - 1 ]; } void pop() // 비어 있다면, 예외를 일으킨다. { if( 0 == impl_.vused_ ) { throw "pop from empty stack"; } else { --impl_.vused_; destroy( impl_.v_ + impl_.vused_ ); } } private: StackImpl<T> impl_; // private 구현 };

총평

항목 13에서 의문시 되었던 왜 StackImpl 에서 복사 로직을 만들지 않았나에 대해서 생각해 보았다. 아마도 Stack 자체에서 연산을 해야 하는 부분이기 때문이라고 보여진다. 왜냐하면 StackImpl 은 단지 데이터 덩어리일 뿐이지, impl 자체가 Stack 이 된다면, 오히려 관계가 무너지기 때문이다.

나름대로 재미있는 항목 이다.