diff options
Diffstat (limited to 'src/third_party/boost-1.69.0/boost/type_traits/is_nothrow_swappable.hpp')
-rw-r--r-- | src/third_party/boost-1.69.0/boost/type_traits/is_nothrow_swappable.hpp | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/src/third_party/boost-1.69.0/boost/type_traits/is_nothrow_swappable.hpp b/src/third_party/boost-1.69.0/boost/type_traits/is_nothrow_swappable.hpp new file mode 100644 index 00000000000..10ad9239a92 --- /dev/null +++ b/src/third_party/boost-1.69.0/boost/type_traits/is_nothrow_swappable.hpp @@ -0,0 +1,67 @@ +#ifndef BOOST_TYPE_TRAITS_IS_NOTHROW_SWAPPABLE_HPP_INCLUDED +#define BOOST_TYPE_TRAITS_IS_NOTHROW_SWAPPABLE_HPP_INCLUDED + +// Copyright 2017 Peter Dimov +// +// 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/config.hpp> +#include <boost/config/workaround.hpp> + +#if defined(BOOST_NO_SFINAE_EXPR) || defined(BOOST_NO_CXX11_NOEXCEPT) || defined(BOOST_NO_CXX11_DECLTYPE) \ + || defined(BOOST_NO_CXX11_FUNCTION_TEMPLATE_DEFAULT_ARGS) || BOOST_WORKAROUND(BOOST_GCC, < 40700) + +#include <boost/type_traits/is_scalar.hpp> +#include <boost/type_traits/is_const.hpp> +#include <boost/type_traits/integral_constant.hpp> + +namespace boost +{ +template <class T> struct is_nothrow_swappable : boost::integral_constant<bool, + boost::is_scalar<T>::value && !boost::is_const<T>::value> {}; + +template <class T, class U> struct is_nothrow_swappable_with : false_type {}; +template <class T> struct is_nothrow_swappable_with<T, T> : is_nothrow_swappable<T> {}; +} + +#else + +#include <boost/type_traits/declval.hpp> +#include <boost/type_traits/integral_constant.hpp> +#include <algorithm> + +namespace boost +{ + +namespace type_traits_swappable_detail +{ + +using std::swap; + +template<class T, class U, bool B = noexcept(swap(declval<T>(), declval<U>()))> integral_constant<bool, B> is_nothrow_swappable_with_impl( int ); +template<class T, class U> false_type is_nothrow_swappable_with_impl( ... ); +template<class T, class U> +struct is_nothrow_swappable_with_helper { typedef decltype( type_traits_swappable_detail::is_nothrow_swappable_with_impl<T, U>(0) ) type; }; + +template<class T, bool B = noexcept(swap(declval<T&>(), declval<T&>()))> integral_constant<bool, B> is_nothrow_swappable_impl( int ); +template<class T> false_type is_nothrow_swappable_impl( ... ); +template<class T> +struct is_nothrow_swappable_helper { typedef decltype( type_traits_swappable_detail::is_nothrow_swappable_impl<T>(0) ) type; }; + +} // namespace type_traits_swappable_detail + +template<class T, class U> struct is_nothrow_swappable_with: type_traits_swappable_detail::is_nothrow_swappable_with_helper<T, U>::type +{ +}; + +template<class T> struct is_nothrow_swappable: type_traits_swappable_detail::is_nothrow_swappable_helper<T>::type +{ +}; + +} // namespace boost + +#endif + +#endif // #ifndef BOOST_TYPE_TRAITS_IS_NOTHROW_SWAPPABLE_HPP_INCLUDED |