|
|
需要注意的是,本節(jié)題目中"函數(shù)對(duì)象"四字是加了雙引號(hào)的,因?yàn)镃語(yǔ)言中沒(méi)有辦法做到類C++中函數(shù)對(duì)象的做法,CGL中采用的替代手段是使用函數(shù)指針. 首先需要短暫回顧STL中的函數(shù)對(duì)象以及函數(shù)對(duì)象適配器等概念. STL中的最基本的函數(shù)對(duì)象分為三類: generator, unary function,binary function,其中的generator是無(wú)參數(shù)函數(shù),unary function是單參數(shù)函數(shù),binary function是雙參數(shù)函數(shù).注意,以上只是提到的三者的傳入?yún)?shù)的數(shù)量,還沒(méi)有涉及到它們所要返回的參數(shù)類型.一般的,三者都是以template參數(shù)作為自己返回參數(shù)的類型,但是當(dāng)unary function和binary function返回參數(shù)是bool型的時(shí)候,分別稱它們?yōu)?predicate和binary predicate,這是因?yàn)镾TL中很多范型參數(shù)的調(diào)用需要傳入一個(gè)函數(shù)對(duì)象進(jìn)行元素的比較.如sort,find_if等函數(shù).
函數(shù)對(duì)象適配器分為兩類:一類是綁定器(binder),另外一類是取反器(negator),綁定器用于綁定函數(shù)對(duì)象中的某個(gè)參數(shù),取反器用于將函數(shù)對(duì)象的返回值進(jìn)行翻轉(zhuǎn),一般的,可以使用取反器的函數(shù)對(duì)象都是那些返回值為bool型的函數(shù)對(duì)象.
CGL中不能實(shí)現(xiàn)函數(shù)適配器,因?yàn)榻壎ㄆ髟诮壎▍?shù)的時(shí)候是通過(guò)將所需要綁定的參數(shù)作為模版參數(shù)傳遞給函數(shù)對(duì)象類進(jìn)行參數(shù)綁定的,如:
 template <class Operation>
class binder2nd
: public unary_function<typename Operation::first_argument_type,
typename Operation::result_type> {
protected:
Operation op;
typename Operation::second_argument_type value;
public:
binder2nd(const Operation& x,
const typename Operation::second_argument_type& y)
: op(x), value(y) {}
typename Operation::result_type
operator()(const typename Operation::first_argument_type& x) const {
return op(x, value);
}
};
template <class Operation, class T>
inline binder2nd<Operation> bind2nd(const Operation& op, const T& x) {
typedef typename Operation::second_argument_type arg2_type;
return binder2nd<Operation>(op, arg2_type(x));
}
同樣的,C中也沒(méi)有辦法實(shí)現(xiàn)negator函數(shù)對(duì)象適配器,見(jiàn)代碼:
template <class Predicate>
class unary_negate
: public unary_function<typename Predicate::argument_type, bool> {
protected:
Predicate pred;
public:
explicit unary_negate(const Predicate& x) : pred(x) {}
bool operator()(const typename Predicate::argument_type& x) const {
return !pred(x);
}
};
template <class Predicate>
inline unary_negate<Predicate> not1(const Predicate& pred) {
return unary_negate<Predicate>(pred);
}
以上是negator函數(shù)not1函數(shù)的實(shí)現(xiàn).可以看到這個(gè)函數(shù)返回一個(gè)unary_negate函數(shù)對(duì)象,而在這個(gè)函數(shù)對(duì)象重載的operator()中對(duì)pred函數(shù)的返回值進(jìn)行取反以達(dá)到negator函數(shù)對(duì)象適配器的作用,同樣的,用于C中不能做到重載operator(),所以沒(méi)有辦法實(shí)現(xiàn)negator函數(shù)對(duì)象適配器.
STL中還有一些預(yù)定義的函數(shù)對(duì)象如plus,equal_to等,見(jiàn)代碼:
template <class T>
struct plus : public binary_function<T, T, T> {
T operator()(const T& x, const T& y) const { return x + y; }
};
plus的函數(shù)參數(shù)是通過(guò)模版參數(shù)T傳入的,任何想要采用plus的類型都需要提供operator + 操作符.因?yàn)檫@個(gè)特點(diǎn),C中也沒(méi)有辦法實(shí)現(xiàn)這些預(yù)定義的函數(shù)對(duì)象.
鑒于以上的原因,CGL中的"函數(shù)對(duì)象"被定義為幾種函數(shù)指針:
typedef bool_t (*binary_predicate)(data_t tData1, data_t tData2);
typedef void (*binary_func)(data_t tData1, data_t tData2, data_t tResult);
typedef void (*binary_func2)(data_t tData1, data_t tData2);
typedef bool_t (*unary_predicate)(data_t tData);
typedef void (*unary_func)(data_t tData, data_t tResult);
typedef void (*unary_func2)(data_t tData);
typedef void (*generator_func)(data_t tResult);
typedef void (*generator_func2)();
這些函數(shù)指針的返回值只有兩種,bool_t和void,當(dāng)需要返回除了boot_t之外的返回值時(shí),將保存返回值的指針tResult傳入函數(shù)中保存返回值,所有CGL中使用的函數(shù)指針都只可能是以上的幾種函數(shù)指針類型.
|