is_trivially_move_constructible.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_TRIVIALLY_MOVE_CONSTRUCTIBLE_HPP
#define TETL_TYPE_TRAITS_IS_TRIVIALLY_MOVE_CONSTRUCTIBLE_HPP
 
#include <etl/_type_traits/add_rvalue_reference.hpp>
#include <etl/_type_traits/bool_constant.hpp>
#include <etl/_type_traits/is_trivially_constructible.hpp>
 
namespace etl {
 
/// \brief If T is not a referenceable type (i.e., possibly cv-qualified void or
/// a function type with a cv-qualifier-seq or a ref-qualifier), provides a
/// member constant value equal to false. Otherwise, provides a member constant
/// value equal to etl::is_trivially_constructible<T, T&&>::value.
template <typename T>
struct is_trivially_move_constructible
    : bool_constant<__is_trivially_constructible(T, add_rvalue_reference_t<add_const_t<T>>)> { };
 
template <typename T>
inline constexpr auto is_trivially_move_constructible_v = is_trivially_move_constructible<T>::value;
 
} // namespace etl
 
#endif // TETL_TYPE_TRAITS_IS_TRIVIALLY_MOVE_CONSTRUCTIBLE_HPP