psyqo::Fragment Concept Reference

The Fragment concept. More...

#include <psyqo/fragment-concept.hh>

Concept definition

template<typename Frag>
concept psyqo::Fragment =  requires(Frag frag) {
    { (alignof(Frag) & 3) == 0 };
    { (sizeof(Frag) & 3) == 0 };
    { (sizeof(frag.head)) == 4 };
    { ((offsetof(Frag, head)) & 3) == 0 };
    
    
    { frag.getActualFragmentSize() } -> std::convertible_to<size_t>;
}

Detailed Description

The Fragment concept.

This concept can be used as a template type constraint to ensure that a type is a valid fragment.