BLOB.h

Go to the documentation of this file.

/*
 * Copyright(c) Sophist Solutions, Inc. 1990-2026.  All rights reserved
 */
#ifndef _Stroika_Foundation_Memory_BLOB_h_
#define _Stroika_Foundation_Memory_BLOB_h_ 1
 
#include "Stroika/Foundation/StroikaPreComp.h"
 
#include <array>
#include <compare>
#include <memory>
#include <vector>
 
#include "Stroika/Foundation/Common/Common.h"
#include "Stroika/Foundation/Common/Concepts.h"
#include "Stroika/Foundation/Debug/AssertExternallySynchronizedChecker.h"
#include "Stroika/Foundation/Memory/Common.h"
#include "Stroika/Foundation/Streams/InputStream.h" // maybe bad - leads to circularity problems but hard to pre-declare InputStream
 
/**
 *  \file
 *
 *  \note Code-Status:  <a href="Code-Status.md#Beta">Beta</a>
 *
 */
 
namespace Stroika::Foundation::Characters {
    class String;
}
 
namespace Stroika::Foundation::Cryptography::Encoding::Algorithm::Base64 {
    struct Options;
}
 
namespace Stroika::Foundation::Memory {
 
    /**
     *  A BLOB is a read-only binary region of memory. Once a BLOB is constructed, the data inside cannot
     *  change (except by assignment - being assigned over).
     * 
     *  A BLOB can be thought of as a 'forever' span<const byte>.
     *
     *  \note Satisfies Concepts:
     *      o   totally_ordered<BLOB>
     *      o   regular<BLOB>
     *      o   Common::explicitly_convertible_to<BLOB, span<const byte>>
     * 
     *  \note   \em Thread-Safety   <a href="Thread-Safety.md#C++-Standard-Thread-Safety">C++-Standard-Thread-Safety</a>
     *
     *  \note <a href="Design-Overview.md#Comparisons">Comparisons</a>:
     *      o   static_assert (totally_ordered<BLOB>);
     *  
     *      This is like memcmp() - bytewise unsigned comparison
     * 
     *  \note Interactions with Memory::MemoryMappedFileReader
     *        We provide no AUTOMATIC way to combine these, because its not safe (in general, but can be given specific application
     *        knowledge). And it can be quite efficient. So use BLOB::Adopt() on some existing MemoryMappedFileReader - but its up to use/
     *        application to assure the lifetime of the file reader is > any copies of the shared_rep derived from the adopted BLOB.
     * 
     *  \note Performance
     *      o   Copying a BLOB is just copying a shared_ptr
     *      o   Allocation should be extremely cheap, due to the use of make_shared<> or allocate_shared<> or 
     *          Memory::UseBlockAllocationIfAppropriate<>
     *          which should use the block allocation storage mechanism, which is generally a lock free very fast allocator.
     *          And the use of InlineBuffer<64> means that allocation of BLOBs of size <= 64 should requite no calls to the
     *          global ::operator new/malloc/free/delete
     */
    class BLOB {
    protected:
        struct _IRep;
 
    public:
        /**
         *  \par Example Usage
         *      \code
         *           BLOB    b1  =   BLOB{ 0x29, 0x14, 0x4a };
         *      \endcode
         * 
         *  \see also FromHex, FromRaw (constructor like static functions with special names to make treatment more clear)
         *  \see also Attach, and AttachAndDelete, more rarely useful (and dangerous).
         */
        BLOB ();
        // clang-format off
        BLOB (BLOB&& src) noexcept = default;
        BLOB (const BLOB& src) noexcept = default;
        // clang-format on
        template <ranges::range CONTAINER_OF_BYTE>
        BLOB (const CONTAINER_OF_BYTE& data)
            requires (is_convertible_v<typename CONTAINER_OF_BYTE::value_type, byte> or
                      is_convertible_v<typename CONTAINER_OF_BYTE::value_type, uint8_t>);
        BLOB (span<const byte> s);
        BLOB (span<const uint8_t> s);
        BLOB (const byte* start, const byte* end);
        BLOB (const uint8_t* start, const uint8_t* end);
        BLOB (const initializer_list<pair<const byte*, const byte*>>& startEndPairs);
        BLOB (const initializer_list<BLOB>& list2Concatenate);
        BLOB (const initializer_list<byte>& bytes);
        BLOB (const initializer_list<uint8_t>& bytes);
 
    protected:
        /**
         * Subclass BLOB, and provider your own 'rep' type, to create more efficient storage.
         */
        explicit BLOB (const shared_ptr<_IRep>& rep);
        explicit BLOB (shared_ptr<_IRep>&& rep);
 
    public:
        /**
         */
        nonvirtual BLOB& operator= (BLOB&& rhs) noexcept = default;
        nonvirtual BLOB& operator= (const BLOB& rhs)     = default;
 
    public:
        /**
         *  \brief  Convert string of hex bytes to BLOB.
         *
         *  Like a constructor, but where you clearly name the intention of how to interpret the
         *  bytes.
         *
         *  Spaces allowed, but treat as array of (possibly space delimited) hex bytes to BLOB.
         *
         *  Upper/LowerCase OK, but invalid characters generate throw (Cryptography::Encoding::Algorithm::Hex::Decode).
         *
         *  \par Example Usage
         *      \code
         *          Assert  ((BLOB::FromHex ("29144adb4ece20450956e813652fe8d6") == BLOB { 0x29, 0x14, 0x4a, 0xdb, 0x4e, 0xce, 0x20, 0x45, 0x09, 0x56, 0xe8, 0x13, 0x65, 0x2f, 0xe8, 0xd6 }));
         *      \endcode
         * 
         *  \todo probably allow optionally leading 0x....
         */
        static BLOB FromHex (const char* b);
        static BLOB FromHex (span<const char> s);
        static BLOB FromHex (string_view s);
        static BLOB FromHex (const Characters::String& s);
 
    public:
        /**
         *  \brief  Convert string of base64 bytes to BLOB.
         *
         *  Like a constructor, but where you clearly name the intention of how to interpret the bytes.
         *
         *  Spaces allowed, but treat as array of (possibly space delimited) base64 bytes to BLOB.
         * 
         *  Upper/LowerCase OK, but invalid characters generate throw.
         *
         *  \par Example Usage
         *      \code
         *          Assert  ((BLOB::FromBase64 ("aGVsbG8=") == BLOB { 'h', 'e', 'l', 'l', 'o' }));
         *      \endcode
         * 
         *  \todo probably allow optionally leading 0x....
         */
        static BLOB FromBase64 (const char* b);
        static BLOB FromBase64 (span<const char> s);
        static BLOB FromBase64 (string_view s);
        static BLOB FromBase64 (const Characters::String& s);
 
    public:
        /**
         *  \brief  Convert pointed to/referenced data to BLOB (treating the argument as raw bytes).
         *
         *  Like a constructor, but where you clearly name the intention of how to interpret the
         *  bytes.
         *
         *  This does little more than a cast (taking into account sizeof T).
         *
         *  Overloads taking const char*, or const wchar_t* only (char_traits<T>), are assumed to be C-Strings (NUL-terminated).
         *
         *  \note ALL overloads require T is be 'trivially_copyable' - just like memcpy()
         */
        template <Common::trivially_copyable T>
        static BLOB FromRaw (const T* s, const T* e);
        template <Common::trivially_copyable T>
        static BLOB FromRaw (const T* s, size_t sz);
        template <Common::trivially_copyable T>
        static BLOB FromRaw (const T* s)
            requires (same_as<typename char_traits<T>::char_type, T>);
        template <Common::trivially_copyable T>
        static BLOB FromRaw (const basic_string<T>& s)
            requires (same_as<typename char_traits<T>::char_type, T>);
        template <Common::trivially_copyable T>
        static BLOB FromRaw (const T& s);
 
    public:
        /*
         *  \brief  Create a BLOB from the given data - without copying the data (dangerous if not used carefully, but can be used to efficiently reference constant data).
         *
         *  \note its ILLEGAL and may cause grave disorder, if the caller changes the data passed to Attach() while the derived BLOB (or a copy) exists.
         * 
         *  Typically this is intended to be used to wrap permanent constant data, such as static (text space) read-only data, ROM stuff, etc. It can be used to wrap
         *  data in memory mapped files, but IFF that file mapping will remain permanent (and data immutable). USE WITH CAUTION!
         * 
         *  \see also AttachAndDelete
         */
        template <typename BYTEISH, size_t EXTENT = dynamic_extent>
        static BLOB Attach (span<BYTEISH, EXTENT> s)
            requires (convertible_to<BYTEISH, const byte> or convertible_to<BYTEISH, const uint8_t>);
        template <typename BYTEISH, size_t EXTENT>
        static BLOB Attach (BYTEISH (&data)[EXTENT])
            requires (convertible_to<BYTEISH, const byte> or convertible_to<BYTEISH, const uint8_t>);
 
    public:
        /*
         *  \brief  like Attach () - but at last reference to BLOB, will call delete[] data
         * 
         *  RARELY useful, but could be needed if you must manually fill in the data after allocation, before wrapping it in a BLOB.
         *  Note - because of how the data is deleted, you must allocate with new byte[nnn].
         */
        static BLOB AttachAndDelete (const byte* s, size_t arrayLen);
 
    public:
        /**
         *  \pre i < size ();
         */
        nonvirtual byte operator[] (const size_t i) const;
 
    public:
        /**
         *  Returns true iff the size of the BLOB is zero.
         */
        nonvirtual bool empty () const;
 
    public:
        /**
         *  Convert BLOB losslessly into a standard C++ type.
         *      Supported Types for 'T' include:
         *          o   span<const byte>
         *          o   span<const uint8_t>
         *          o   pair<const byte*, const byte*>
         *          o   pair<const uint8_t*, const uint8_t*>
         *          o   vector<byte>
         *          o   vector<uint8_t>
         *          o   Streams::InputStream::Ptr<byte>
         *          o   string      (bytes as characters - note this MAY include NUL-bytes - https://stackoverflow.com/questions/2845769/can-a-stdstring-contain-embedded-nulls)
         *          o   any T where is_trivially_copyable
         * 
         *  \note If T is span<> or pair<> (byte or uint8_t) - this returns INTERNAL pointers into the BLOB storage,
         *        so use with care.
         */
        template <typename T>
        nonvirtual T As () const
#if !qCompilerAndStdLib_template_requires_doesnt_work_with_specialization_Buggy
            // clang-format off
            requires (
                Common::IAnyOf<T,span<const byte>,span<const uint8_t>, pair<const byte*, const byte*>, pair<const uint8_t*, const uint8_t*>, vector<byte> ,vector<uint8_t>, Streams::InputStream::Ptr<byte>,string>
                or is_trivially_copyable_v<T>
            )
#endif
            ;
        // clang-format on
 
    public:
        /**
         *  Return a string of hex bytes - two characters per byte, lower case HEX characters (Cryptography::Encoding::Algorithm::Hex::Encode) -
         *  of the first maxBytesToShow bytes.
         *
         *  \par Example Usage
         *      \code
         *          Assert  (BLOB::FromHex ("29144adb4ece20450956e813652fe8d6").AsHex () == "29144adb4ece20450956e813652fe8d6");
         *      \endcode
         *
         *  \see also FromHex ()
         */
        template <typename STRING_TYPE = Characters::String>
        nonvirtual STRING_TYPE AsHex (size_t maxBytesToShow = numeric_limits<size_t>::max ()) const
#if !qCompilerAndStdLib_template_requires_doesnt_work_with_specialization_Buggy
            requires (same_as<Characters::String, STRING_TYPE>)
#endif
        ;
 
    public:
        /**
         *  Return a string of base64 encoded bytes.
         *
         *  \par Example Usage
         *      \code
         *          BLOB{'h', 'e', 'l', 'l', 'o'}.AsBase64 () == "aGVsbG8=")
         *      \endcode
         * 
         *  \see also AsHex (), FromBase64
         */
        template <typename STRING_TYPE = Characters::String>
        nonvirtual STRING_TYPE AsBase64 () const
#if !qCompilerAndStdLib_template_requires_doesnt_work_with_specialization_Buggy
            requires (same_as<Characters::String, STRING_TYPE>)
#endif
        ;
        template <typename STRING_TYPE = Characters::String>
        nonvirtual STRING_TYPE AsBase64 (const Cryptography::Encoding::Algorithm::Base64::Options& o) const
#if !qCompilerAndStdLib_template_requires_doesnt_work_with_specialization_Buggy
            requires (same_as<Characters::String, STRING_TYPE>)
#endif
        ;
 
    public:
        /**
         *  EXPERIMENMT MAKING THIS NON-EXPLICIT conversion operator. Makes a bunch of other code simpler, and it makes sense.
         *  Trouble is - will it cause ambiguity later, and need to be removed. No obvious way to tell but testing a bit..
         * --LGP 2023-12-21
        */
        /*explicit*/ operator Streams::InputStream::Ptr<byte> () const;
 
    public:
        /**
         *  Return a BLOB made by concatenating this BLOB count times.
         */
        nonvirtual BLOB Repeat (unsigned int count) const;
 
    public:
        /**
         *  Return a BLOB made from the given sub-range of bytes.
         *      \pre startAt <= endAt
         *      \pre endAt < GetSize ()
         */
        nonvirtual BLOB Slice (size_t startAt, size_t endAt) const;
 
    public:
        /**
         *  Pointers returned by begin(), remain valid for the lifetime of the containing BLOB.
         *  \note - this is legal to call even on an empty BLOB (but may return nullptr)
         */
        nonvirtual const byte* begin () const;
 
    public:
        /**
         *  Pointers returned by end(), remain valid for the lifetime of the containing BLOB.
         *  \note - this is legal to call even on an empty BLOB (but may return nullptr)
         */
        nonvirtual const byte* end () const;
 
    public:
        /**
         *  Returns the number of bytes in the BLOB.
         */
        nonvirtual size_t GetSize () const;
 
    public:
        /**
         */
        nonvirtual strong_ordering operator<=> (const BLOB& rhs) const;
 
    public:
        /**
         */
        nonvirtual bool operator== (const BLOB& rhs) const;
 
    private:
        static strong_ordering TWC_ (const BLOB& lhs, const BLOB& rhs); // utility code share between c++17 and c++20 versions
 
    public:
        /**
         * @todo cleanup and switch to spans!!
         */
        nonvirtual const byte* data () const;
 
    public:
        /**
         *  @aliases GetSize()
         */
        nonvirtual size_t size () const;
 
    public:
        /**
         *  @aliases GetSize()
         */
        nonvirtual size_t length () const;
 
    public:
        /**
         *  @see Characters::ToString()
         *  Return a debug-friendly, display version of the current BLOB. This is not guaranteed parsable or usable except for debugging.
         *
         *  \note this displays the BLOB as hex bytes. To interpret as a string, try 
         *      \code
         *          Assert (BinaryToText::Reader::New (blob).ReadAll () == "hello world");
         *      \endcode
         */
        nonvirtual Characters::String ToString (size_t maxBytesToShow = 80) const;
 
    public:
        /**
         *  Trivial alias BLOB ({*this, rhs});
         */
        nonvirtual BLOB operator+ (const BLOB& rhs) const;
 
    public:
        [[deprecated ("Since Stroika v3.0d5 use span overload")]] static BLOB FromHex (const char* s, const char* e);
        template <typename T>
        [[deprecated ("Since Stroika v3.0d5 - use As/0")]] void As (T* into) const
        {
            *into = this->As<T> ();
        }
        [[deprecated ("Since Stroika v3.0d4 use span")]] static BLOB Attach (const byte* start, const byte* end)
        {
            return Attach (span{start, end});
        }
        [[deprecated ("Since Stroika v3.0d4 use Attach")]] static BLOB AttachApplicationLifetime (const byte* start, const byte* end)
        {
            return Attach (span{start, end});
        }
        template <size_t SIZE>
        [[deprecated ("Since Stroika v3.0d4 use Attach")]] static BLOB AttachApplicationLifetime (const byte (&data)[SIZE])
        {
            return Attach (span{data, SIZE});
        }
        template <typename... ARGS>
        [[deprecated ("Since Stroika v3.0d5 use FromHex")]] static BLOB Hex (ARGS... args)
        {
            return FromHex (args...);
        }
        template <typename... ARGS>
        [[deprecated ("Since Stroika v3.0d5 use FromRaw")]] static BLOB Raw (ARGS... args)
        {
            return FromRaw (args...);
        }
 
    private:
        struct BasicRep_;
        struct ZeroRep_;
        struct AdoptRep_;          // e.g. for static constexpr arrays
        struct AdoptAndDeleteRep_; // for user allocated new byte[]....
 
    private:
        Stroika_ATTRIBUTE_NO_UNIQUE_ADDRESS_VCFORCE Debug::AssertExternallySynchronizedChecker fThisAssertExternallySynchronized_;
        shared_ptr<_IRep>                                                                      fRep_;
    };
    static_assert (totally_ordered<BLOB>);
    static_assert (regular<BLOB>);
    static_assert (Common::explicitly_convertible_to<BLOB, span<const byte>>);
 
    // @todo make this work
    //static_assert (convertible_to<BLOB, span<byte>>);
 
    /**
     * This abstract interface defines the behavior of a BLOB.
     */
    struct BLOB::_IRep {
        _IRep ()                                    = default;
        _IRep (const _IRep&)                        = delete;
        virtual ~_IRep ()                           = default;
        virtual span<const byte> GetBounds () const = 0;
 
        nonvirtual const _IRep& operator= (const _IRep&) = delete;
    };
 
    inline namespace Literals {
 
        /**
         * @brief alias for BLOB::Attach - so treats argument as BLOB of bytes
         *
         *  \par Example Usage
         *      \code
         *           BLOB    b1  =   "hello"_blob;
         *           Assert (b.size () == 5);
         *           Assert (b[0] == static_cast<byte> ('h'));
         *      \endcode
         */
        inline BLOB operator""_blob (const char* str, size_t len);
 
    }
 
}
 
/*
 ********************************************************************************
 ***************************** Implementation Details ***************************
 ********************************************************************************
 */
#include "BLOB.inl"
 
#endif /*_Stroika_Foundation_Memory_BLOB_h_*/