C++ Template MetaProgramming 실습 과제 2-3 재구현

주의 : 공부하면서 정리한 내용이기 때문에 오류가 있을 수 있습니다.

우리의 이전 실습 과제에서는 array, function 등에 대해서 다루지 않았다. 이번 실습 과제에서는 그러한 기능을 보충해서 기본형에 대해서는 거의( ? ) 완벽한 type_descriptor 를 만들고, 그것에 대한 서술문을 출력하도록 하겠다.

일단 이전의 우리 구현에 따르면 array 나 function 과 같은 형식을 다루기 위해서는 remove_xxx meta function 이 존재해야 할 것이다. array 야 remove_bounds 와 같은 meta function 이 있지만, function 을 제거하기 위한 remove 류의 meta function 은 없다. 결국 우리는 function 과 관련한 복합 형식을 분석하기 위해서는 부분 템플릿 특수화에 의존해야 한다는 결론에 도달하게 된다.

그래서 이전의 구현을 다음과 같이 수정했다. Template 부분 특수화를 사용한 버전이다. 아래 구현을 잘 살펴 보면 크게 어렵지 않을 것이라 생각한다. 그리고 함수를 특수화는 귀찮아서 parameter list 가 두 개인 것까지만 구현했다.

// MetaProgramming.cpp : Defines the entry point for the console application. // #include "stdafx.h" #include < iostream > #include < boost/type_traits.hpp > //--------------------------------------------------------------------------- // 단일 형식과 포인터 및 참조를 위한 구현. //--------------------------------------------------------------------------- template< class T > struct type_descriptor_impl { std::ostream& print( std::ostream& out ) const { if( true == boost::is_volatile< T >::value ) { typedef typename boost::remove_volatile< T >::type remainType; out << type_descriptor_impl< remainType >() << " volatile"; } else if( true == boost::is_const< T >::value ) { typedef typename boost::remove_const< T >::type remainType; out << type_descriptor_impl< remainType >() << " const"; } else if( true == boost::is_pointer< T >::value ) { typedef typename boost::remove_pointer< T >::type remainType; out << type_descriptor_impl< remainType >() << "*"; } else if( true == boost::is_reference< T >::value ) { typedef typename boost::remove_reference< T >::type remainType; out << type_descriptor_impl< remainType >() << "&"; } else if( true == boost::is_same< T, long >::value ) { out << "long"; } else if( true == boost::is_same< T, int >::value ) { out << "int"; } else if( true == boost::is_same< T, short >::value ) { out << "short"; } else if( true == boost::is_same< T, char >::value ) { out << "char"; } else { out << "unknown"; } return out; } }; //--------------------------------------------------------------------------- // 가변 요소 배열을 위한 구현. //--------------------------------------------------------------------------- template< class T > struct type_descriptor_impl< T [] > { std::ostream& print( std::ostream& out ) const { typedef typename boost::remove_extent< T >::type remainType; out << type_descriptor_impl< remainType >() << "[]"; return out; } }; //--------------------------------------------------------------------------- // 고정 요소 배열을 위한 구현. //--------------------------------------------------------------------------- template< class T, size_t N > struct type_descriptor_impl< T [ N ] > { std::ostream& print( std::ostream& out ) const { typedef typename boost::remove_extent< T >::type remainType; out << type_descriptor_impl< remainType >() << "[ " << N << " ]"; return out; } }; //--------------------------------------------------------------------------- // 함수 형식을 위한 구현. //--------------------------------------------------------------------------- template< class R, class P > struct type_descriptor_impl< R ( * )( P ) > { std::ostream& print( std::ostream& out ) const { out << type_descriptor_impl< R >() << "( * )( " << type_descriptor_impl< P >() << " )"; return out; } }; template< class R, class P1, class P2 > struct type_descriptor_impl< R ( * )( P1, P2 ) > { std::ostream& print( std::ostream& out ) const { out << type_descriptor_impl< R >() << "( * )( " << type_descriptor_impl< P1 >() << ", " << type_descriptor_impl< P2 >() << " )"; return out; } }; //--------------------------------------------------------------------------- // Output stream << operator overloading for type_descriptor_impl. //--------------------------------------------------------------------------- template< class T > std::ostream& operator << ( std::ostream& out, const type_descriptor_impl< T >& desc ) { return desc.print( out ); } //--------------------------------------------------------------------------- // type_descriptor 구현. //--------------------------------------------------------------------------- template< class T > struct type_descriptor { std::ostream& print( std::ostream& out ) const { type_descriptor_impl< T > impl; return impl.print( out ); } }; //--------------------------------------------------------------------------- // Output stream << operator overloading for type_descriptor. //--------------------------------------------------------------------------- template< class T > std::ostream& operator << ( std::ostream& out, const type_descriptor< T >& desc ) { return desc.print( out ); } //--------------------------------------------------------------------------- // Program entry. //--------------------------------------------------------------------------- int _tmain(int argc, _TCHAR* argv[]) { std::cout << type_descriptor< int ( * )( int argc, char* argv[] ) >() << std::endl; std::cout << type_descriptor< int ( * )( int argc, char* argv[3] ) >() << std::endl; std::cout << type_descriptor< int [] >() << std::endl; std::cout << type_descriptor< int [3] >() << std::endl; return 0; }

위의 코드를 실행하면 다음과 같은 결과가 나온다.

특이한 점은 함수의 parameter list 에 array 표현이 넘어 가게 되면 그것이 pointer 로 취급된다는 것이다.