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::equivalence_relation
std::equivalence_relation
| 定义于头文件 <concepts>
|
||
| template < class R, class T, class U > concept equivalence_relation = std::relation<R, T, U>; |
(C++20 起) | |
概念 equivalence_relation<R, T, U> 指定 relation R 在其参数上施加等价关系。
语义要求
关系 r 为等价关系若
- 它为自反：对于所有
x，r(x, x)为true； - 它为对称：对于所有
a与b，r(a, b)为true当且仅当r(b, a)为true； - 它为传递：
r(a, b) && r(b, c)蕴含r(a, c)。
注解
relation 与 equivalence_relation 间的区别是纯语义的。