CPPTM : 2 장 실습과제 : (Chapter 2 : Answers )

아무리 찾아도 해설을 못찾았다. .. 암담한 현실앞에 놓여 있다. .. 다 풀어 봐야 하는데, 누구와 비교하면서 공부 해야 하는가...? 난 천재가 아니란 말이다.. 

내가 해본 풀이, 추상적 태클과 상상속 태클까지 모두 환영 .. 잘못 된게 있으면 지적해 주세요

2-0. T가 참조 형식이면 T를 그렇지 않으면 const T&를 돌려주는 단항 메타함수 add_const_ref<T>를 작성하라, 그리고 실험할 수 있는 프로그램도 작성하라 (boost::is_same 을 사용 할 수 있다)

#include <boost/type_traits/is_pointer.hpp> #include <iostream> // 전방 선언 template <typename T, bool flag> class add_const_ref_impl; // 사용되는 메타 함수 : add_const_ref template <typename T> class add_const_ref { public: typedef typename add_const_ref_impl< T, boost::is_pointer<T>::value >::value value; }; // add_const_ref 의 세부 구현 메타함수 : add_const_ref_impl // 아닐 경우에 이것을 사용 함 template <typename T> class add_const_ref_impl<T, false> { public: typedef const T& value; }; // add_const_ref 의 세부 구현 메타함수 : add_const_ref_impl // 맞을 경우에 이것을 사용 함 template <typename T> class add_const_ref_impl<T, true> { public: typedef T value; }; int main( void ) { int a = 3; typedef add_const_ref<int>::value t1; t1 aa1 = a; typedef add_const_ref<int *>::value t2; t2 aa2 = &a; std::cout << "t1 : " << aa1 << ", " << "t2 : " << aa2 << "\n"; // 값 변경 시도 aa1 = 3; // 컴파일 에러, 왜냐하면 const reference 이기 때문에 *aa2 = 2; // OK std::cout << "t1 : " << aa1 << ", " << "t2 : " << aa2 << "\n"; return 0; }

2-1 아래의 예처럼, 임의의 복합 형식 c를 첫 번째 인수로 취하고, c에 있는 모든 형식 x를 형식 y로 치환하는 삼항 메타함수 replace_type<c,x,y>를 작성하라. 쉽게 말해서, 임의의 복합 타입 C를 받고, C에 있는 모든 타입 중 X와 같은게 있다면, Y 타입을 변형시켜주는 삼항 메타함수 replace_type<C,X,Y>를 작성 하라는 말이다.

template<class,class,class> struct replace_type { typedef int type; }; typedef replace_type< void*, void, int >::type t1; // int* typedef replace_type< int const*[10] , int const , long >::type t2; // long* [10] typedef replace_type< char& (*)(char&) , char& , long& >::type t3; // long& (*)(long&)

절차지향적으로는 짜겠는데, 함수 지향적으로 짜려고 하니, 손을 못 대겠다.. 여기서 멈침. 읔. 연습문제가 너무 어려워.

관련 링크

http://www.crystalclearsoftware.com/cgi-bin/boost_wiki/wiki.pl?CPPTM_Answers_-_Chapter_2

총평

.. 2장 실습 과제를 모두 여기에 정리 해야 겠다. 한 문제 풀때마다 다음 문제로 넘어가야 겠다.