1.仿函数的定义是很简单的，就是一个重载了括号（）运算符的类，也被称为函数对象。
主要是用于个性化扩展算法对象。stl中实现了好多算法，每个算法都可以完成日常的大部分工作，设计者还允许你在这些强大的算法上再插上别的功能。
怎么插？插的比较泛型和object oriented？这就需要直接把你想添加的功能做参数传给算法对象，于是他们就弄出来个函数对象，让你用起来像函数，但插起来像普通的C++类
比如定义一个仿函数
template <class T>
class functor
{
T operator()(T x){return x+x;}
};
cout<<functor<int>()(2);
好了这就是仿函数。
2.typename
先看问题
template <class T>
class Test
{
typedef T argument_type;
}
template <class T2>
class Test2
{
T2::argument_type*x;
}
Test2<Test> obj;
cout<<obj.x;
Test2模板类有点特别，它实例化的时候模板参数必须要有argument_type这个成员，而且这个arguement_type也比较特别，它是一个类型定义成员,不是用来运算而是用来定义别的变量。按惯例编译器会把T2::argument_type这种写法当作静态成员处理，但是这里如果按照静态成员去解析一个类型定义显然会报错，而且即使编译器考虑到T2::argument_type有可能是个类型定义，那它也无从追溯，对于模板参数T2及其成员，在Test2实例化之前编译器根本不知道这些信息，除非加typename显式声明。
另外，让我们再从编译器的角度看待实例化。
我们认为定义对象是一个实例化的过程，其实编译器得到这样一个指示后并不为对象分配内存，它仍然是为程序的运转做规划，编译后的文件实际上就是一份程序执行方案。何为实例化，答案是we don't care。我们当然是只关注问题的解决，而不是概念本身。
