条目三十九 确保判别式是“纯函数”

Posted 2021-11-25 liangjf

《条目三十九 确保判别式是“纯函数”》

一个判别式（predicate）是一个返回值为bool类型（或者可以隐式地转换为bool类型）的函数。

一个纯函数（pure function）是指返回值仅仅依赖于其参数的函数。纯函数所能访问的数据应该仅局限于参数以及常量（在函数生命期内不会被改变

判别式类（predicate class）是一个函数子类，它的operator()函数是一个判别式，也就说是，它的operator()返回true或者false。

一个精心设计的判别式类应该保证其operator()函数完全独立于mutable数据成员、非const的局部static对象、非const的类static对象、名字空间域中的非const对象，以及非const的全局对象。

究其原因就是因为是值传递的，如果不是纯函数，多次调用判别式会被外部影响。