항목 39 : 술어 구문은 순수 함수로 만들자.

내가 STL에 조예가 깊어서 글을 남기는 것이 아니라, Effecitve STL 을 공부하는 사람들이 이 글을 보고, 도움이 되었으면 하는 생각과, 혹시 내가 틀린것이 있다면 지적해 주시지 않을까 란 생각으로 글을 올리는것임을 미리 밝힙니다. - 최익필

주제에 들어가기에 앞서, 술어구문? 순수 함수? 무슨 뜻인지 알아보자.

술어구문(predicate) 이란?
bool 값을 반환하는 함수를 뜻하는데 번역 단계에서 우리나라말 선택시 조금 어려운 부분이기도 하다. 자세한 내용은 링크 : http://occamsrazr.net/tt/82 에서 아~ 그렇구나 하고 넘기길 바란다.

순수 함수(pure function) 이란?
순수 가상 함수는 알겠는데 이건 참 생소한 말이였다. 이것은 매개변수로 함수의 리턴값이 결정되는 함수를 뜻한다. 대부분의 함수를 이런식으로 정의하여 사용하는데, 클래스로 넘어가면서 .. 순수 함수가 아닌 함수들도 꽤 쓰여진다.

술어 구문 클래스(predicate class) 이란?
클래스의 operator() 가 bool 을 리턴하는 클래스를 뜻한다.


그러다면 왜 술어 구문을 순수 함수로 만들어야 할까?
STL에서 술어 구문이라면, 순수 함수로 만들어야 한다는 이야기로 국한된다.

왜냐하면 알고리즘의 함수객체를 받는 애들 중 술어구문(predicate)를 요구 해서 operator 가 bool 를 리턴하게 만들고, 순수함수 형식을 따르지 않았다고 치자. 그러면 그 결과값을 예측하기 힘들게 되기 때문이다.

그러므로 술어 구문은 순수 함수로 만들자는 거다!
말로만 설명하면 이해하기 어려운 부분이 많으므로 나쁜 경우를 예로 들겠다.
#include <iostream> #include <vector> #include <algorithm> #include <functional> // 테스트용으로 만듬 // 이 클래스 설계 문제에 대해서는 ... .. class Widget { public: Widget() { } Widget( int in_a) : a( in_a) { } ~Widget() { } private: int a; }; // 나쁜경우의 함수 객체 // unary_function<Widget, bool>는 나중에 설명 한다. class BadPredicate : public std::unary_function<Widget, bool> { public: BadPredicate() : timeCalled(0) {} bool operator() (const Widget&) { return ++timeCalled == 3; } private: size_t timeCalled; }; //// 어떻게 remove_if가 정의되어있는지 보여준다. //template<typename FwdIterator, typename Predicate> //FwdIterator remove_if(FwdIterator begin, FwdIterator end, Predicate p) //{ // begin = find_if(begin, end, p); // if (begin == end) // return begin; // else // { // FwdIterator next = begin; // return remove_copy_if(++next, end, begin, p); // } //} // 테스트 int main( void ) { // 무의미한 값으로 10개의 값을 넣어 본다. std::vector<Widget> vw( 10 ); for(int i = 0; i < 10; i++ ) vw[i] = i; // 무엇이 지워질까? vw.erase( std::remove_if( vw.begin(), vw.end(), BadPredicate() ), vw.end() ); // 결과 // 3번째것만 지우려고 했는데 3번째와 6번째 지워지는것을 확인 할수 있을 것이다. }

관련링크
http://lagoons.net/tt/606
http://oldpie.yoonkn.com/cgi-bin/moin.cgi/EffectiveStlSum6#head-575a94524d69097ec2912c4d2175a2885fca67ed