STL의 함수 객체는 일반적으로 값으로 전달(복사) 된다. 하지만
for_each<vector<Object>::iterator, DoSomething&>(vi.begin(), vi.end(), d); |
// 실제 구현부 함수
template<typename T>
class BPFCImpl{
private:
Widget w;
int x;
…virtual ~BPFCImpl();
// 다형성으로 구현된 함수
virtual void operator()(const T& val) const;
// 프록시 클래스가 접근가능하게 한다.
friend class BPFC<T>
};// 프록시 클래스
template<typename T>
class BPFC: public unary_function<T, void>
{
private:
BPFCImpl<T> *pImpl;public:
void operator()(const T& val) const
{
// 실제 구현객체를 호출한다.
pImpl->operator()(val);
}
};
STL 에서는 아래와 같이 특정 범위에 대한 연산을 준비해 놓고 있다.
| count | 범위 내의 요소 개수를 센다. |
| count_if | 조건에 맞는 요소 개수를 센다. |
| min_element | 범위내의 최소값을 얻는다. |
| max_element | 범위내의 최대값을 얻는다. |
list<double> ld;
….
double sum = accumulate(ld.begin(), ld.end(). 0.0);
string::size_type
stringLengthSum(string::size_type sumSoFar, const string& s)
{
return sumSoFar+s.size();
}
set<string> ss;
…
string::size_type lengthSum =
accumulate(ss.begin(), ss.end(), 0, stringLengthSum);
vector<float> vf;
…
float product =
accumulate(vf.begin(), vf.end(), 1.0, multiplies<float>() );
// 사용자 클래스
struct Point{
Point(double initX, double initY): x(initX), y(initY) {}
double x,y;
}// 적용될 함수자. 자세한 내용은 EffectiveSTL40을 참조
class PointAverage : public binary_function<Point, Point, Point> {
public:
PointAverage() : xSum(0), ySum(0), numPoints(0) {}
const Point operator() (const Point& avgSoFar, const Point& p)
{
++numPoints;
xSum += p.x;
ySum += p.y;
return Point(xSum/numPoint, ySum/numPoint);
}private:
size_t numPoints;
double xSum;
double ySum;
};// 실제 사용예
list<Point> lp;
…
Point avg =
accumulate(lp.begin(), lp.end(), Point(0,0) PointAverage());
// EffectiveSTL 40 참조
class PointAverage : public unary_function<Point, void> {
public:
PointAverage() : xSum(0), ySum(0), numPoints(0) {}
void operator()(const Point& p )
{
++numPoints;
xSum += p.x;
ySum += p.y;
}Point result() const
{
return Point(xSum/numPoints, ySum/numPoints);
}private:
size_t numPoints;
double xSum;
double ySum;
};// 사용예
list<Point> lp;
…
Point avg = for_each(lp.begin(), lp.end(), PointAverage()).result();
STL에는 여러가지 copy 알고리즘을 제공하지만 copy_if 는 존재하지 않는다. 즉 원하는 것만을 복사를 하는 알고리즘은 직접 구현해야 한다.
template< typename IIter
typename OIter,
typename Predicate>
OIter copy_if(IIterbegin,
IIter end,
OIter destBegin,
Predicate p)
{
while(begin != end)
{
if( p(*begin) ) *destBegin++ = *begin;
++begin;
}
return destBegin;
}
tolower, mismatch 를 이용해서 구현하는 방법이 있고, lexicoraphical_compare 를 이용할 수도 있다. 자세한 내용은 귀찮으므로 패스.
특정 알고리즘들은 미리 정렬시킨 범위를 넣어주어야 한다. 만약 이러한 규칙을 지키지 않았을 경우에는 실행시 동작을 예측 할수 없게 된다.
| binary_search | lower_bound | upper_bound | equal_range |
| set_union | set_intersection | set_difference | set_symmetric_difference |
| merge | inplace_merge | ||
| include |
vector<int> v;
…
sort(v.begin(), v.end(), greater<int>());
…
bool a5Exists = binary_search(v.begin(), v.end(), 5);
bool a5Exists = binary_search(v.begin(), v.end(), 5, greater<int>());
EffectiveSTL32에서 언급한 것처럼 remove(remove_if, unique)는 지워질 데이터에 대해서 지워 지지 않는 데이타로 덮어써 버리는 동작을 취한다. 이런 동작은 컨테이너의 요소타입이 포인터일 경우 심각한 메모리 누수 현상을 일으킬 가능성이 있다.
remove 알고리즘의 경우 범위를 나타내는 한쌍의 반복자를 인자로 받는다. 여기서 문제가 생기는데 반복자만으로는 어떤 컨테이너 인지 알수 없을 뿐더러 해당 컨테이너를 접근할수도 없다.
그 결과 remove 알고리즘을 호출하더라 하더라도 컨테이너에 들어있는 요소의 개수가 삭제되지 않는 결과가 나타나게 된다. 이유는
romove는 어느것도 진짜로 없애지 않는다. 없앨수 없기 때문이다.
vector<int> v;
v.reserve(10);
for(int i=1; i<=10; ++i)
{
v.push_back(i);
}
v[3] = v[5] = v[9] = 99;
remove(v.begin(), v.end(), 99);
v.begin() v.end()같은 상태이다. remove를 호출한 이후는
↓ ↓
┌──┬──┬──┬──┬──┬──┬──┬──┬──┬──┐
│1 │2 │3 │99│5 │99│7 │8 │9 │99│
└──┴──┴──┴──┴──┴──┴──┴──┴──┴──┘
v.begin() v.end()위와 같은 상태를 갖게 된다. 즉 remove는 남아있을 값을 앞쪽으로 모아 놓고 논리적인 마지막 위치의 반복자를 리턴하게 되는 것이다. 이후 remove에서 리턴한 반복자와 원래 컨테이너의 end() 반복자 사이의 요소를 컨테이너의 erase를 호출하여 삭제해줘야 한다.
↓ ↓
┌─┬─┬─┬─┬─┬─┬─┬─┬─┬─┐
│1│2│3│5│7│8│9│?│?│?│
└─┴─┴─┴─┴─┴─┴─┴─┴─┴─┘
↑
remove에서 리턴된 반복자위치
vector<int> v;
…
v.erase(remove(v.begin(), v.end(), 99), v.end());
컨테이너를 대상으로 알고리즘을 수행할때는 언제나 알고리즘의 결과가 어디에 입력이 되는지를 생각해야 한다. 예를 들어
int transmogrify(int x); // 정수 x를 받아
// 새로운 값을 생성
vector<int> values;
vector<int> result;
transform(values.begin(), values.end(),
result.end(), // 알고리즘의 결과를
transmogrify); // result 뒤에 추가 시도
int transmogrify(int x);
//…
vector<int> values;
list<int> result;
transform(values.begin(), values.end(),
front_inserter(result),
transmogrify);
