is_copy_assignable.hpp

Go to the documentation of this file.

// Copyright 2024, Toyota Motor Corporation
//
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
#ifndef INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_IS_COPY_ASSIGNABLE_HPP_
#define INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_IS_COPY_ASSIGNABLE_HPP_
 
// parasoft-begin-suppress CERT_CPP-DCL58-a-2 "Part of a standard library implementation"
// parasoft-begin-suppress AUTOSAR-A17_6_1-a-2 "Part of a standard library implementation"
 
// IWYU pragma: private, include <type_traits>
// IWYU pragma: friend "stdlib_detail/.*"
 
#include "stdlib/include/stdlib_detail/integral_constant.hpp"
#include "stdlib/include/stdlib_detail/is_assignable.hpp"
#include "stdlib/include/stdlib_detail/is_referenceable.hpp"
 
namespace std {
namespace is_copy_assignable_detail {
/// @brief Type trait to detect if an instance of @c T is copy assignable
/// @tparam T The type of the value to check
template <typename T, bool = internal::is_referenceable_v<T>>
extern constexpr bool is_copy_assignable_v = false;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable
/// @tparam T The type of the value to check
template <typename T>
extern constexpr bool is_copy_assignable_v<T, true> = is_assignable_v<T&, T const&>;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable without throwing
/// @tparam T The type of the value to check
template <typename T, bool = internal::is_referenceable_v<T>>
extern constexpr bool is_nothrow_copy_assignable_v = false;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable without throwing
/// @tparam T The type of the value to check
template <typename T>
extern constexpr bool is_nothrow_copy_assignable_v<T, true> = is_nothrow_assignable_v<T&, T const&>;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable without throwing
/// @tparam T The type of the value to check
template <typename T, bool = internal::is_referenceable_v<T>>
extern constexpr bool is_trivially_copy_assignable_v = false;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable without throwing
/// @tparam T The type of the value to check
template <typename T>
extern constexpr bool is_trivially_copy_assignable_v<T, true> = __is_trivially_assignable(T&, T const&);
}  // namespace is_copy_assignable_detail
 
/// @brief Type trait to detect if an instance of @c T is copy assignable
/// @tparam T The type of the value to check
template <typename T>
extern constexpr bool is_copy_assignable_v = is_copy_assignable_detail::is_copy_assignable_v<T>;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable
/// @tparam T The type of the value to check
template <typename T>
class is_copy_assignable : public bool_constant<is_copy_assignable_v<T>> {};
 
/// @brief Type trait to detect if an instance of @c T is copy assignable without throwing
/// @tparam T The type of the value to check
template <typename T>
extern constexpr bool is_nothrow_copy_assignable_v = is_copy_assignable_detail::is_nothrow_copy_assignable_v<T>;
 
/// @brief Type trait to detect if an instance of @c T is copy assignable without throwing
/// @tparam T The type of the value to check
template <typename T>
class is_nothrow_copy_assignable : public bool_constant<is_nothrow_copy_assignable_v<T>> {};
 
/// @brief Type trait to detect if an instance of @c T is trivially copy assignable
/// @tparam T The type of the value to check
template <typename T>
extern constexpr bool is_trivially_copy_assignable_v = is_copy_assignable_detail::is_trivially_copy_assignable_v<T>;
 
/// @brief Type trait to detect if an instance of @c T is trivially copy assignable
/// @tparam T The type of the value to check
template <typename T>
class is_trivially_copy_assignable : public bool_constant<is_trivially_copy_assignable_v<T>> {};
 
}  // namespace std
 
#endif  // INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_IS_COPY_ASSIGNABLE_HPP_