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

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

실습 과제 3-0 :

1.4.1 절에 나온 binary 템플릿에, N 에 0 과 1 이외의 숫자가 들어 있을 때 binary< N >::value 가 컴파일 오류를 일으키도록 하는 오류 점검을 BOOST_STATIC_ASSERT 를 이용해서 추가하라.

---

풀이 :

일단 원래 구현을 살펴 보자.

template <unsigned long N> struct binary { static unsigned const value = binary<N/10>::value << 1 // prepend higher bits | N%10; // to lowest bit }; template <> // specialization struct binary<0> // terminates recursion { static unsigned const value = 0; };

다음과 같이 BOOST_STATIC_ASSERT 를 추가할 수 있다.

template< unsigned long N > struct binary { BOOST_STATIC_ASSERT( 2 > ( N % 10 ) ); static unsigned const value = ( binary< N / 10 >::value << 1 ) | N % 10; };

전체 코드는 다음과 같다.

// MetaProgramming.cpp : Defines the entry point for the console application. // #include "stdafx.h" #include < iostream > #include < boost/type_traits.hpp > //--------------------------------------------------------------------------- // binary meta function //--------------------------------------------------------------------------- template< unsigned long N > struct binary { BOOST_STATIC_ASSERT( 2 > ( N % 10 ) ); static unsigned const value = ( binary< N / 10 >::value << 1 ) | N % 10; }; template<> struct binary< 0 > { static unsigned const value = 0; }; //--------------------------------------------------------------------------- // Program entry. //--------------------------------------------------------------------------- int _tmain(int argc, _TCHAR* argv[]) { unsigned const value1 = binary< 1010 >::value; // OK unsigned const value2 = binary< 1020 >::value; // ERROR return 0; }

너무 단순해서 맞는 건지 떨떠름하긴 하다.