StormByte::Type::SmartPointer Concept Reference

Smart pointer-like type: dereferenceable and exposes get(). More...

#include <StormByte/type_traits/categories.hxx>

Concept definition

template<typename T>
concept StormByte::Type::SmartPointer = 
            !Pointer<std::remove_cvref_t<T>> &&
            requires(std::remove_cvref_t<T> const& p) {
                { *p };
                { p.operator->() };
                { p.get() };
            }

Detailed Description

Smart pointer-like type: dereferenceable and exposes get().

Template Parameters

T	Type to test (cv/ref ignored).

Matches std::unique_ptr, std::shared_ptr and similar RAII wrappers without naming them directly. A raw StormByte::Type::Pointer does not match: it has no get().

static_assert(Type::SmartPointer<std::shared_ptr<int>>);
static_assert(!Type::SmartPointer<int*>);