StormByte::Type::CopyConstructible Concept Reference

Type that can actually be copy-constructed. More...

#include <StormByte/type_traits/object_semantics.hxx>

Concept definition

template<typename T>
concept StormByte::Type::CopyConstructible =  ReallyCopyConstructible<T>

Detailed Description

Type that can actually be copy-constructed.

Template Parameters

T	Type to test.

Not std::is_copy_constructible_v: that trait is true for std::vector<std::unique_ptr<U>> because vector declares a copy constructor even when instantiating it is ill-formed. Recurses into value_type only when T is a Container and not a View. std::span<std::unique_ptr<U>> is a container and a view, so it stays copyable; an owning std::vector<std::unique_ptr<U>> does not.

static_assert(Type::CopyConstructible<std::vector<int>>);
static_assert(!Type::CopyConstructible<std::vector<std::unique_ptr<int>>>);
static_assert(Type::CopyConstructible<std::span<std::unique_ptr<int>>>);