| /*-----------------------------------------------------------------------------+ |
| Copyright (c) 2010-2010: Joachim Faulhaber |
| +------------------------------------------------------------------------------+ |
| Distributed under the Boost Software License, Version 1.0. |
| (See accompanying file LICENCE.txt or copy at |
| http://www.boost.org/LICENSE_1_0.txt) |
| +-----------------------------------------------------------------------------*/ |
| #ifndef BOOST_ICL_CONCEPT_CONTAINER_HPP_JOFA_100923 |
| #define BOOST_ICL_CONCEPT_CONTAINER_HPP_JOFA_100923 |
| |
| #include <boost/utility/enable_if.hpp> |
| #include <boost/mpl/and.hpp> |
| #include <boost/mpl/not.hpp> |
| #include <boost/icl/type_traits/is_container.hpp> |
| #include <boost/icl/type_traits/is_icl_container.hpp> |
| |
| namespace boost{ namespace icl |
| { |
| |
| //============================================================================== |
| //= Emptieness |
| //============================================================================== |
| |
| /** Tests if the container is empty. |
| Complexity: constant. */ |
| template<class Type> |
| typename enable_if<is_container<Type>, bool>::type |
| is_empty(const Type& object) |
| { |
| return object.begin()==object.end(); |
| } |
| |
| |
| /** All content of the container is dropped. |
| Complexity: linear. */ |
| template<class Type> |
| typename enable_if<is_container<Type>, void>::type |
| clear(Type& object) |
| { |
| object.erase(object.begin(), object.end()); |
| } |
| |
| //============================================================================== |
| //= Size |
| //============================================================================== |
| |
| template<class Type> |
| typename enable_if<mpl::and_< is_container<Type> |
| , mpl::not_<is_icl_container<Type> > > |
| , std::size_t>::type |
| iterative_size(const Type& object) |
| { |
| return object.size(); |
| } |
| |
| //============================================================================== |
| //= Swap |
| //============================================================================== |
| |
| template<class Type> |
| typename enable_if<is_container<Type>, void>::type |
| swap(Type& left, Type& right) |
| { |
| left.swap(right); |
| } |
| |
| //============================================================================== |
| //= Iteration |
| //============================================================================== |
| |
| template<class Type> |
| typename enable_if<is_container<Type>, typename Type::iterator>::type |
| cyclic_prior(Type& object, typename Type::iterator it_) |
| { return it_ == object.begin() ? object.end() : --it_; } |
| |
| template<class Type> |
| typename enable_if<is_container<Type>, typename Type::const_iterator>::type |
| cyclic_prior(const Type& object, typename Type::const_iterator it_) |
| { return it_ == object.begin() ? object.end() : --it_; } |
| |
| |
| |
| }} // namespace boost icl |
| |
| #endif |
| |
| |