C++ Template MetaProgramming 실습 과제 3-3 풀이

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

실습 과제 3-3 :

twice 를 두 번 사용해서 T 를 T**** 로 변환하라.

---

twice 는 어떠한 메타 함수와 형식을 받아 두 번 실행해 주는 고차 메타 함수이다. twice 에 boost::add_pointer 메타 함수를 넣어 두 번 실행하는 문제이다.

// MetaProgramming.cpp : Defines the entry point for the console application. // #include "stdafx.h" #include < iostream > #include < boost/type_traits.hpp > #include < boost/mpl/placeholders.hpp > #include < boost/mpl/lambda.hpp > #include < boost/mpl/apply.hpp > namespace mpl = boost::mpl; using namespace mpl::placeholders; //--------------------------------------------------------------------------- // twice meta function. //--------------------------------------------------------------------------- template< class F, class T > struct twice : mpl::apply< F, typename mpl::apply< F, T >::type >{}; //--------------------------------------------------------------------------- // Program entry. //--------------------------------------------------------------------------- int _tmain(int argc, _TCHAR* argv[]) { typedef twice< boost::add_pointer< _1 >, int >::type pp; typedef twice< boost::add_pointer< _1 >, pp >::type pppp; BOOST_STATIC_ASSERT( ( boost::is_same< int****, pppp >::value ) ); return 0; }

자리표 표현식을 사용해서 고차 메타 함수를 호출할 수 있는지를 확인하는 문제인 것 같다.