diff options
Diffstat (limited to 'boost/poly_collection/detail/is_acceptable.hpp')
-rw-r--r-- | boost/poly_collection/detail/is_acceptable.hpp | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/boost/poly_collection/detail/is_acceptable.hpp b/boost/poly_collection/detail/is_acceptable.hpp new file mode 100644 index 0000000000..c578b8e92e --- /dev/null +++ b/boost/poly_collection/detail/is_acceptable.hpp @@ -0,0 +1,44 @@ +/* Copyright 2016 Joaquin M Lopez Munoz. + * 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://www.boost.org/libs/poly_collection for library home page. + */ + +#ifndef BOOST_POLY_COLLECTION_DETAIL_IS_ACCEPTABLE_HPP +#define BOOST_POLY_COLLECTION_DETAIL_IS_ACCEPTABLE_HPP + +#if defined(_MSC_VER) +#pragma once +#endif + +#include <type_traits> + +namespace boost{ + +namespace poly_collection{ + +namespace detail{ + +/* This can be further specialized by Model when the std type trait classes + * fail to give the right info (as it can happen with class templates whose + * nominally existing operators do not compile for certain instantiations). + */ + +template<typename T,typename Model,typename=void> +struct is_acceptable:std::integral_constant< + bool, + Model::template is_subtype<T>::value&& + std::is_move_constructible<typename std::decay<T>::type>::value&& + (std::is_move_assignable<typename std::decay<T>::type>::value|| + std::is_nothrow_move_constructible<typename std::decay<T>::type>::value) +>{}; + +} /* namespace poly_collection::detail */ + +} /* namespace poly_collection */ + +} /* namespace boost */ + +#endif |