概念定义

template<typename T1, typename T2>
concept totally_ordered_with =
        totally_ordered<T1> && totally_ordered<T2> && equality_comparable_with<T1, T2> &&
        totally_ordered<common_reference_t<const remove_reference_t<T1>&, const remove_reference_t<T2>&>> &&
        both_ordered_with<T1, T2>

详细描述

检查两个类型是否可以互相完全有序比较

模板参数

T1	第一个类型
T2	第二个类型

在文件 concepts.hpp 第 260 行定义.