return back_insert_iterator‹Container›(x);
}
template ‹class Container›
class front_insert_iterator: public output_iterator {
protected:
Container& container;
public:
front_insert_iterator(Container& x): container (x) {}
front_insert_iterator‹Container›& operator=(const Container::value_type& value) {
container.push_front(value);
return *this;
}
front_insert_iterator‹Container›& operator*() {return *this;}
front_insert_iterator‹Container›& operator++() {return *this;}
front_insert_iterator‹Container›& operator++(int) {return *this;}
};
template ‹class Container›
front_insert_iterator‹Container› front_inserter(Container& x) {
return front_insert_iterator‹Container›(х);
}
template ‹class Container›
class insert_iterator: public output_iterator {
protected:
Container& container;
Container::iterator iter;
public:
insert_iterator(Container& x, Container::iterator i) : container (x), iter(i) {}
insert_iterator‹Container›& operator=(const Container::value_type& value) {
iter = container.insert(iter, value);
++iter;
return *this;
}
insert_iterator‹Container›& operator*() {return *this;}
insert_iterator‹Container›& operator++() {return *this;}
insert_iterator‹Container›& operator++(int) {return *this;}
};
template ‹class Container, class Iterator›
insert_iterator<Container› inserter(Container& x, Iterator i) {
return insert_iterator‹Container›(x, Container::iterator(i));
}
Адаптеры функций (Function adaptors)
Функциональные адаптеры работают только с классами функциональных объектов с определёнными типами параметров и типом результата.
Отрицатели (Negators)
Отрицатели not1 и not2 берут унарный и бинарный предикаты соответственно и возвращают их дополнения.
template ‹class Predicate›
class unary_negate: public unary_function‹Predicate::argument_type, bool› {
protected:
Predicate pred;
public:
unary_negate(const Predicate& x): pred(x) {}
bool operator()(const argument_type& x) const {return !pred(x);}
};
template ‹class Predicate›
unary_negate‹Predicate› not1(const Predicate& pred) {
return unary_negate‹Predicate›(pred);
}
template ‹class Predicate›
class binary_negate: public binary_function‹Predicate::first_argument_type, Predicate::second_argument_type, bool› {
protected:
Predicate pred;
public:
binary_negate(const Predicate& x): pred(x) {}
bool operator()(const first_argument_type& x, const second_argument_type& y) const {
return !pred(x, y);
}
};
template ‹class Predicate›
binary_negate‹Predicate› not2(const Predicate& pred) {
return binary_negate‹Predicate›(pred);
}
Привязки (Binders)
Привязки bind1st и bind2nd берут функциональный объект f двух параметров и значение x и возвращают функциональный объект одного параметра, созданный из f с первым или вторым параметром соответственно, связанным с х.
template ‹class Predicate›
class binder1st: public unary_function {
protected:
Operation op;
Operation::first_argument_type value;
public:
binder1st(const Operation& x, const Operation::first_argument_type& y) : op(x), value(y) {}
result_type operator()(const argument_type& x) const {
return op(value, x);
}
};
template ‹class Operation, class T›
binder1st‹Operation› bind1st(const Operation& op, const T& x) {
return binder1st‹Operation›(op, Operation::first_argument_type(x));
}
template ‹class Operation›
class binder2nd: public unary_function‹0peration::first_argument_type, Operation::result_type› {
protected:
Operation op;
Operation::second_argument_type value;
public:
binder2nd(const Operation& x, const Operation::second_argument_type& y) : op(x), value(y) {}
result_type operator()(const argument_type& x) const {
return op(x, value);
}
};
template ‹class Operation, class T›
binder2nd‹Operation› bind2nd(const Operation& op, const T& x) {
return binder2nd‹0peration›(op, Operation::second_argument_type(x));
}
Например, find_if(v.begin(), v.end(), bind2nd(greater‹int›(), 5)) находит первое целое число в векторе v большее, чем 5; find_if(v.begin(), v.end(), bind1st(greater‹int›(), 5)) находит первое целое число в v меньшее, чем 5.
Адаптеры указателей на функции (Adaptors for pointers to functions)
Чтобы позволить указателям на (унарные и бинарные) функции работать с функциональными адаптерами, библиотека обеспечивает следующее:
template ‹class Arg, class Result›
class pointer_to_unary_function: public unary_function‹Arg, Result› {
protected:
Result (*ptr)(Arg);
public:
pointer_to_unary_function() {}
pointer_to_unary_function(Result (*x)(Arg)): ptr(x) {}
Result operator()(Arg x) const {return ptr(x);}
};
template ‹class Arg, class Result›
pointer_to_unary_function‹Arg, Result› ptr_fun(Result (*x)(Arg)) {
return pointer_to_unary_function‹Arg, Result›(x);
}
template
class pointer_to_binary_function: public binary_function {
protected:
Result (*ptr)(Arg1, Arg2);
public:
pointer_to_binary_function() {}
pointer_to_binary_function(Result (*x)(Arg1, Arg2)): ptr(х) {}
Result operator()(Arg1 x, Arg2 y) const {return ptr(x, y);}
};
template ‹class Arg1, class Arg2, class Result›
pointer_to_binary_function‹Arg1, Arg2, Result› ptr_fun(Result (*x)(Arg1, Arg2)) {
return pointer_to_binary_function‹Argl, Arg2, Result›(x);
}
Например, replace_if(v.begin(), v.end(), not1(bind2nd(ptr_fun(strcmp), "C")), "C++") заменяет все "С" на "C++" в последовательности v.
Системы трансляции, которые имеют множественный указатель на типы функций, должны обеспечить дополнительные шаблоны функций ptr_fun.
Примитивы управления памятью (Memory Handling Primitives)