copy_constructible.hpp

Go to the documentation of this file.

//
// Created by yonggyulee on 2023/12/24.
//
 
#ifndef VCCC_CONCEPTS_COPY_CONSTRUCTIBLE_HPP_
#define VCCC_CONCEPTS_COPY_CONSTRUCTIBLE_HPP_
 
#include "vccc/__concepts/move_constructible.hpp"
#include "vccc/__concepts/constructible_from.hpp"
#include "vccc/__concepts/convertible_to.hpp"
#include "vccc/__type_traits/conjunction.hpp"
#include "vccc/__type_traits/is_referenceable.hpp"
 
namespace vccc {
namespace detail {
 
template<typename T, bool = is_referencable<T>::value>
struct copy_constructible_impl
    : conjunction<
        move_constructible<T>,
        constructible_from<T, T&>, convertible_to<T&, T>,
        constructible_from<T, const T&>, convertible_to<const T&, T>,
        constructible_from<T, const T>, convertible_to<const T, T>
      > {};
 
template<typename T>
struct copy_constructible_impl<T, false> : std::false_type {};
 
} // namespace detail
 
 
template<typename T>
struct copy_constructible : detail::copy_constructible_impl<T> {};
 
 
} // namespace vccc
 
#endif // VCCC_CONCEPTS_COPY_CONSTRUCTIBLE_HPP_