jh::concepts::reentrant_mutex Concept Reference

Concept for idempotent (structurally reentrant) mutexes. More...

#include <jh/conceptual/mutex_like.h>

Concept definition

    template<typename M>
    concept reentrant_mutex =
    mutex_like<M> &&
    (reentrant_registry<std::remove_cvref_t<M>>::value || requires {
        typename M::is_reentrant_tag;
        requires std::convertible_to<typename M::is_reentrant_tag, std::true_type>;
    })

Detailed Description

Concept for idempotent (structurally reentrant) mutexes.

A reentrant mutex allows re-locking within the same context as a no-op, guaranteeing structural safety without internal counters.

Examples:

• jh::typed::null_mutex_t