template < class F, class I1, class I2 = I1 >
concept bool IndirectStrictWeakOrder =
ranges::Readable<I1> && ranges::Readable<I2> &&
ranges::CopyConstructible<F> &&
ranges::StrictWeakOrder<F&, ranges::value_type_t<I1>&, ranges::value_type_t<I2>&> &&
ranges::StrictWeakOrder<F&, ranges::value_type_t<I1>&, ranges::reference_t<I2>> &&
ranges::StrictWeakOrder<F&, ranges::reference_t<I1>, ranges::value_type_t<I2>&> &&
ranges::StrictWeakOrder<F&, ranges::reference_t<I1>, ranges::reference_t<I2>> &&
ranges::StrictWeakOrder<F&, ranges::iter_common_reference_t<I1>,
ranges::iter_common_reference_t<I2>>; |
|
(范围 TS) |