思维导图

仿函数出现的逻辑

我们在学习stack时会遇到一些新的问题，这些问题需要我们使用非类型模板参数去解决，即我们需要在设计类时需要有一个途径去快捷的修改类内部的逻辑，而此时会出现我们用原有的方法无法修改类内部的逻辑；
因此，这里我们需要涉及到仿函数（类型函数）的概念；

仿函数使用上的巧妙

由模板的出现，结合封装的思想发展而生的一个新的逻辑构建途径，将一个类在实例化后的对象名作为一个函数名看待；在对象名后面使用operator（）并加入参数，这种方法可以允许我们对参数数量确定的情况下通过选择传递不同的类型，来实现对参数彼此之间的逻辑关系的控制修改；

仿函数的本质

仿函数其本质还是回调——凭借一个对象去使用它的函数；不过不同点在于，我们这里传输的是函数的类型，另外加一个模板参数类型，将实例化一个对象的步骤交给了仿函数去做；

仿函数的优势

这种方法的优势在于我们可以直接修改传参时传入的类型和模板参数就修改了整个类里面某一逻辑，且这种逻辑是可以被我们以自定义的方法去定义；

仿函数语法的巧妙

从仿函数的与法规则我们也可以从中看出C++的一些语法和编译过程的联系。

追根溯源，是编译过程决定哪些语法可以，哪些不可以。

观察传参，我们可以看数量、类型、种类等信息哪些被传过去了，通过这些关键信息的传递，我们可以去猜测编译过程发生了什么，接收参数的类进行自身内部的所有行为都是基于它接收到的信息，当我们在设计传参时发现错错误，一般都是类里面需要某种信息，而我们没有传递给它；
例如：
非类型模板参数必须要传递常量，以便其编译；

在实践中，我们可以发现必须要常量才能使仿函数实例化，因为实例化一个对象我们需要类的类型和模板参数类型，我们在传递类型时没有把模板参数类型传过去，这意味着当编译开始时，编译没有办法完成自己的任务，编译的任务是提前把需要使用的逻辑通路准备号好，而当我们没有传递模板参数类型时，一些类型本身就需要模板参数类型才完整，不给就无法去确定类型的一些变量的数据类型，所以就无法编译这些变量、进而无法编译一些函数，最后编译的内容由有一堆未知的东西；