1 // Copyright (C) 2019 T. Zachary Laine
3 // Distributed under the Boost Software License, Version 1.0. (See
4 // accompanying file LICENSE_1_0.txt or copy at
5 // http://www.boost.org/LICENSE_1_0.txt)
6 #ifndef BOOST_STL_INTERFACES_FWD_HPP
7 #define BOOST_STL_INTERFACES_FWD_HPP
9 #include <boost/stl_interfaces/config.hpp>
11 #if BOOST_STL_INTERFACES_USE_CONCEPTS
14 #if defined(__cpp_lib_three_way_comparison)
18 #ifndef BOOST_STL_INTERFACES_DOXYGEN
20 #if defined(_MSC_VER) || defined(__GNUC__) && __GNUC__ < 8
21 #define BOOST_STL_INTERFACES_NO_HIDDEN_FRIEND_CONSTEXPR
22 #define BOOST_STL_INTERFACES_HIDDEN_FRIEND_CONSTEXPR
24 #define BOOST_STL_INTERFACES_HIDDEN_FRIEND_CONSTEXPR constexpr
27 #if defined(__GNUC__) && __GNUC__ < 9
28 #define BOOST_STL_INTERFACES_CONCEPT concept bool
30 #define BOOST_STL_INTERFACES_CONCEPT concept
36 namespace boost { namespace stl_interfaces {
38 /** An enumeration used to indicate whether the underlying data have a
39 contiguous or discontiguous layout when instantiating `view_interface`
40 and `sequence_container_interface`. */
41 enum class element_layout : bool {
42 discontiguous = false,
46 BOOST_STL_INTERFACES_NAMESPACE_V1 {
49 template<typename... T>
52 template<typename Iter>
53 using iter_difference_t =
54 typename std::iterator_traits<Iter>::difference_type;
56 template<typename Range, typename = void>
58 template<typename Range>
61 void_t<decltype(std::declval<Range &>().begin())>>
63 using type = decltype(std::declval<Range &>().begin());
65 template<typename Range>
66 using iterator_t = typename iterator<Range>::type;
68 template<typename Range, typename = void>
70 template<typename Range>
73 void_t<decltype(std::declval<Range &>().end())>>
75 using type = decltype(std::declval<Range &>().end());
77 template<typename Range>
78 using sentinel_t = typename sentinel<Range>::type;
80 template<typename Range>
81 using range_difference_t = iter_difference_t<iterator_t<Range>>;
83 template<typename Range>
85 std::is_same<iterator_t<Range>, sentinel_t<Range>>;
87 template<typename Range, typename = void>
88 struct decrementable_sentinel : std::false_type
91 template<typename Range>
92 struct decrementable_sentinel<
94 void_t<decltype(--std::declval<sentinel_t<Range> &>())>>