EMC++ errata in Item 34 (std::plus for using std::bind on C++11)

MEC++ 공부하면서, errata를 발견해서 Scott Meyers 옹의 홈페이지를 방문 해 봤더니, 지난 5월에 report가 되었더라. : )

http://www.aristeia.com/BookErrata/emc++-errata.html

! 5/ 5/15 mam PDF 235 The code at the top of the page will compile, but calls to setSoundB won't, because std::plus<steady_clock::time_point>'s operator() declares two parameters of type steady_clock::time_point, yet we're passing a time_point and a duration. (The reason setSoundB compiles at all is that std::bind's operator() is a template, so the type mismatch isn't detected until a call is made that causes that template to be instantiated.) One fix is to write a function taking a time_point and a duration, then use that in place of std::plus: Time addTimeAndDuration(const Time& tp, const Duration& d) { return tp + d; } auto setSoundB = std::bind(setAlarm, std::bind(addTimeAndDuration, steady_clock::now(), hours(1)), _1, seconds(30)); Another fix is to essentially implement C++14's generic std::plus ourselves. Its templatized operator() function accepts arguments of any type: struct genericAdder { template<typename T1, typename T2> auto operator()(T1&& param1, T2&& param2) ->decltype(std::forward<T1>(param1) + std::forward<T2>(param2)) { return std::forward<T1>(param1) + std::forward<T2>(param2); } }; auto setSoundB = std::bind(setAlarm, std::bind(genericAdder(), steady_clock::now(), hours(1)), _1, seconds(30));

Item 34에 lambda 대신 bind를책에 있는 코드를 그대로 작성했는데 컴파일 에러가 발생했다.

그런데, 옷갖 template의 향연으로인해 에러 메시지는 거의 암호 수준;;

그래서 장인정신으로 STL의 해당 template들을 한 줄 한 줄 따라가다 보니 std::plus functor의 template parameter가 하나의 타입만 받도록 되어 있는데, 실제로 더하려고 하는 object는 std::chrono::steady_clock::time_point와 std::chrono::duration이었기 때문에 발생한 에러 였음.

실제로 std::plus 내부에서 호출하는 operator+는 function template으로 time_point와 duration을 더할 수 있도록 overload 되어 있지만, std::plus는 template이기 때문에 암시적인 형 변환을 할 수 없고, 따라서 operator+까지 도달하지도 못함.

실제 호출은 아래와 같이 하고 있다. using SetAlarm3ParamType = void(*)(Time t, Sound s, Duration d); auto setSoundB = std::bind( static_cast<SetAlarm3ParamType>(setAlarm), std::bind(std::plus<std::chrono::steady_clock::time_point>(), std::chrono::steady_clock::now(), std::chrono::hours(1)), std::placeholders::_1, std::chrono::seconds(30) ); 하지만, std::plus의 구현은 아래와 같음. template<class _Ty = void> struct plus { // functor for operator+ typedef _Ty first_argument_type; typedef _Ty second_argument_type; typedef _Ty result_type; _CONST_FUN _Ty operator()(const _Ty& _Left, const _Ty& _Right) const { // apply operator+ to operands return (_Left + _Right); } }; 그리고, operator+의 구현은 다음과 같음. template<class _Clock, class _Duration, class _Rep, class _Period> inline _CONST_FUN time_point<_Clock, typename common_type<_Duration, duration<_Rep, _Period> >::type> operator+( const time_point<_Clock, _Duration>& _Left, const duration<_Rep, _Period>& _Right) { // add duration to time_point typedef time_point<_Clock, typename common_type< _Duration, duration<_Rep, _Period> >::type> _RT; return (_RT(_Left.time_since_epoch() + _Right)); }

즉, operator+는 연산을 지원하나, binding 시점이 아닌, 호출 시점에 evaluation이 되어야 하기 때문에 사용하는 std::plus가 두 개의 타입을 지원하지 않기 때문에, C++14에서 지원하는 std::plus<void>를 이용(type deducing을 하여 알아서 처리해 줌)하거나, 아니면 직접 가능하도록 구현을 해 주어야 함!