查看std::ranges::min
's 函数签名:
template< ranges::input_range R, class Proj = std::identity,
std::indirect_strict_weak_order<
std::projected<ranges::iterator_t<R>, Proj>> Comp = ranges::less >
requires std::indirectly_copyable_storable<ranges::iterator_t<R>, ranges::range_value_t<R>*>
constexpr ranges::range_value_t<R> min( R&& r, Comp comp = {}, Proj proj = {} );
它返回range_value_t<R>
这意味着value_type
范围需要是copyable
,所以ranges::min
需要indirectly_copyable_storable
哪个需要indirectly_copyable
哪个需要 indirectly_writable
:
template<class Out, class T>
concept indirectly_writable =
requires(Out&& o, T&& t) {
*o = std::forward<T>(t);
*std::forward<Out>(o) = std::forward<T>(t);
const_cast<const std::iter_reference_t<Out>&&>(*o) = std::forward<T>(t);
const_cast<const std::iter_reference_t<Out>&&>(*std::forward<Out>(o)) =
std::forward<T>(t);
};
我们需要*o = std::forward<T>(t)
有效的表达式 which is Out
,但这是不可能的,因为我们不能将 a 分配给其他:range_value_t<R>*
std::pair<const int, int>*
std::pair<const int, int>
std::pair<const int, int> a, b;
// use of deleted function 'std::pair<const int, int>& std::pair<const int, int>::operator=(const std::pair<const int, int>&)'
a = b;
所以不幸的是,std::ranges::min
不能适用于std::map
:
// constraints not satisfied
std::ranges::min(std::map<int, int>{});
但是如果你想找到std::map
它的最小值key_type/mapped_type
,你可以使用 c++20 范围适配器std::views::keys/values
,它适用于std::ranges::min
:
std::map<int, int> usage_table{{5, -12}, {3, 4}};
// -12
auto lowest = std::ranges::min(usage_table | std::views::values);