vcl::ArrayConcept Concept Reference

A concept representing a N-dimensional array. More...

#include <vclib/concepts/space/array.h>

Concept definition

template<typename T>
concept vcl::ArrayConcept =  requires (
    T&&                                                  obj,
    typename RemoveRef<T>::ValueType                     v,
    typename RemoveRef<T>::Pointer                       ptr,
    typename RemoveRef<T>::ConstPointer                  cPtr,
    std::vector<typename RemoveRef<T>::ValueType>        vecV,
    const std::vector<typename RemoveRef<T>::ValueType>& cVecVR) {
    
    typename RemoveRef<T>::ValueType;
    typename RemoveRef<T>::Scalar;
    typename RemoveRef<T>::ConstReference;
    typename RemoveRef<T>::Reference;
    typename RemoveRef<T>::ConstPointer;
    typename RemoveRef<T>::Pointer;
    typename RemoveRef<T>::ConstIterator;
    typename RemoveRef<T>::Iterator;
 
    obj.DIM;
 
    RemoveRef<T>();
 
    { obj.size(std::size_t()) } -> std::integral;
    { obj.empty() } -> std::convertible_to<bool>;
 
    { obj.data() } -> std::convertible_to<decltype(cPtr)>;
 
    { obj.stdVector() } -> std::convertible_to<decltype(cVecVR)>;
 
    obj.subArray(uint());
 
    { obj.begin() } -> InputIterator<decltype(v)>;
    { obj.end() } -> InputIterator<decltype(v)>;
 
    requires InputRange<T, decltype(v)>;
 
    
    requires IsConst<T> || requires {
        { obj.data() } -> std::same_as<decltype(ptr)>;
 
        { obj.stdVector() } -> std::same_as<decltype(vecV)>;
 
        { obj.fill(v) } -> std::same_as<void>;
        { obj.clear() } -> std::same_as<void>;
 
        { obj.begin() } -> OutputIterator<decltype(v)>;
        { obj.end() } -> OutputIterator<decltype(v)>;
 
        requires OutputRange<T, decltype(v)>;
    };
}

Detailed Description

A concept representing a N-dimensional array.

This concept defines a set of requirements that must be satisfied by any type that wants to model a N-dimensional array, where N is known at compile time.

Template Parameters

T	The type to be tested for conformity to the ArrayConcept.