123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118 |
- //---------------------------------------------------------------------------//
- // Copyright (c) 2013 Kyle Lutz <kyle.r.lutz@gmail.com>
- //
- // 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
- //
- // See http://boostorg.github.com/compute for more information.
- //---------------------------------------------------------------------------//
- #ifndef BOOST_COMPUTE_DETAIL_IS_CONTIGUOUS_ITERATOR_HPP
- #define BOOST_COMPUTE_DETAIL_IS_CONTIGUOUS_ITERATOR_HPP
- #include <vector>
- #include <valarray>
- #include <boost/config.hpp>
- #include <boost/type_traits.hpp>
- #include <boost/utility/enable_if.hpp>
- namespace boost {
- namespace compute {
- namespace detail {
- // default = false
- template<class Iterator, class Enable = void>
- struct _is_contiguous_iterator : public boost::false_type {};
- // std::vector<T>::iterator = true
- template<class Iterator>
- struct _is_contiguous_iterator<
- Iterator,
- typename boost::enable_if<
- typename boost::is_same<
- Iterator,
- typename std::vector<typename Iterator::value_type>::iterator
- >::type
- >::type
- > : public boost::true_type {};
- // std::vector<T>::const_iterator = true
- template<class Iterator>
- struct _is_contiguous_iterator<
- Iterator,
- typename boost::enable_if<
- typename boost::is_same<
- Iterator,
- typename std::vector<typename Iterator::value_type>::const_iterator
- >::type
- >::type
- > : public boost::true_type {};
- // std::valarray<T>::iterator = true
- template<class Iterator>
- struct _is_contiguous_iterator<
- Iterator,
- typename boost::enable_if<
- typename boost::is_same<
- Iterator,
- typename std::valarray<typename Iterator::value_type>::iterator
- >::type
- >::type
- > : public boost::true_type {};
- // std::valarray<T>::const_iterator = true
- template<class Iterator>
- struct _is_contiguous_iterator<
- Iterator,
- typename boost::enable_if<
- typename boost::is_same<
- Iterator,
- typename std::valarray<typename Iterator::value_type>::const_iterator
- >::type
- >::type
- > : public boost::true_type {};
- // T* = true
- template<class Iterator>
- struct _is_contiguous_iterator<
- Iterator,
- typename boost::enable_if<
- boost::is_pointer<Iterator>
- >::type
- > : public boost::true_type {};
- // the is_contiguous_iterator meta-function returns true if Iterator points
- // to a range of contiguous values. examples of contiguous iterators are
- // std::vector<>::iterator and float*. examples of non-contiguous iterators
- // are std::set<>::iterator and std::insert_iterator<>.
- //
- // the implementation consists of two phases. the first checks that value_type
- // for the iterator is not void. this must be done as for many containers void
- // is not a valid value_type (ex. std::vector<void>::iterator is not valid).
- // after ensuring a non-void value_type, the _is_contiguous_iterator function
- // is invoked. it has specializations retuning true for all (known) contiguous
- // iterators types and a default value of false.
- template<class Iterator, class Enable = void>
- struct is_contiguous_iterator :
- public _is_contiguous_iterator<
- typename boost::remove_cv<Iterator>::type
- > {};
- // value_type of void = false
- template<class Iterator>
- struct is_contiguous_iterator<
- Iterator,
- typename boost::enable_if<
- typename boost::is_void<
- typename Iterator::value_type
- >::type
- >::type
- > : public boost::false_type {};
- } // end detail namespace
- } // end compute namespace
- } // end boost namespace
- #endif // BOOST_COMPUTE_DETAIL_IS_CONTIGUOUS_ITERATOR_HPP
|