|
-
-
-
-
-
-
-
-
-
-
-
- #ifndef RANGES_V3_DETAIL_ADL_GET_HPP
- #define RANGES_V3_DETAIL_ADL_GET_HPP
-
- #include <cstddef>
-
- #include <concepts/concepts.hpp>
-
- #include <range/v3/range_fwd.hpp>
-
- namespace ranges
- {
-
- namespace detail
- {
- namespace _adl_get_
- {
- template<typename>
- void get();
-
- template<std::size_t I, typename TupleLike>
- constexpr auto adl_get(TupleLike && t) noexcept
- -> decltype(get<I>(static_cast<TupleLike &&>(t)))
- {
- return get<I>(static_cast<TupleLike &&>(t));
- }
- template<typename T, typename TupleLike>
- constexpr auto adl_get(TupleLike && t) noexcept
- -> decltype(get<T>(static_cast<TupleLike &&>(t)))
- {
- return get<T>(static_cast<TupleLike &&>(t));
- }
- }
- using _adl_get_::adl_get;
- }
-
- namespace _tuple_wrapper_
- {
- template<typename TupleLike>
- struct forward_tuple_interface : TupleLike
- {
- forward_tuple_interface() = default;
- using TupleLike::TupleLike;
- #if !defined(__clang__) || __clang_major__ > 3
- CPP_member
- constexpr CPP_ctor(forward_tuple_interface)(TupleLike && base)(
- noexcept(std::is_nothrow_move_constructible<TupleLike>::value)
- requires move_constructible<TupleLike>)
- : TupleLike(static_cast<TupleLike &&>(base))
- {}
- CPP_member
- constexpr CPP_ctor(forward_tuple_interface)(TupleLike const & base)(
- noexcept(std::is_nothrow_copy_constructible<TupleLike>::value)
- requires copy_constructible<TupleLike>)
- : TupleLike(base)
- {}
- #else
-
-
-
- CPP_template(typename B = TupleLike)(
- requires move_constructible<B>)
- constexpr forward_tuple_interface(TupleLike && base) noexcept(
- std::is_nothrow_move_constructible<TupleLike>::value)
- : TupleLike(static_cast<TupleLike &&>(base))
- {}
- CPP_template(typename B = TupleLike)(
- requires copy_constructible<B>)
- constexpr forward_tuple_interface(TupleLike const & base) noexcept(
- std::is_nothrow_copy_constructible<TupleLike>::value)
- : TupleLike(base)
- {}
- #endif
-
-
- template<std::size_t I, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> &wb)
- (
- return detail::adl_get<I>(static_cast<U &>(wb))
- )
- template<std::size_t I, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> const &wb)
- (
- return detail::adl_get<I>(static_cast<U const &>(wb))
- )
- template<std::size_t I, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> &&wb)
- (
- return detail::adl_get<I>(static_cast<U &&>(wb))
- )
- template<std::size_t I, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> const &&wb)
- (
- return detail::adl_get<I>(static_cast<U const &&>(wb))
- )
- template<typename T, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> &wb)
- (
- return detail::adl_get<T>(static_cast<U &>(wb))
- )
- template<typename T, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> const &wb)
- (
- return detail::adl_get<T>(static_cast<U const &>(wb))
- )
- template<typename T, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> &&wb)
- (
- return detail::adl_get<T>(static_cast<U &&>(wb))
- )
- template<typename T, typename U = TupleLike>
- friend constexpr auto CPP_auto_fun(get)(
- forward_tuple_interface<TupleLike> const &&wb)
- (
- return detail::adl_get<T>(static_cast<U const &&>(wb))
- )
-
- };
- }
-
- }
-
- #endif
|