std::experimental::ranges:: Predicate
| Technical Specification | ||||
| Filesystem library (filesystem TS) | ||||
| Library fundamentals (library fundamentals TS) | ||||
| Library fundamentals 2 (library fundamentals TS v2) | ||||
| Library fundamentals 3 (library fundamentals TS v3) | ||||
| Extensions for parallelism (parallelism TS) | ||||
| Extensions for parallelism 2 (parallelism TS v2) | ||||
| Extensions for concurrency (concurrency TS) | ||||
| Extensions for concurrency 2 (concurrency TS v2) | ||||
| Concepts (concepts TS) | ||||
| Ranges (ranges TS) | ||||
| Reflection (reflection TS) | ||||
| Mathematical special functions (special functions TR) | ||||
| Experimental Non-TS | ||||
| Pattern Matching | ||||
| Linear Algebra | ||||
| std::execution | ||||
| Contracts | ||||
| 2D Graphics |
| Core language concepts | |||||||||||||
| Object concepts | |||||||||||||
| Comparison concepts | |||||||||||||
| Callable concepts | |||||||||||||
|
|||||||||||||
| URNG concept | |||||||||||||
|
template
<
class
F,
class
...
Args
>
concept
bool
Predicate
=
|
(ranges TS) | |
概念
Predicate<F, Args...>
规定
F
是一个谓词，它接受类型和值类别由
Args...
编码的参数，即可以通过这些参数调用它来生成
Boolean
结果。
请注意，
RegularInvocable
要求调用过程既不修改可调用对象也不修改参数，并且保持等价关系。
等值保持性
表达式若在给定相等输入时产生相等输出，则称其具有 等值保持性 。
- 表达式的输入由其操作数构成。
- 表达式的输出由其结果及所有被该表达式修改的操作数（如有）构成。
每个要求保持相等性的表达式还必须满足 稳定性 要求：对此类表达式的两次求值，若输入对象相同，则输出结果必须相等，除非其间显式修改了这些输入对象。