bbm::concepts::attribute Concept Reference

attribute concept More...

#include <attribute.h>

Concept definition

template<typename T>
concept bbm::concepts::attribute =  requires(std::decay_t<T>& attr)
    {
      
      typename std::decay_t<T>::type;
 
      
      requires concepts::attribute_property<typename std::decay_t<T>::prop>;
 
      
      { attr.value() } -> std::same_as<typename std::decay_t<T>::type&>;
      { std::as_const(attr).value() } -> std::same_as<const typename std::decay_t<T>::type&>;
      
 
      
      static_cast<typename std::decay_t<T>::type&>(attr);
      static_cast<const typename std::decay_t<T>::type&>(attr);
      
    }

Detailed Description

attribute concept

Each attribute provides the following:

• typename type : the underlying type
• typename prop : requires attribute_property
• convertible_to the underlying (reference) type
• auto value() : return the cast to a reference of the underlying type
• auto value() const : return the cast to a const reference of the underlying type