is_nothrow_swappable_with.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSL-1.0
// SPDX-FileCopyrightText: Copyright (C) 2019 Tobias Hienzsch
 
#ifndef TETL_TYPE_TRAITS_IS_NOTHROW_SWAPPABLE_WITH_HPP
#define TETL_TYPE_TRAITS_IS_NOTHROW_SWAPPABLE_WITH_HPP
 
#include <etl/_type_traits/add_lvalue_reference.hpp>
#include <etl/_type_traits/bool_constant.hpp>
#include <etl/_type_traits/conjunction.hpp>
#include <etl/_type_traits/declval.hpp>
#include <etl/_type_traits/is_swappable_with.hpp>
 
namespace etl {
 
// clang-format off
template <typename T, typename U>
struct _swap_no_throw : bool_constant<noexcept(swap(declval<T>(), declval<U>())) && noexcept(swap(declval<U>(), declval<T>()))> { }; // NOLINT
// clang-format on
 
/// \ingroup type_traits
template <typename T, typename U>
struct is_nothrow_swappable_with : bool_constant<conjunction_v<is_swappable_with<T, U>, _swap_no_throw<T, U>>> { };
 
/// \ingroup type_traits
/// \relates is_nothrow_swappable_with
template <typename T, typename U>
inline constexpr bool is_nothrow_swappable_with_v = is_nothrow_swappable_with<T, U>::value;
 
} // namespace etl
 
#endif // TETL_TYPE_TRAITS_IS_NOTHROW_SWAPPABLE_WITH_HPP