std::experimental::ranges::Predicate

定义于头文件 `<experimental/ranges/concepts>`
template< class F, class... Args > concept bool Predicate = RegularInvocable<F, Args...> && Boolean<std::result_of_t<F&&(Args&&...)>>;		(ranges TS)

概念 Predicate<F, Args...> 规定 F 是一个谓词，它接受由 Args... 编码的类型和值类别的参数，即，它可以与这些参数一起调用以产生一个 Boolean 结果。

注意 RegularInvocable 要求调用既不修改可调用对象也不修改参数，并且是保等价的。

如果一个表达式在给定相等输入时产生相等输出，则该表达式是等价保持的。

每个要求等价保持的表达式还必须是稳定的：在没有显式介入修改这些输入对象的情况下，对具有相同输入对象的此类表达式的两次求值必须具有相等的输出。

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D图形