- 一个判别式是一个返回值为bool类型（或者可以隐式转换成bool类型的）函数。
- 一个纯函数是指返回值仅仅依赖其参数的函数，例如：假设f是一个纯函数，x，y是两个对象，那么只有x或者y发生变化时，f(x,y)返回值才可能发生变化。
在C++中，纯函数所能访问的数据仅局限于
参数以及常量（在函数生命周期内不会被改变，这个常量数据应该声明称const）
STL中凡是需要判别式函数的地方，既可以接受一个真正的函数，也可以接受一个判别式类的对象；反之亦然，STL中凡是可以接受一个判别式类的对象地方，也可以接受一个判别式函数