config/test/boost_no_cxx17_iterator_traits.ipp

55 lines
1.5 KiB
C++

// Copyright (c) Andrey Semashev 2017.
// Use, modification and distribution are subject to the
// Boost Software License, Version 1.0. (See accompanying file
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
// See http://www.boost.org/libs/config for most recent version.
// MACRO: BOOST_NO_CXX17_ITERATOR_TRAITS
// TITLE: C++17 std::iterator_traits
// DESCRIPTION: The compiler does not support SFINAE-friendly std::iterator_traits defined in C++17.
#include <iterator>
namespace boost_no_cxx17_iterator_traits {
struct iterator
{
typedef std::random_access_iterator_tag iterator_category;
typedef char value_type;
typedef std::ptrdiff_t difference_type;
typedef char* pointer;
typedef char& reference;
reference operator*()const;
iterator operator++();
};
struct non_iterator {};
template< typename T >
struct void_type { typedef void type; };
template< typename Traits, typename Void = void >
struct has_iterator_category
{
enum { value = false };
};
template< typename Traits >
struct has_iterator_category< Traits, typename void_type< typename Traits::iterator_category >::type >
{
enum { value = true };
};
int test()
{
static_assert(has_iterator_category< std::iterator_traits< boost_no_cxx17_iterator_traits::iterator > >::value, "has_iterator_category failed");
static_assert(!has_iterator_category< std::iterator_traits< boost_no_cxx17_iterator_traits::non_iterator > >::value, "has_iterator_category negative check failed");
return 0;
}
}