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

주의 : 공부하면서 정리하는 것이기 때문에 오류가 있을 수 있습니다.

실습 과제 4-0 :

mpl::or_ 와 mpl::and_ 메타 함수에 대해, 부울 표현식의 평가 단축 행동을 시험하는 테스트를 작성하라.

---

풀이 :

이 문제는 "평가 단축 행동"의 의미를 이해하고 있는지를 묻고 있다. 책에서는 다음과 같이 표현하고 있다.

내장 연산자 &&, || 과 마찬가지로, mpl::and_ 와 mpl::or_ 는 "평가 단축" 행동을 가진다는 점 역시 알아둘 필요가 있을 것이다.

- C++ Template Metaprogramming, 4.2 정수 래퍼들과 연산들, 91 페이지.

"평가 단축" 이라고 하는 것은 앞의 결과가 false 면 뒤의 결과를 평가하지 않는다는 것이다. 예를 들어 "A && B" 는 둘 다 true 일 때만 true 이므로 && 연산자의 앞의 피연산자인 A 가 false 이면 B 는 볼 필요도 없이 && 의 결과는 false 이다. 이를 통해 평가 비용을 단축할 수 있다.

이를 테스트해 보기 위해서는 bool 을 반환하는 두 개의 메타 함수가 필요하다. 책에서 많이 나오고 있는 boost::is_scalar 를 첫 번째 메타 함수로 만들고, 항상 컴파일 에러를 내는 Error 라는 메타 함수를 만들자. 그리고 나서 mpl::or_ 와 mpl::and_ 의 두 번째 매개변수로 넣는다.

// 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; //----------------------------------------------------------------------------- // Program entry. //----------------------------------------------------------------------------- struct MyStructure { }; template< class T > struct Error { BOOST_STATIC_ASSERT( ( boost::is_same< T, int >::value ) ); static const bool value = false; }; int _tmain( int argc, _TCHAR* argv[] ) { // OK : is_scalar 가 true 이므로 Error< float > 이 평가되지 않음. bool orResult = mpl::or_< boost::is_scalar< int >, Error< float > >::value; // OK : is_scalara 가 false 이므로 Error< float > 이 평가되지 않음. bool andResult = mpl::and_< boost::is_scalar< MyStructure >, Error< float > >::value; return 0; } //-----------------------------------------------------------------------------