boostorg/iterator
1
0
Fork 1
mirror of https://github.com/boostorg/iterator.git synced 2025-07-29 20:37:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Removed workarounds for older compilers from is_readable_iterator.hpp.

Browse Source
This commit is contained in:
Andrey Semashev
2025-01-29 03:55:35 +03:00
parent d6a68dc6eb
commit 5aa1c9fef3
1 changed files with 37 additions and 59 deletions
Download Patch File Download Diff File Expand all files Collapse all files

96
include/boost/iterator/is_readable_iterator.hpp
View File

@ -8,77 +8,55 @@
#include <type_traits>
namespace boost {
namespace iterators {
namespace detail {
namespace detail
// Guts of is_readable_iterator. It is the iterator type and
// Value is the iterator's value_type.
template< typename It, typename Value >
struct is_readable_iterator_impl :
public std::is_convertible<
decltype(*std::declval< It& >()),
typename std::add_lvalue_reference< Value >::type
>
{
// Guts of is_readable_iterator. Value is the iterator's value_type
// and the result is computed in the nested rebind template.
template <class Value>
struct is_readable_iterator_impl
{
template <class It>
struct rebind :
public std::is_convertible<
decltype(*std::declval<It&>()),
typename std::add_lvalue_reference<Value>::type
>
{};
};
};
//
// void specializations to handle std input and output iterators
//
template <>
struct is_readable_iterator_impl<void>
{
template <class It>
struct rebind : std::false_type
{};
};
//
// void specializations to handle std input and output iterators
//
template< typename It >
struct is_readable_iterator_impl< It, void > :
public std::false_type
{
};
#ifndef BOOST_NO_CV_VOID_SPECIALIZATIONS
template <>
struct is_readable_iterator_impl<const void>
{
template <class It>
struct rebind : std::false_type
{};
};
template< typename It >
struct is_readable_iterator_impl< It, const void > :
public std::false_type
{
};
template <>
struct is_readable_iterator_impl<volatile void>
{
template <class It>
struct rebind : std::false_type
{};
};
template< typename It >
struct is_readable_iterator_impl< It, volatile void > :
public std::false_type
{
};
template <>
struct is_readable_iterator_impl<const volatile void>
{
template <class It>
struct rebind : std::false_type
{};
};
#endif
template< typename It >
struct is_readable_iterator_impl< It, const volatile void > :
public std::false_type
{
};
//
// This level of dispatching is required for Borland. We might save
// an instantiation by removing it for others.
//
template <class It>
struct is_readable_iterator_impl2 :
public is_readable_iterator_impl<
typename std::iterator_traits<It>::value_type const
>::template rebind<It>
{};
} // namespace detail
template< typename T >
struct is_readable_iterator :
public std::integral_constant<bool, boost::iterators::detail::is_readable_iterator_impl2<T>::value>
public iterators::detail::is_readable_iterator_impl<
T,
typename std::iterator_traits< T >::value_type const
>::type
{
};