sleipnir::concepts::NullablePointer Concept Reference

#include <sleipnir/util/small_vector.hpp>

Concept definition

template<typename T>
concept sleipnir::concepts::NullablePointer = 
    EqualityComparable<T> && DefaultConstructible<T> && CopyConstructible<T> &&
    CopyAssignable<T> && Destructible<T> &&
    ConstructibleFrom<T, std::nullptr_t> && ConvertibleTo<std::nullptr_t, T> &&
    requires(T p, T q, std::nullptr_t np) {
      T(np);
      { p = np } -> std::same_as<T&>;
      { p != q } -> ContextuallyConvertibleToBool;
      { p == np } -> ContextuallyConvertibleToBool;
      { np == p } -> ContextuallyConvertibleToBool;
      { p != np } -> ContextuallyConvertibleToBool;
      { np != p } -> ContextuallyConvertibleToBool;
    }