Boost::preprocessor 로 템플릿 코드 생성

어제 일종의 지연된 함수 호출 클래스 구현에 관해서 포스팅을 했다. (제한된 Closure라기보단 이 쪽 의미에 가까운 것 같다) 거기에다가 “뭔가 인자 수에 따라 다 정의해야 하는 것을 피할 방법이 없는가?” 라고 썼었는데, Boost 라이브러리에 있는 매크로 메타프로그래밍 라이브러리인 Boost::PP를 소개 받았다.

일단 boost::preprocessor를 사용해서 구현한 코드는 다음과 같다.

#define ClosureMemberDecl( z, n, unused ) A##n  m_A##n;
#define ClosureMemberEnum( z, n, unused ) A##n  a##n
#define ClosureMemberInit( z, n, unused ) m_A##n( a##n )

// Create Closure0, Closure1, ...
#define ClosureClassDecl( z, n  )
template< typename T, typename R BOOST_PP_COMMA_IF(n)
  BOOST_PP_ENUM_PARAMS( n, typename A ) >
class Closure##n : public Closure {
  protected:
    typedef boost::function<R (T& BOOST_PP_COMMA_IF(n)
        BOOST_PP_ENUM_PARAMS( n, A ) )> FT;
    T&  m_Obj;
    FT  m_Function;
    BOOST_PP_REPEAT( n, ClosureMemberDecl, ~ )
  public:
    Closure##n( T& obj, FT func BOOST_PP_COMMA_IF(n)
         BOOST_PP_ENUM( n, ClosureMemberEnum, ~ ) )
      : m_Obj(obj), m_Function(func) BOOST_PP_COMMA_IF(n)
      BOOST_PP_ENUM( n, ClosureMemberInit, ~ )  { }
    virtual ~Closure##n() { }
    virtual void Execute() {
      m_Function( m_Obj BOOST_PP_COMMA_IF( n )
          BOOST_PP_ENUM_PARAMS( n, m_A ) );
    }
};

// Create ClosureHelperDecl for corresponding Closure class
#define ClosureHelperDecl( z, n )
  template< typename T, typename R BOOST_PP_COMMA_IF(n)
    BOOST_PP_ENUM_PARAMS( n, typename A ) >
    boost::shared_ptr<Closure> MakeClosure( T& obj,
      R (T::*func)( BOOST_PP_ENUM( n, ClosureMemberEnum, ~ ) )
      BOOST_PP_COMMA_IF(n)
      BOOST_PP_ENUM( n, ClosureMemberEnum, ~ )
    )
  {
    return boost::shared_ptr<Closure>( new Closure##n < T, R BOOST_PP_COMMA_IF(n)
      BOOST_PP_ENUM_PARAMS( n, A )>
      ( obj, func BOOST_PP_COMMA_IF(n) BOOST_PP_ENUM_PARAMS( n, a ) ) );
  }

#define ClosureDecl( z, n, unused )
  ClosureClassDecl( z, n )
  ClosureHelperDecl( z, n )

// 최대 인자 수를 다음 매크로의 첫인자로
BOOST_PP_REPEAT( 5, ClosureDecl, ~ )

BOOST_PP_ 로 시작되는 매크로들이 boost/preprocessor.hpp 에 정의되어 있는데, 이 매크로들을 사용해서 template 정의를 “반복” 시킨다. 코드가 반복되지 않아도 되는 것은 좋은데, 유지보수와는 한 천광년쯤 먼 곳에 와버린 기분.

다만 실제로 생성되는 코드 – 그러니까 C/C++ 전처리기를 통과시킨 후의 결과 – 는 별도의 방법으로 확인할 수 있긴 하기 때문에 작업 진행은 코드 생성기를 작성하는 것보다_약간 편하다_.

boost preprocessor 라이브러리에 대한 인상을 정리해보면 boost::mpl 처럼 C++ 코드를 C++ 도메인 안에서 생성 할 수 있게 해준다는 “엄청난 장점” 이 있다. 일일이 코드 제네레이터를 “만들거나”, “실행시키는 것"은 귀찮은 일이다.

다만 boost mpl도 그렇지만 이 라이브러리 역시 유지/보수에는 부적합할 수 있다. 손으로 튜닝해야 할 일이 어느 정도 있는 부분에선 사실 상 쓸 수 없을 것 같기도 하다. C++ template meta programming 을 처음 접했을 때처럼 “벽"이 있는 상태고, mpl과는 달리 코드를 읽는 것도 어렵다. C++ 내의 언어이긴 하지만 매크로 자체가 C++ 문법과는 좀 이질적이기 때문에 쉽사리 손댈 수 없는 코드를 작성하게 될 것 같다 -_-;;

다만 template과 template meta programming으로 해결할 수 없는 “비슷한 템플릿의 반복"을 해결하는 방법으로는 이게 가장 유용한 방법인 것 같다. 한 번 작성하고 그 이후엔 유지 보수가 상대적으로 필요치 않다면 대안인 “코드 반복 작성”, “코드 생성기 작성” 보다 뭔가 더 나은 것을 주는 것 같다. 이 부분은 다음 번에 포스팅하기로 하고(…)

ps. 조금 생각해보니 boost::preprocessor를 현재 사용 중인 패킷 처리 코드 생성기 부분에도 쓸 수 있을 것 같다.