std::experimental::ranges::Predicate
来自 cppreference.cn
< cpp | experimental | ranges
| template< class F, class... Args > concept bool Predicate = |
(ranges TS) | |
概念 Predicate<F, Args...> 指定 F 是一个谓词，它接受由 Args... 编码其类型和值类别的参数，即，可以用这些参数调用它以产生一个 Boolean 结果。
请注意，RegularInvocable 要求调用不修改可调用对象或参数，并且是等价保持的。
[编辑] 等价保持
如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。
所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。
