08

typename의 2가지 의미

1. 탬플릿의 타입 매개변수 선언시(class와 동일)
2. 탬플릿 함수/클래스 내에서 탬플릿에 의존하는 타입의 이름을 타입이라고 컴파일러에게 말해주기 위해 사용.

   template<typename C>
   ...
   {
    typename C::iterator iter = ...;
    /*		    ------(1)
             ---------(2)
    ------------------(3)
    -----------------------(4)
    (1) : 컴파일러야, iterator라는 키워드는
    (2) : 탬플릿인자 C에 의존적인
    (3) : 타입명이란다.
    (4) : 내가 그 타입으로 iter라는 변수를 선언할껀데...
    */
   }
   

ex02

stack은 컨테이너의 타입 중 컨테이너 어댑터에 속하며, 기존 컨테이너()에서 제공하능을 제한/변형한 컨테이너이다.

stack이외에도 queue, primery queue가 있다.

스택(stack)은 제한적으로 접근할 수 있는 나열 구조이다. 그 접근 방법은 언제나 목록의 끝에서만 일어난다. 끝먼저내기 목록(Pushdown list)이라고도 한다. 스택은 한 쪽 끝에서만 자료를 넣거나 뺄 수 있는 선형 구조(LIFO - Last In First Out)으로 되어 있다. 자료를 넣는 것을 ‘밀어넣는다’ 하여 푸쉬(push)라고 하고 반대로 넣어둔 자료를 꺼내는 것을 팝(pop)이라고 하는데, 이때 꺼내지는 자료는 가장 최근에 푸쉬한 자료부터 나오게 된다. 이처럼 나중에 넣은 값이 먼저 나오는 것을 LIFO 구조라고 한다. -위키백과-

위와 같은 스택의 특성때문에 특정 저장위치에 접근할 수 있는 반복자를 제공하지 않고, pop, push등 스택의 맴버함수들을 제공한다.

그런데 stack의 헤더를 가보면, 다음과 같이 stack이 구현되어 있다.

...
// line 99
template <class _Tp, class _Container = deque<_Tp> > class _LIBCPP_TEMPLATE_VIS stack;
...

// line 111
template <class _Tp, class _Container /*= deque<_Tp>*/>
class _LIBCPP_TEMPLATE_VIS stack
{
public:
    typedef _Container                               container_type;
    typedef typename container_type::value_type      value_type;
    typedef typename container_type::reference       reference;
    typedef typename container_type::const_reference const_reference;
    typedef typename container_type::size_type       size_type;
    static_assert((is_same<_Tp, value_type>::value), "" );
...

//line 122
protected:
    container_type c;
...

template <class _Tp, class _Container = deque<_Tp> > class _LIBCPP_TEMPLATE_VIS stack;

• class인 stack은 탬플릿 클래스로서, 탬플릿 인자로 _Tp와 _Container를 가진다.
  • _Tp는 stack의 자료형이다.
  • _Container는 stack가 실제로 저장되는 컨테이너의 형태이며, 별도 지정 없을시 deque<_Tp>형으로 저장된다(디폴트 탬플릿인자).
• _LIBCPP_TEMPLATE_VIS는 Symbol Visibility Macros 중 하나이다. Symbol Visibility Macros는 라이브러리와 헤더에 안정적인 ABI(응용프로그램 이진 인터페이스,이진 형태의 API?)제공하는 메크로들이다. Mark a type’s typeinfo and vtable as having default visibility.???라는 역할을 한다고 한다…(link)

template <class _Tp, class _Container /*= deque<_Tp>*/>
class _LIBCPP_TEMPLATE_VIS stack
{
public:
    typedef _Container                               container_type;
    typedef typename container_type::value_type      value_type;
    typedef typename container_type::reference       reference;
    typedef typename container_type::const_reference const_reference;
    typedef typename container_type::size_type       size_type;
    static_assert((is_same<_Tp, value_type>::value), "" );

• _Container는 container_type로 타입으로 alias된다.
  • 즉, 실제로 데이터를 저장하는 컨테이너의 반복자를 container_type를 통해서 접근할 수 있다.

protected:
    container_type c;

• stack에 데이터가 저장되는 컨테이너의 맴버변수는 c이며, 자식클래스에서만 접근 가능하다.

따라서 과제 구현을 위해 반복자를 따로 구현할 필요 없이, 실제 저장되는 컨테이너에 접근하여 반복자를 가져오게 할 수 있다.

구현코드

template<typename T>
class MutantStack : public std::stack<T>
{
	...
	public:
		typedef typename std::stack<T>::container_type::iterator iterator;
		iterator begin() throw()
		{
			return this->c.begin();
		}
		iterator end() throw()
		{
			return this->c.end();
		}
}

template<typename T>
class MutantStack : public std::stack<T>

• MutantStack은 std::stack<T>를 public으로 상속한다.
  • stack의 탬플릿인자로 컨테이너 자료형을 수동으로 설정할 수 있지만, 반복자가 없는 컨테이너를 넘겨주면 런타임 에러가 발생한다. 그래서 이를 설정 불가능하게 하고 stack에 디폴트로 사용되는 deque<_Tp>를 그대로 사용한다.

typedef typename std::stack<T>::container_type::iterator iterator;

• std::stack<T>의 container_type(= deque<_Tp>)의 반복자 타입을 iterator 타입명이라고 엘리어스 한다.

iterator begin() throw()
{
	return this->c.begin();
}
iterator end() throw()
{
	return this->c.end();
}

• stack의 데이터가 저장되는 맴버변수 c로 부터 반복자를 begin()과 end()로 받는다. 이때 c는 deque<_Tp>타입 고정이므로 문제 없다.

참고한 곳 : 혼자 연구하는 C/C++