mirror of
https://github.com/boostorg/stl_interfaces.git
synced 2025-05-12 06:01:41 +00:00
21e03e7013
appropriate to do so. Appropriateness follows the algorithm for zip_view's iterator. See https://eel.is/c++draft/range.zip.transform.iterator#1. Requested by LEWG reviewers of iterator_interface.
164 lines
5.3 KiB
C++
164 lines
5.3 KiB
C++
// Copyright (C) 2019 T. Zachary Laine
|
|
//
|
|
// Distributed under 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)
|
|
#include "ill_formed.hpp"
|
|
|
|
#include <boost/stl_interfaces/iterator_interface.hpp>
|
|
#include <boost/stl_interfaces/view_interface.hpp>
|
|
#include <boost/stl_interfaces/sequence_container_interface.hpp>
|
|
|
|
#include <boost/core/lightweight_test.hpp>
|
|
|
|
#include <array>
|
|
#include <list>
|
|
#include <vector>
|
|
|
|
|
|
namespace detail = boost::stl_interfaces::detail;
|
|
namespace v1_dtl = boost::stl_interfaces::v1::v1_dtl;
|
|
#if BOOST_STL_INTERFACES_USE_CONCEPTS
|
|
namespace v2_dtl = boost::stl_interfaces::v2::v2_dtl;
|
|
#endif
|
|
|
|
|
|
// iter_difference_t
|
|
static_assert(
|
|
std::is_same<v1_dtl::iter_difference_t<int *>, std::ptrdiff_t>::value, "");
|
|
static_assert(std::is_same<
|
|
v1_dtl::iter_difference_t<std::vector<double>::iterator>,
|
|
std::vector<double>::difference_type>::value, "");
|
|
static_assert(std::is_same<
|
|
v1_dtl::iter_difference_t<std::list<double>::iterator>,
|
|
std::list<double>::difference_type>::value, "");
|
|
|
|
struct ridiculous_range
|
|
{
|
|
int * begin() { return nullptr; }
|
|
double end() { return 1.3; }
|
|
};
|
|
|
|
// iterator_t
|
|
static_assert(std::is_same<
|
|
v1_dtl::iterator_t<std::vector<double>>,
|
|
std::vector<double>::iterator>::value, "");
|
|
static_assert(std::is_same<
|
|
v1_dtl::iterator_t<std::list<double>>,
|
|
std::list<double>::iterator>::value, "");
|
|
static_assert(std::is_same<v1_dtl::iterator_t<ridiculous_range>, int *>::value, "");
|
|
|
|
// sentinel_t
|
|
static_assert(std::is_same<
|
|
v1_dtl::sentinel_t<std::vector<double>>,
|
|
std::vector<double>::iterator>::value, "");
|
|
static_assert(std::is_same<
|
|
v1_dtl::sentinel_t<std::list<double>>,
|
|
std::list<double>::iterator>::value, "");
|
|
static_assert(std::is_same<v1_dtl::sentinel_t<ridiculous_range>, double>::value, "");
|
|
|
|
// range_difference_t
|
|
static_assert(
|
|
std::is_same<
|
|
v1_dtl::range_difference_t<std::vector<double>>,
|
|
std::iterator_traits<std::vector<double>::iterator>::difference_type>::value, "");
|
|
static_assert(
|
|
std::is_same<
|
|
v1_dtl::range_difference_t<std::list<double>>,
|
|
std::iterator_traits<std::list<double>::iterator>::difference_type>::value, "");
|
|
static_assert(std::is_same<
|
|
v1_dtl::range_difference_t<ridiculous_range>,
|
|
std::ptrdiff_t>::value, "");
|
|
|
|
// common_range
|
|
static_assert(v1_dtl::common_range<std::vector<double>>::value, "");
|
|
static_assert(v1_dtl::common_range<std::list<double>>::value, "");
|
|
static_assert(!v1_dtl::common_range<ridiculous_range>::value, "");
|
|
|
|
// iterator_category_base
|
|
|
|
template<typename T>
|
|
using nested_iterator_category = typename T::iterator_category;
|
|
|
|
#if BOOST_STL_INTERFACES_USE_CONCEPTS
|
|
static_assert(
|
|
ill_formed<
|
|
nested_iterator_category,
|
|
v2_dtl::iterator_category_base<std::input_iterator_tag, int &>>{});
|
|
static_assert(ill_formed<
|
|
nested_iterator_category,
|
|
v2_dtl::iterator_category_base<std::input_iterator_tag, int>>{});
|
|
static_assert(
|
|
ill_formed<
|
|
nested_iterator_category,
|
|
v2_dtl::iterator_category_base<std::output_iterator_tag, int &>>{});
|
|
static_assert(ill_formed<
|
|
nested_iterator_category,
|
|
v2_dtl::iterator_category_base<std::output_iterator_tag, int>>{});
|
|
|
|
static_assert(std::is_same<
|
|
nested_iterator_category<v2_dtl::iterator_category_base<
|
|
std::random_access_iterator_tag,
|
|
int &>>,
|
|
std::random_access_iterator_tag>::value);
|
|
static_assert(std::is_same<
|
|
nested_iterator_category<v2_dtl::iterator_category_base<
|
|
std::random_access_iterator_tag,
|
|
int>>,
|
|
std::input_iterator_tag>::value);
|
|
|
|
static_assert(std::is_same<
|
|
nested_iterator_category<v2_dtl::iterator_category_base<
|
|
std::bidirectional_iterator_tag,
|
|
int &>>,
|
|
std::bidirectional_iterator_tag>::value);
|
|
static_assert(std::is_same<
|
|
nested_iterator_category<v2_dtl::iterator_category_base<
|
|
std::bidirectional_iterator_tag,
|
|
int>>,
|
|
std::input_iterator_tag>::value);
|
|
|
|
static_assert(
|
|
std::is_same<
|
|
nested_iterator_category<
|
|
v2_dtl::iterator_category_base<std::forward_iterator_tag, int &>>,
|
|
std::forward_iterator_tag>::value);
|
|
static_assert(
|
|
std::is_same<
|
|
nested_iterator_category<
|
|
v2_dtl::iterator_category_base<std::forward_iterator_tag, int>>,
|
|
std::input_iterator_tag>::value);
|
|
#endif
|
|
|
|
|
|
struct no_clear
|
|
{};
|
|
|
|
int main()
|
|
{
|
|
|
|
{
|
|
{
|
|
no_clear nc;
|
|
v1_dtl::clear_impl<no_clear>::call(nc);
|
|
}
|
|
{
|
|
std::vector<int> vec(10);
|
|
v1_dtl::clear_impl<std::vector<int>>::call(vec);
|
|
BOOST_TEST(vec.empty());
|
|
}
|
|
}
|
|
|
|
|
|
{
|
|
std::array<int, 5> ints = {{0, 1, 2, 3, 4}};
|
|
int const new_value = 6;
|
|
detail::n_iter<int, int> first = detail::make_n_iter(new_value, 3);
|
|
detail::n_iter<int, int> last = detail::make_n_iter_end(new_value, 3);
|
|
std::copy(first, last, &ints[1]);
|
|
BOOST_TEST(ints == (std::array<int, 5>{{0, 6, 6, 6, 4}}));
|
|
}
|
|
|
|
return boost::report_errors();
|
|
}
|