항목 42: typename의 두가지 의미를 제대로 파악하자.

내가 C++에 조예가 깊어서 글을 남기는 것이 아니라, Effecitve C++ 을 공부하는 사람들이 이 글을 보고, 도움이 되었으면 하는 생각과, 혹시 내가 틀린것이 있다면 지적해 주시지 않을까 란 생각으로 글을 올리는것임을 미리 밝힙니다.  - 최익필


typename .. 뭐 이렇게만 보면 이런게 있었나 싶다. 하지만 템플릿에서는 흔하게 보는 키워드인데, 이 키워드에 대해서 제대로 파악하자고 하는것 같다.

처음부터 진행하자면 typename 과 class 는 똑같은 의미인데, 이렇게 말만 하면 혼동의 요지가 있으니, 코드도 포함해 주는 센스를 발휘해 본다.
// ikpil.com or ikpil.tistory.com #include <iostream> //template <typename _T> // class _T 와 같은 의미 template <class _T> class babo { typedef _T value_type; public: void Draw( void ) { std::cout << sizeof(value_type) << "의 용량을 가진 클래스" <<std::endl; } private: _T *p; }; int main( void ) { // int 타입을 가진 babo 클래스의 객체 Test 선언 babo<int> Test; // 뭐~ 출력 Test.Draw(); return 0; }
위의 주석을 다 읽어 보면 무슨 말인지 알듯 싶다. 하지만 스콧마이어어가 쓰고, 곽용재씨가 번역한 이번 항목에선 typename 은 또 다른 의미를 지니고 있다고 알려 주려고 하는듯 하다.

그렇다 typename 키워드는 .. ... 은 타입이다! 를 알려 주는 용도로 사용 한다. 요렇게만 들으면 또 .. 햇갈린다. 더 이야기 하자면 typename 키워는 템플릿 선언 내부에서만 사용 할수 있다는 것을 기억해야 한다. 아래 소스코드를 첨부 하겠다.
// ikpil.com or ikpil.tistory.com int main( void ) { // int 타입을 가진 babo 클래스의 객체 Test 선언 babo<int> Test; typename int a; // 컴파일 에러를 볼수 있을 것이다. // 뭐~ 출력 Test.Draw(); return 0; }
그렇다면 이것은 템플릿 내부에서 써보자면
// ikpil.com or ikpil.tistory.com #include <iostream> template <typename _T> // class _T 와 같은 의미 class babo { typedef _T value_type; public: void Draw( void ) { std::cout << sizeof(value_type) << "의 용량을 가진 클래스" <<std::endl; } private: _T *p; public: typename int hehehe; // 이렇게 쓸수 있다. };
이렇게 쓸수 있다는 것인데, 이것만 본다면,
1. int 는 타입이다
2. 그 타임으로 a 객체 생성!

.. 이것을 보고 비웃지 않는다면, 당신이야 말로 성인(成人)이다. 왜냐하면 int 는 누가봐도 타입인데 굳이 typename 을 피곤하게 붙인다는 것에 대해서 말이다.

그렇다면 다음 코드는 어떻게 이해 할 것인가.
// ikpil.com or ikpil.tistory.com #include <iostream> #include <vector> template <typename _T> // class _T 와 같은 의미 class babo { public: void Draw( void ) { std::cout << sizeof(p) << "의 용량을 가진 클래스" <<std::endl; } private: _T *p; public: _T::iterator muhaha; // 이것 때문에 컴파일이 되지 않는다. }; int main( void ) { // int 타입을 가진 babo 클래스의 객체 Test 선언 babo<std::vector<int> > Test; // 뭐~ 출력 Test.Draw(); return 0; }
.. 물론 나는 _T의 타입인 iterator 란것을 분명이 알고 있다. 하지만 컴파일러는 다르다. 어떤 초특급 울트라 천재가 컴파일러를 만든다 하더라도, .. 저것이 "타입" 인것을 .. 알려면 몇달 몇일 간 별 수를 다 생각해야 할것이다.

_T::iterator muhaha; 이것을
typename _T::iterator muhaha; 라고 바꾸면 정상적으로 컴파일이 되는 것을 볼수 있을것이다. 그렇다! typename은 템플릿 내부에서 사용하면서, 컴파일러에게 템플릿 내부에서 "이건 타입이야" 라고 알릴 필요가 있을 때 써준다.


이쯤에서 용어 설명을 하는게 좋을듯 싶은데,
_T 처럼 타입을 인자로 받아 그것을 타입으로 쓰기 때문에 _T를 의존 이름(dependent name) 이라 외국에서 불린다.요~런 사항에서 의존 이름(dependent name)속에 또 다시 다른 이름이 정의된 경우 그녀석은 중첩 의존 타입 이름(nested dependent type name .. 뭐 외국 따라가야지, .. 태생이 외국인인데..)이라고 불리는데,

바로 템플릿 내부에서 중첩 의존 타입 이름(nested dependent type name)이 있을 경우, 그녀석도 타입인것을 인지하지 못하는 사태가 발생 할 수 있다.(발생 할수 있다는 이유는 MSVC2005에선 발생하지만, 다른 컴파일러에선 발생 안할수도 있다는 뜻이다. 뭐.. 대부분은 발생한다.)

여담으로 int 같은 것들은 비의존 이름(non-dependent name)이라고 불린다. .. 뭐 그런게 있다~ 라고 알아두면 좋을듯 싶고.. 여기서 한가지 짚고 넘어가야 한다. 이런 typename 을 쓸때, template 내부여도 못쓰는 경우가 두가지 있다는 것이다!

이 경우는 중첩 의존 타입 이름(nested dependent type name)이 기본 클래스의 리스트에 있거나, 멤버 초기화 리스트 내의 기본 클래스 식별자로 있을경우 typename을 붙여 주면 안된다는 것이다!(사실 이 구역은 컴파일러가 알아서 이녀석은 타입이다! 라고 알수 있는 곳이기도 하다.) 이렇게만 말하면 다시 .. 난해 할 수 있으니 코드를 달아 주는 센스!
// ikpil.com or ikpil.tistory.com // typename 을 예외적으로 사용 할수 없는 // 구역을 나타내기 위해서 이렇게 코드를 만든다. #include <iostream> #include <vector> template <typename _T> class NON_TYPENAME { public: // 뭐 클래스 네임만 신경쓰고 나머진 // 무시해도 된다. NON_TYPENAME() { } // 소멸자 ~NON_TYPENAME() { } private: _T m_p; }; template <typename _T> // class _T 와 같은 의미 class babo : public NON_TYPENAME<_T> // <-- 여기가 기본 클래스의 리스트 { public: babo() : NON_TYPENAME<_T>() // <-- 여기가 멤버 초기화 리스트 { } void Draw( void ) { std::cout << sizeof(p) << "의 용량을 가진 클래스" <<std::endl; } private: _T *p; public: typename _T::iterator muhaha; // <-- 여긴 사용 할수 있다~ }; int main( void ) { // int 타입을 가진 babo 클래스의 객체 Test 선언 babo<std::vector<int> > Test; // 뭐~ 출력 Test.Draw(); return 0; }
자.. 이제 이해가 되었는가? 여기에 코딩 스타일이 좀더 편해질만한 이야기를 하나 더 들려 준다.
바로 typename _T::iterator muhaha; 를 쓸때 한번이나 두번 쯤이야 써주겠지만 3 이상 넘어가면 .. 슬슬 피곤해 진다. 이럴 때는 typedef typename _T::iterator iterator; 라고 쓰고 iterator muhaha; 라고 쓰면. 뭐 쉽지 않니한가? ㅋㅋ


여담으로 몇가지 더 이야기를 한다.
이 이야기는 곽용재씨가 들려주는 이야기로 스콧 마이어스와 허브서터, 안드레 알렉산드레스쿠는 사용자가 정의한 타입에 대해서는 class 를 쓰고 기본 제공 타입에 대해서는 typename 을 쓴다. 그리고 비야네 스트롭스트룹은 class 를 주로 쓰는 편이라고 한다;

이렇게 굳이 꼭 정해 둘 필요가 있을까? 하는 사람도 있지만, 코드가 몇만줄 넘어가면, 조금이라도 코드에 정보 아닌 정보를 남겨두는 편이, 디버깅이나 유지보수 등에 도움이 될때가 많다. 이런 습관도 있으니 배워두자는 취지에서 곽용재씨가 남겨 주셧던것 같다.


이것만은 잊지 말자!
1. 템플릿 매개변수를 선언할 때, class 나 typename 이나 똑같다.
2. 중첩 의존 타입 이름(nested dependent type name)을 식별하는 용도는 typename 키워드이다.
3. typename 은 템플릿 내부에서만 사용 되고, 초기화리스트 및 기본 클래스 리스트에서는 못쓴다!


관련링크
http://www.ibm.com ... typename keword <-- ibm의 typename 설명서 아, 영문이다 제길
http://pages.cs.wisc.edu/~driscoll/typename.html <-- 여기도 외국 . typename 설명서 .. 영문이다.
http://keiphoto.egloos.com/4182181 <-- 짤막한 .. 영문으로.
http://kukuta.tistory.com/12 <-- 오오! 괜찮은 설명~ 아 여긴 한국
http://codefactory.zc.bz/50 <-- 댓글이 설명이 좋았음
http://rein.upnl.org/wordpress/archives/494 <-- typename 관련 글은 아니지만, 템플린 관련해서 좋은 글
http://www.filewiki.net/tc/34 <-- typename 을 어떤 식으로 사용하는지 소스로 확인 할수 있음
http://dblab.co.kr/119 <-- 역시 마찬가지
http://kldp.org/node/62341 <-- typename 문법 없이 사용할 경우, 질문 내용
http://kldp.org/node/39641 <-- 역시 질답 내요이 좋음