mirror of
https://github.com/boostorg/iterator.git
synced 2025-05-09 23:23:54 +00:00
dc96d371fa
This change excludes boost:: and boost::detail:: namespaces from ADL for unqualified function calls (e.g. algorithms). This reduces the possibility of name clashes with other libraries and user's code. One of the effects should be fixing test failures on gcc 4.2 and 4.4 due to clashed with Boost.TypeTraits. Also some of the functions marked with inline keyword.
108 lines
2.8 KiB
C++
108 lines
2.8 KiB
C++
// Copyright David Abrahams 2003.
|
|
// 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 <boost/iterator/iterator_adaptor.hpp>
|
|
#include <boost/static_assert.hpp>
|
|
|
|
#include "static_assert_same.hpp"
|
|
|
|
#include <boost/iterator/detail/minimum_category.hpp>
|
|
|
|
struct X { int a; };
|
|
|
|
|
|
struct Xiter : boost::iterator_adaptor<Xiter,X*>
|
|
{
|
|
Xiter();
|
|
Xiter(X* p) : boost::iterator_adaptor<Xiter, X*>(p) {}
|
|
};
|
|
|
|
void take_xptr(X*) {}
|
|
void operator_arrow_test()
|
|
{
|
|
// check that the operator-> result is a pointer for lvalue iterators
|
|
X x;
|
|
take_xptr(Xiter(&x).operator->());
|
|
}
|
|
|
|
template <class T, class U, class Min>
|
|
struct static_assert_min_cat
|
|
: static_assert_same<
|
|
typename boost::iterators::detail::minimum_category<T,U>::type, Min
|
|
>
|
|
{};
|
|
|
|
void category_test()
|
|
{
|
|
using namespace boost::iterators;
|
|
using namespace boost::iterators::detail;
|
|
|
|
BOOST_STATIC_ASSERT((
|
|
!boost::is_convertible<
|
|
std::input_iterator_tag
|
|
, input_output_iterator_tag>::value));
|
|
|
|
BOOST_STATIC_ASSERT((
|
|
!boost::is_convertible<
|
|
std::output_iterator_tag
|
|
, input_output_iterator_tag>::value));
|
|
|
|
BOOST_STATIC_ASSERT((
|
|
boost::is_convertible<
|
|
input_output_iterator_tag
|
|
, std::input_iterator_tag>::value));
|
|
|
|
BOOST_STATIC_ASSERT((
|
|
boost::is_convertible<
|
|
input_output_iterator_tag
|
|
, std::output_iterator_tag>::value));
|
|
|
|
#if 0 // This seems wrong; we're not advertising
|
|
// input_output_iterator_tag are we?
|
|
BOOST_STATIC_ASSERT((
|
|
boost::is_convertible<
|
|
std::forward_iterator_tag
|
|
, input_output_iterator_tag>::value));
|
|
#endif
|
|
|
|
int test = static_assert_min_cat<
|
|
std::input_iterator_tag,input_output_iterator_tag, std::input_iterator_tag
|
|
>::value;
|
|
|
|
test = static_assert_min_cat<
|
|
input_output_iterator_tag,std::input_iterator_tag, std::input_iterator_tag
|
|
>::value;
|
|
|
|
#if 0
|
|
test = static_assert_min_cat<
|
|
input_output_iterator_tag,std::forward_iterator_tag, input_output_iterator_tag
|
|
>::value;
|
|
#endif
|
|
|
|
test = static_assert_min_cat<
|
|
std::input_iterator_tag,std::forward_iterator_tag, std::input_iterator_tag
|
|
>::value;
|
|
|
|
test = static_assert_min_cat<
|
|
std::input_iterator_tag,std::random_access_iterator_tag, std::input_iterator_tag
|
|
>::value;
|
|
|
|
#if 0 // This would be wrong: a random access iterator is not
|
|
// neccessarily writable, as is an output iterator.
|
|
test = static_assert_min_cat<
|
|
std::output_iterator_tag,std::random_access_iterator_tag, std::output_iterator_tag
|
|
>::value;
|
|
#endif
|
|
|
|
(void)test;
|
|
}
|
|
|
|
int main()
|
|
{
|
|
category_test();
|
|
operator_arrow_test();
|
|
return 0;
|
|
}
|
|
|