C++ Template Metaprogramming 실습 과제 4-1 풀이

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

실습 과제 4-1 :

mpl::or_ 와 mpl::and_ 를 본 딴, logical_or 와 logical_and 라는 이름의 이항 메타함수들을 구현하라. 그리고 실습 과제 4-0 의 테스트들로 그 구현을 시험하라.

---

풀이 :

이 문제는 게으른 평가( lazy evaluation )에 대한 이해를 얼마나 하고 있는지를 확인하는 문제이다. 게으른 평가가 되기 위해서는 ::type 이나 ::value 가 명시적으로 지정되면 안 된다.

필자는 부분 특수화를 통해서 이 문제를 해결했다. 자세한 사항은 주석을 참조하라.

// ConsoleApplication.cpp : 콘솔 응용 프로그램에 대한 진입점을 정의합니다. // #include "stdafx.h" #include < iostream > #include "boost/static_assert.hpp" #include < boost/type_traits.hpp > #include < boost/mpl/vector_c.hpp > #include < boost/mpl/transform.hpp > #include < boost/mpl/equal.hpp > #include < boost/mpl/placeholders.hpp > #include < boost/mpl/if.hpp > #include < vector > namespace mpl = boost::mpl; using namespace mpl::placeholders; //----------------------------------------------------------------------------- // Structure. //----------------------------------------------------------------------------- struct MyStructure { }; //----------------------------------------------------------------------------- // Error meta function. //----------------------------------------------------------------------------- template< class T > struct Error { BOOST_STATIC_ASSERT( ( boost::is_same< T, int >::value ) ); typedef Error< T > type; static bool const value = false; }; //----------------------------------------------------------------------------- // logical_or meta function. //----------------------------------------------------------------------------- // 첫 번째 인자 test 하고 결과 반환하는 wrapper. template< bool T, class Second > struct logical_or_impl; // 첫 번째 매개변수가 true 일 때에 대한 부분 특수화. template< class Second > struct logical_or_impl< true, Second > { static bool const value = true; }; // 첫 번째 인자가 false 일 때에 대한 부분 특수화. template< class Second > struct logical_or_impl< false, Second > { static bool const value = Second::value; }; // logical_or meta function. template< class First, class Second > struct logical_or { typedef logical_or< First, Second > type; static bool const value = logical_or_impl< First::value, Second >::value; }; //----------------------------------------------------------------------------- // logical_and meta function. //----------------------------------------------------------------------------- // 첫 번째 인자 test 하고 결과 반환하는 wrapper. template< bool T, class Second > struct logical_and_impl; // 첫 번째 매개변수가 true 일 때에 대한 부분 특수화. template< class Second > struct logical_and_impl< true, Second > { static bool const value = Second::value; }; // 첫 번째 인자가 false 일 때에 대한 부분 특수화. template< class Second > struct logical_and_impl< false, Second > { static bool const value = false; }; // logical_and meta function. template< class First, class Second > struct logical_and { typedef logical_and< First, Second > type; static bool const value = logical_and_impl< First::value, Second >::value; }; //----------------------------------------------------------------------------- // Program entry. //----------------------------------------------------------------------------- int _tmain(int argc, _TCHAR* argv[]) { // OK : is_scalar 가 true 이므로 Error< float > 이 평가되지 않음. bool orResult = logical_or< boost::is_scalar< int >, Error< float > >::value; // OK : is_scalara 가 false 이므로 Error< float > 이 평가되지 않음. bool andResult = logical_and< boost::is_scalar< MyStructure >, Error< float > >::value; return 0; } //-----------------------------------------------------------------------------

아래 링크에 있는 다른 사람의 구현도 살펴 보기 바란다.

http://www.crystalclearsoftware.com/cgi-bin/boost_wiki/wiki.pl?CPPTM_Answers_-_Exercise_4-1