StormByte 2.0.0
C++26 foundation of the StormByte suite
 
Loading...
Searching...
No Matches
StormByte::Type::NullablePointer Concept Reference
Fundamental type category concepts

Smart pointer-like type that can test whether it contains an object. More...

#include <StormByte/type_traits/categories.hxx>

Concept definition

template<typename T>
concept StormByte::Type::NullablePointer =
SmartPointer<T> &&
ExplicitlyConvertibleTo<std::remove_cvref_t<T>, bool>
StormByte::Type::ExplicitlyConvertibleTo
From may be explicitly converted to To with static_cast.
Definition conversions.hxx:86
StormByte::Type::NullablePointer
Smart pointer-like type that can test whether it contains an object.
Definition categories.hxx:164
StormByte::Type::SmartPointer
Smart pointer-like type: dereferenceable and exposes get().
Definition categories.hxx:147

Detailed Description

Smart pointer-like type that can test whether it contains an object.

Template Parameters
TType to test (cv/ref ignored).

Requires dereference, member access, get(), and an implicit or explicit conversion to bool. Unlike StormByte::Type::SmartPointer, this is suitable for APIs that evaluate !pointer before dereferencing it.