Botan::concepts::has_bounds_checked_accessors Concept Reference

#include <concepts.h>

Concept definition

template<typename T>
concept Botan::concepts::has_bounds_checked_accessors =  container<T> && (
                                          requires(T a, const T ac, typename T::size_type s) {
                                             { a.at(s) } -> std::same_as<typename T::value_type&>;
                                             { ac.at(s) } -> std::same_as<const typename T::value_type&>;
                                          } ||
                                          requires(T a, const T ac, typename T::key_type k) {
                                             { a.at(k) } -> std::same_as<typename T::mapped_type&>;
                                             { ac.at(k) } -> std::same_as<const typename T::mapped_type&>;
                                          })

Detailed Description

Definition at line 181 of file concepts.h.