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

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

실습 과제 3-5 :

3.1 절의 차원 해석 코드에는 한 가지 문제가 남아 있다. 힌트 : 다음 코드를 시험해 볼 것.

f = f + m * a;

이 문제를 이번 장에 나온 기법들을 이용해서 고쳐 보라.

---

풀이 :

m * a 가 만들어 내는 차원 정보는 순차열 내의 값은 동일하지만 같은 형식이라고 할 수 없다. 그러므로  + 연산자와 - 연산자에서 복사 생성자를 만들때 했던 것처럼 형식 검사를 해 줘야 한다.

하는 김에 * 연산자와 / 연산자에서 이 장에 나온 자리표 표현식을 사용해 보았다.

// 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; //----------------------------------------------------------------------------- // declare dimension types. //----------------------------------------------------------------------------- typedef mpl::vector_c< int, 1, 0, 0, 0, 0, 0, 0 > mass; typedef mpl::vector_c< int, 0, 1, 0, 0, 0, 0, 0 > length; typedef mpl::vector_c< int, 0, 0, 1, 0, 0, 0, 0 > time; typedef mpl::vector_c< int, 0, 0, 0, 1, 0, 0, 0 > charge; typedef mpl::vector_c< int, 0, 0, 0, 0, 1, 0, 0 > temperature; typedef mpl::vector_c< int, 0, 0, 0, 0, 0, 1, 0 > intensity; typedef mpl::vector_c< int, 0, 0, 0, 0, 0, 0, 1 > amout_of_substance; typedef mpl::vector_c< int, 0, 1, -1, 0, 0, 0, 0 > velocity; typedef mpl::vector_c< int, 0, 1, -2, 0, 0, 0, 0 > acceleration; typedef mpl::vector_c< int, 1, 1, -1, 0, 0, 0, 0 > momentum; typedef mpl::vector_c< int, 1, 1, -2, 0, 0, 0, 0 > force; //----------------------------------------------------------------------------- // quantity //----------------------------------------------------------------------------- template< class T, class Dimension > class Quantity { public : explicit Quantity( T x ) : mValue( x ) {} template< class OtherDimension > Quantity( Quantity< T, OtherDimension > const& rhs ) : mValue( rhs.Value() ) { BOOST_STATIC_ASSERT( ( mpl::equal< Dimension, OtherDimension >::value ) ); } T Value() const { return mValue; } private : T mValue; }; //----------------------------------------------------------------------------- // declare quantity types. //----------------------------------------------------------------------------- typedef Quantity< float, mass > Mass; typedef Quantity< float, length > Length; typedef Quantity< float, time > Time; typedef Quantity< float, charge > Charge; typedef Quantity< float, temperature > Temperature; typedef Quantity< float, intensity > Intensity; typedef Quantity< float, amout_of_substance > AmountOfSubstance; typedef Quantity< float, velocity > Velocity; typedef Quantity< float, acceleration > Acceleration; typedef Quantity< float, momentum > Momentum; typedef Quantity< float, force > Force; //----------------------------------------------------------------------------- // quantity + operator //----------------------------------------------------------------------------- template< class T, class D1, class D2 > Quantity< T, D1 > operator + ( Quantity< T, D1 > x, Quantity< T, D2 > y ) { BOOST_STATIC_ASSERT( ( mpl::equal< D1, D2 >::value ) ); return Quantity< T, D1 >( x.Value() + y.Value() ); } //----------------------------------------------------------------------------- // quantity - operator //----------------------------------------------------------------------------- template< class T, class D1, class D2 > Quantity< T, D1 > operator - ( Quantity< T, D1 > x, Quantity< T, D2 > y ) { BOOST_STATIC_ASSERT( ( mpl::equal< D1, D2 >::value ) ); return Quantity< T, D1 >( x.Value() - y.Value() ); } //----------------------------------------------------------------------------- // quantity * operator //----------------------------------------------------------------------------- template< class T, class D1, class D2 > Quantity< T, typename mpl::transform< D1, D2, mpl::plus< _1, _2 > >::type > operator * ( Quantity< T, D1 > x, Quantity< T, D2 > y ) { return Quantity< T, typename mpl::transform< D1, D2, mpl::plus< _1, _2 > >::type >( x.Value() * y.Value() ); } //----------------------------------------------------------------------------- // quantity / operator //----------------------------------------------------------------------------- template< class T, class D1, class D2 > Quantity< T, typename mpl::transform< D1, D2, mpl::minus< _1, _2 > >::type > operator / ( Quantity< T, D1 > x, Quantity< T, D2 > y ) { return Quantity< T, typename mpl::transform< D1, D2, mpl::minus< _1, _2 > >::type >( x.Value() / y.Value() ); } //----------------------------------------------------------------------------- // Program entry. //----------------------------------------------------------------------------- int _tmain(int argc, _TCHAR* argv[]) { Mass m( 1.0f ); Acceleration a( 1.0f ); Length l( 1.0f ); Time t( 1.0f ); Force f( 1.0f ); f = f + m * a; // OK. Velocity v( 1.0f ); v = v - l / t; // OK. f = f + m * a * t; // ERROR. v = v - l / t / t; // ERROR. return 0; } //-----------------------------------------------------------------------------