C++ 参考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支持情况表
- 独立与宿主实现
- C++ 语言
- C++ 关键词
- 预处理器
- C++ 标准库头文件
- 具名要求
- 功能特性测试 (C++20)
- 工具库
- 类型支持（基本类型、RTTI、类型特性）
- 概念库 (C++20)
- std::common_reference_with
- std::convertible_to
- std::same_as
- std::derived_from
- std::common_with
- std::integral
- std::signed_integral
- std::unsigned_integral
- std::floating_point
- std::swappable, std::swappable_with
- std::destructible
- std::constructible_from
- std::default_initializable
- std::move_constructible
- std::copy_constructible
- std::assignable_from
- std::equality_comparable, std::equality_comparable_with
- std::totally_ordered, std::totally_ordered_with
- std::movable
- std::copyable
- std::semiregular
- std::regular
- std::invocable, std::regular_invocable
- std::predicate
- std::relation
- std::equivalence_relation
- std::strict_weak_order
- boolean-testable
- 注释
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 容器库
- 迭代器库
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- 正则表达式库
- 原子操作库
- 线程支持库
- 实验性 C++ 特性
- 有用的资源
- 索引
- std 符号索引
- 协程支持 (C++20)
- C++ 关键词
位置：首页 > C++ 参考手册 >概念库 (C++20) > std::predicate
std::predicate
| 定义于头文件 <concepts>
|
||
| template < class F, class... Args > concept predicate = |
(C++20 起) | |
概念 predicate<F, Args...> 指定 F 是谓词，接受类型和值类别由 Args... 编码的参数，即能以这些参数调用它并产生 boolean 结果。
注意 regular_invocable 要求调用既不修改可调用对象亦不修改参数，并保持相等性。
相等性保持
若表达式对给定的相等输入产生相等输出，则它保持相等性。
- 表达式的输入由其运算数组成。
- 表达式的输出由其结果和表达式所修改的所有运算数（若存在）组成。
进一步要求每个要求保持相等性的表达式都稳定：这种表达式带相同输入对象的二次求值必须拥有相等的输出，而无任何对这些输入对象的显式中间修改。