Set_Factory.h

Go to the documentation of this file.

/*
 * Copyright(c) Sophist Solutions, Inc. 1990-2025.  All rights reserved
 */
#ifndef _Stroika_Foundation_Containers_Concrete_Set_Factory_h_
#define _Stroika_Foundation_Containers_Concrete_Set_Factory_h_
 
#include "Stroika/Foundation/StroikaPreComp.h"
 
/**
 *  \file
 */
 
namespace Stroika::Foundation::Containers {
    template <typename T>
    class Set;
}
 
namespace Stroika::Foundation::Containers::Factory {
 
    /**
     *  \brief   Singleton factory object - Used to create the default backend implementation of a Set<> container; typically not called directly
     *
     *  Note - you can override the underlying factory dynamically by calling Set_Factory<T,EQUALS_COMPARER>::Register ().
     *
     *  \note   \em Thread-Safety   <a href="Thread-Safety.md#C++-Standard-Thread-Safety">C++-Standard-Thread-Safety</a>
     */
    template <typename T, IEqualsComparer<T> EQUALS_COMPARER = equal_to<T>>
    class Set_Factory {
    public:
        static_assert (not is_reference_v<T> and not is_reference_v<EQUALS_COMPARER>,
                       "typically if this fails its because a (possibly indirect) caller forgot to use forward<>(), or remove_cvref_t");
 
    public:
        /**
         *  The type of object produced by the factory.
         */
        using ConstructedType = Set<T>;
 
    public:
        /**
         *  Function type to create an ConstructedType object.
         */
        using FactoryFunctionType = function<ConstructedType (const EQUALS_COMPARER& equalsComparer)>;
 
    public:
        /**
         *  Hints can be used in factory constructor to guide the choice of the best container implementation/backend.
         */
        struct Hints {};
 
    public:
        /**
         *  Construct a factory for producing new ConstructedType objects. The default is to use whatever was registered with 
         *  Set_Factory::Register (), but a specific factory can easily be constructed with provided arguments.
         */
        constexpr Set_Factory ();
        constexpr Set_Factory (const Hints& hints);
        constexpr Set_Factory (const FactoryFunctionType& f);
        constexpr Set_Factory (const Set_Factory&) = default;
 
    public:
        /**
         *  This can be called anytime, before main(), or after. BUT - beware, any calls to Register must
         *  be externally synchronized, meaning effectively that they must happen before the creation of any
         *  threads, to be safe. Also note, since this returns a const reference, any calls to Register() after
         *  a call to Default, even if synchronized, is suspect.
         */
        static const Set_Factory& Default ();
 
    public:
        /**
         *  You can call this directly, but there is no need, as the Set<T> CTOR does so automatically.
         */
        nonvirtual ConstructedType operator() (const EQUALS_COMPARER& equalsComparer = {}) const;
 
    public:
        /**
         *  Register a default global factory for Set objects (of the templated type/parameters).
         *  No need to call, typically, as the default factory is generally fine.
         * 
         *  \par Example Usage
         *      \code
         *          Set_Factory::Register(Set_Factory{Set_Factory::Hints{.fOptimizeForLookupSpeedOverUpdateSpeed=true});
         *          Set_Factory::Register();    // or use defaults
         *      \endcode
         *
         *  \note   \em Thread-Safety   <a href="Thread-Safety.md#C++-Standard-Thread-Safety">C++-Standard-Thread-Safety</a>
         *          BUT - special note/restriction - must be called before any threads call Association_Factory::Set_Factory() OR
         *          Set_Factory::Default(), which effectively means must be called at the start of main, but before creating any threads
         *          which might use the factory).
         * 
         *  \note this differs markedly from Stroika 2.1, where Register could be called anytime, and was internally synchronized.
         * 
         *  \note If you wanted a dynamically changeable factory (change after main), you could write one yourself with its own internal synchronization,
         *        set the global one here, then perform the changes to its internal structure through another API.
         */
        static void Register (const optional<Set_Factory>& f = nullopt);
 
    private:
        const FactoryFunctionType fFactory_;
 
    private:
        // function to assure magically constructed even if called before main
        static Set_Factory& AccessDefault_ ();
    };
 
}
 
/*
 ********************************************************************************
 ******************************* Implementation Details *************************
 ********************************************************************************
 */
#include "Set_Factory.inl"
 
#endif /*_Stroika_Foundation_Containers_Concrete_Set_Factory_h_ */