Harlinn::Common::Internal::StringLikeImpl Concept Reference

#include <Concepts.h>

Concept definition

template<typename T>
concept Harlinn::Common::Internal::StringLikeImpl =  SimpleStringLikeImpl<T> &&
            std::is_constructible_v<T> &&
            std::is_constructible_v<T, const typename T::value_type*>&&
            std::is_constructible_v<T, const typename T::value_type*, typename T::size_type>&&
            requires ( T t1, const T t2, typename T::size_type sz, typename T::size_type pos, typename T::size_type count, const typename T::value_type* ptr, typename T::value_type value )
        {
            { t1.rbegin( ) } ->std::same_as<typename T::reverse_iterator>;
            { t1.rend( ) } ->std::same_as<typename T::reverse_iterator>;
            { t1.front( ) } ->std::convertible_to<typename T::value_type>;
            { t1.back( ) } ->std::convertible_to<typename T::value_type>;
            { t1.resize( sz ) };
            { t1.reserve( sz ) };
            { t1.append( ptr, sz ) };
            { t1.append( ptr ) };
            { t1.append( sz, value ) };
 
 
            { t2[ 0 ] } ->std::same_as<typename T::const_reference>;
            { t2.begin( ) } ->std::same_as<typename T::const_iterator>;
            { t2.end( ) } ->std::same_as<typename T::const_iterator>;
            { t2.rbegin( ) } ->std::same_as<typename T::const_reverse_iterator>;
            { t2.rend( ) } ->std::same_as<typename T::const_reverse_iterator>;
            { t2.front( ) } ->std::convertible_to<typename T::value_type>;
            { t2.back( ) } ->std::convertible_to<typename T::value_type>;
            { t2.data( ) } ->std::same_as<typename T::const_pointer>;
            { t2.empty( ) } ->std::same_as<bool>;
            { t2.find( ptr ) } ->std::same_as<typename T::size_type>;
            { t2.find( ptr, pos ) } ->std::same_as<typename T::size_type>;
            { t2.find( ptr, pos, sz ) } ->std::same_as<typename T::size_type>;
            { t2.find( value, pos ) } ->std::same_as<typename T::size_type>;
            { t2.find_first_of( ptr ) } ->std::same_as<typename T::size_type>;
            { t2.find_first_of( ptr, pos ) } ->std::same_as<typename T::size_type>;
            { t2.find_first_of( ptr, pos, sz ) } ->std::same_as<typename T::size_type>;
            { t2.find_last_of( ptr ) } ->std::same_as<typename T::size_type>;
            { t2.find_last_of( ptr, pos ) } ->std::same_as<typename T::size_type>;
            { t2.find_last_of( ptr, pos, sz ) } ->std::same_as<typename T::size_type>;
            { t2.substr( pos, count ) } ->std::same_as<T>;
        }