STL源码分析--仿函数 & 模板的模板参数 & 临时对象

STL源码分析—使用的一些特殊语法

关于泛型编程中用到的一些特殊语法，这些语法也适用于平常的模板编程

1、 类模板中使用静态成员变量

Static成员变量在类模板中并不是很特殊，同时这个变量不属于对象，属于实例化以后的这个类类型。每一个实例化对应一个static变量

2、 类模板中可以再有模板成员

3、 模板参数可以根据前一个模板参数而设定默认值

4、 类模板可以拥有非类型的模板参数

所谓非类型的模板参数就是内建型的模板参数

Template <class T,class Alloc = alloc,size_t bufsize =0>最后一个参数就是非类型的模板参数

5、 静态常量整数成员在class内部直接初始化（关于这个点的内容在上一篇文章中有介绍）

6、 关于自增自减操作符重载，它的重载和前置后置有关 返回临时变量 返回引用

7、 STL中的区间都是符合前闭后开区间表示方法

8、 临时对象的产生于运用

所谓临时对象，就是一种无名对象。它的出现如果不在程序员的预期之下（例如任何pass by value操作都会引发copy操作，于是形成一个临时对象），往往造成效率上的负担，但有时候可以制造一些临时对象，却又使得程序干净清爽。可以制造临时对象的方法是：在型别名称之后直接加一对小括号，并可指定初值，例如Sharpe(3,5)或者int(6)，其意义相当于用相应的构造函数且不指定对象名称，STL中最常使用这样的技巧在仿函数与算法的搭配上。

Class print

{

Public:

Void operator(){costT& elem}

{

Cout<<elem<<endl; //operator()重载

}

};

For_each(vi.begin(),vi.end(),print<int>());

Print<int>()是一个临时对象，不是一个函数调用操作

最后一行便是产生“classtemplate实例化”print<int>的一个临时对象。这个对象将被传入for_earch()之中的起作用，当for_earch()结束时，这个临时对象也就结束了它的生命



Function call 操作符（operator()）

这里直接进入正题说仿函数的事情

STL算法的特殊版本所接收的所谓“条件”或“策略”或“一整组操作”，都是以仿函数形式呈现，所谓仿函数就是使用起来像函数一样的东西，如果你针对某个class进行operator()重载，它就成为一个仿函数，至于成为一个可配接的仿函数，还需要一些努力

Template <class T>

Struct plus{

Toperator()(const T& x,const T& y) const

{

Return x+y;

}

};



Template <class T>

Struct minus{

Toperator()(const T& x,const T& y) const

{

Return x+y;

}

};

Int main()

{

//产生的仿函数对象

Plus<int> plusobj;

Minus<int> minusobj;



//以下使用仿函数，就像使用一般函数一样

Cout<<plusobj(3,5)<<endl; //5

Cout<<minus(3,5)<<endl; // -2



//以下直接产生仿函数的临时对象（第一对小括号），并调用之（第二对小括号）

Cout<<plus<int>()(3,3)<<endl;

Cout<<minus<int>()(4,3)<<endl;

}



至于模板的模板参数，在定义stack的时候用到过

template <typename T, classSeq=vector<T> >

class myself

{

private:

Seq c;



};

也可以这样

template <typename T,template<typename M> class Seq=vector >

class myself

{

private:

Seq<T> c;



};



也可以这样



template <typename T,template<typename M,typename Alloc=std::allocator<T> > classSeq=vector >

class myself

{

private:

Seq<T> c;



};

好好揣摩着几种定义方式的技巧