poly_collection/detail/is_acceptable.hpp

0001 /* Copyright 2016-2017 Joaquin M Lopez Munoz.
0002  * Distributed under the Boost Software License, Version 1.0.
0003  * (See accompanying file LICENSE_1_0.txt or copy at
0004  * http://www.boost.org/LICENSE_1_0.txt)
0005  *
0006  * See http://www.boost.org/libs/poly_collection for library home page.
0007  */
0008
0009 #ifndef BOOST_POLY_COLLECTION_DETAIL_IS_ACCEPTABLE_HPP
0010 #define BOOST_POLY_COLLECTION_DETAIL_IS_ACCEPTABLE_HPP
0011
0012 #if defined(_MSC_VER)
0013 #pragma once
0014 #endif
0015
0016 #include <type_traits>
0017
0018 namespace boost{
0019
0020 namespace poly_collection{
0021
0022 namespace detail{
0023
0024 /* This can be further specialized by Model when the std type trait classes
0025  * fail to give the right info (as it can happen with class templates whose
0026  * nominally existing operators do not compile for certain instantiations).
0027  */
0028
0029 template<typename T,typename Model,typename=void>
0030 struct is_acceptable:std::integral_constant<
0031   bool,
0032   Model::template is_implementation<T>::value&&
0033   std::is_move_constructible<typename std::decay<T>::type>::value&&
0034   (std::is_move_assignable<typename std::decay<T>::type>::value||
0035    std::is_nothrow_move_constructible<typename std::decay<T>::type>::value)
0036 >{};
0037
0038 } /* namespace poly_collection::detail */
0039
0040 } /* namespace poly_collection */
0041
0042 } /* namespace boost */
0043
0044 #endif