FL_ALIGN_AS_T()

template<typename... Types>

class fl::FL_ALIGN_AS_T

(

max_align< Types... >::value

)

Get a reference to the stored value of type T

Template Parameters

T	The type to retrieve

Returns

Reference to the stored value

Note

Asserts if the variant doesn't contain type T. Use is<T>() to check first.

Warning

Will crash if called with wrong type - this is intentional for fast failure

Get a const reference to the stored value of type T

Template Parameters

T	The type to retrieve

Returns

Const reference to the stored value

Note

Asserts if the variant doesn't contain type T. Use is<T>() to check first.

Warning

Will crash if called with wrong type - this is intentional for fast failure

Definition at line 1 of file variant.h.

                                                      {
  public:
    using Tag = u8;
    static constexpr Tag Empty = 0;
 
    // –– ctors/dtors/assign as before …
 
    variant() FL_NO_EXCEPT : _tag(Empty) {}
 
    template <typename T, typename = typename fl::enable_if<
                              contains_type<T, Types...>::value>::type>
    variant(const T &value) FL_NO_EXCEPT : _tag(Empty) {
        construct<T>(value);
    }
 
    template <typename T, typename = typename fl::enable_if<
                              contains_type<T, Types...>::value>::type>
    variant(T &&value) FL_NO_EXCEPT : _tag(Empty) {
        construct<T>(fl::move(value));
    }
 
    variant(const variant &other) FL_NO_EXCEPT : _tag(Empty) {
        if (!other.empty()) {
            copy_construct_from(other);
        }
    }
 
    variant(variant &&other) FL_NO_EXCEPT : _tag(Empty) {
        if (!other.empty()) {
            move_construct_from(other);
            // After moving, mark other as empty to prevent destructor calls on moved-from objects
            other._tag = Empty;
        }
    }
 
    ~variant() FL_DTOR_NOEXCEPT { reset(); }
 
    variant &operator=(const variant &other) FL_NO_EXCEPT {
        if (this != &other) {
            reset();
            if (!other.empty()) {
                copy_construct_from(other);
            }
        }
        return *this;
    }
 
    variant &operator=(variant &&other) FL_NO_EXCEPT {
        if (this != &other) {
            reset();
            if (!other.empty()) {
                move_construct_from(other);
                // After moving, mark other as empty to prevent destructor calls on moved-from objects
                other._tag = Empty;
            }
        }
        return *this;
    }
 
    template <typename T, typename = typename fl::enable_if<
                              contains_type<T, Types...>::value>::type>
    variant &operator=(const T &value) FL_NO_EXCEPT {
        // Copy first to handle self-referential values (e.g. assigning
        // from a reference into this variant's own storage)
        T value_copy(value);
        reset();
        construct<T>(fl::move(value_copy));
        return *this;
    }
 
    template <typename T, typename = typename fl::enable_if<
                              contains_type<T, Types...>::value>::type>
    variant &operator=(T &&value) FL_NO_EXCEPT {
        reset();
        construct<T>(fl::move(value));
        return *this;
    }
 
    // –– modifiers, observers, ptr/get, etc. unchanged …
 
    template <typename T, typename... Args>
    typename fl::enable_if<contains_type<T, Types...>::value, T &>::type
    emplace(Args &&...args) FL_NO_EXCEPT {
        reset();
        construct<T>(fl::forward<Args>(args)...);
        return *ptr<T>();
    }
 
    void reset() FL_NO_EXCEPT {
        if (!empty()) {
            destroy_current();
            _tag = Empty;
        }
    }
 
    Tag tag() const FL_NO_EXCEPT { return _tag; }
    bool empty() const FL_NO_EXCEPT { return _tag == Empty; }
 
    template <typename T> bool is() const FL_NO_EXCEPT {
        return _tag == type_to_tag<T>();
    }
 
    template <typename T> T *ptr() FL_NO_EXCEPT {
        if (!is<T>()) return nullptr;
        // Use bit_cast_ptr for safe type-punning on properly aligned storage
        // The storage is guaranteed to be properly aligned by alignas(max_align<Types...>::value)
        return fl::bit_cast_ptr<T>(&_storage[0]);
    }
 
    template <typename T> const T *ptr() const FL_NO_EXCEPT {
        if (!is<T>()) return nullptr;
        // Use bit_cast_ptr for safe type-punning on properly aligned storage
        // The storage is guaranteed to be properly aligned by alignas(max_align<Types...>::value)
        return fl::bit_cast_ptr<const T>(&_storage[0]);
    }

    template <typename T> T &get() FL_NO_EXCEPT {
        // Dereference ptr() directly - will crash with null pointer access if wrong type
        // This provides fast failure semantics similar to std::variant
        return *ptr<T>();
    }

    template <typename T> const T &get() const FL_NO_EXCEPT {
        // Dereference ptr() directly - will crash with null pointer access if wrong type
        // This provides fast failure semantics similar to std::variant
        return *ptr<T>();
    }
 
    template <typename T> bool equals(const T &other) const FL_NO_EXCEPT {
        if (auto p = ptr<T>()) {
            return *p == other;
        }
        return false;
    }
 
    // –– visitor using O(1) function‐pointer table
    template <typename Visitor> void visit(Visitor &visitor) FL_NO_EXCEPT {
        if (_tag == Empty)
            return;
 
        // Fn is "a pointer to function taking (void* storage, Visitor&)"
        using Fn = void (*)(void *, Visitor &);
 
        // Build a constexpr array of one thunk per type in Types...
        // Each thunk casts the storage back to the right T* and calls
        // visitor.accept
        static constexpr Fn table[] = {
            &variant::template visit_fn<Types, Visitor>...};
 
        // _tag is 1-based, so dispatch in O(1) via one indirect call:
        // Check bounds to prevent out-of-bounds access
        size_t index = _tag - 1;
        if (index < sizeof...(Types)) {
            table[index](&_storage, visitor);
        }
    }
 
    template <typename Visitor> void visit(Visitor &visitor) const FL_NO_EXCEPT {
        if (_tag == Empty)
            return;
 
        // Fn is "a pointer to function taking (const void* storage, Visitor&)"
        using Fn = void (*)(const void *, Visitor &);
 
        // Build a constexpr array of one thunk per type in Types...
        static constexpr Fn table[] = {
            &variant::template visit_fn_const<Types, Visitor>...};
 
        // _tag is 1-based, so dispatch in O(1) via one indirect call:
        // Check bounds to prevent out-of-bounds access
        size_t index = _tag - 1;
        if (index < sizeof...(Types)) {
            table[index](&_storage, visitor);
        }
    }
 
  private:
    // –– helper for the visit table
    template <typename T, typename Visitor>
    static void visit_fn(void *storage, Visitor &v) FL_NO_EXCEPT {
        // Use bit_cast_ptr for safe type-punning on properly aligned storage
        // The storage is guaranteed to be properly aligned by alignas(max_align<Types...>::value)
        T* typed_ptr = fl::bit_cast_ptr<T>(storage);
        v.accept(*typed_ptr);
    }
 
    template <typename T, typename Visitor>
    static void visit_fn_const(const void *storage, Visitor &v) FL_NO_EXCEPT {
        // Use bit_cast_ptr for safe type-punning on properly aligned storage
        // The storage is guaranteed to be properly aligned by alignas(max_align<Types...>::value)
        const T* typed_ptr = fl::bit_cast_ptr<const T>(storage);
        v.accept(*typed_ptr);
    }
 
    // –– destroy via table -- dispatches through fl::detail::pick_variant_destroy_fn,
    //    which collapses trivially-copyable T's to the shared `variant_noop_destroy`
    //    (one symbol across every variant<...> in the link). See #3249 header.
    void destroy_current() FL_NO_EXCEPT {
        FL_DISABLE_WARNING_PUSH
        FL_DISABLE_WARNING(array-bounds)
        static constexpr detail::variant_destroy_fn table[] = {
            detail::pick_variant_destroy_fn<Types>()...
        };
        if (_tag != Empty) {
            table[_tag - 1](&_storage);
        }
        FL_DISABLE_WARNING_POP
    }
 
    // –– copy‐construct via table -- collapses trivially-copyable T's to the
    //    shared per-size `variant_trivial_copy_n<sizeof(T)>` thunk. See #3249.
    void copy_construct_from(const variant &other) FL_NO_EXCEPT {
        FL_DISABLE_WARNING_PUSH
        FL_DISABLE_WARNING(array-bounds)
        static constexpr detail::variant_copy_fn table[] = {
            detail::pick_variant_copy_fn<Types>()...
        };
        table[other._tag - 1](&_storage, &other._storage[0]);
        FL_DISABLE_WARNING_POP
        _tag = other._tag;
    }
 
    // –– move‐construct via table -- collapses trivially-copyable T's to the
    //    shared per-size `variant_trivial_move_n<sizeof(T)>` thunk. See #3249.
    void move_construct_from(variant &other) FL_NO_EXCEPT {
        FL_DISABLE_WARNING_PUSH
        FL_DISABLE_WARNING(array-bounds)
        static constexpr detail::variant_move_fn table[] = {
            detail::pick_variant_move_fn<Types>()...
        };
        table[other._tag - 1](&_storage, &other._storage[0]);
        FL_DISABLE_WARNING_POP
        _tag = other._tag;
        other.reset();
    }
 
    // –– everything below here (type_traits, construct<T>, type_to_tag,
    // storage)
    //    stays exactly as you wrote it:
 
    // … max_size, max_align, contains_type, type_to_tag_impl, etc. …
 
    // Helper to map a type to its tag value
    template <typename T> static constexpr Tag type_to_tag() FL_NO_EXCEPT {
        return type_to_tag_impl<T, Types...>::value;
    }
 
    // Implementation details for type_to_tag
    template <typename T, typename... Ts> struct type_to_tag_impl;
 
    template <typename T> struct type_to_tag_impl<T> {
        static constexpr Tag value = 0; // Not found
    };
 
    template <typename T, typename U, typename... Rest>
    struct type_to_tag_impl<T, U, Rest...> {
        static constexpr Tag value =
            fl::is_same<T, U>::value
                ? 1
                : (type_to_tag_impl<T, Rest...>::value == 0
                       ? 0
                       : type_to_tag_impl<T, Rest...>::value + 1);
    };
 
    template <typename T, typename... Args> void construct(Args &&...args) FL_NO_EXCEPT {
        new (&_storage) T(fl::forward<Args>(args)...);
        _tag = type_to_tag<T>();
    }
 
    FL_ALIGN_AS_T(max_align<Types...>::value) char _storage[max_size<Types...>::value];
 
    Tag _tag;
};

Referenced by fl::Singleton< T, N >::instance(), fl::SingletonThreadLocal< T, N >::instance(), and fl::SingletonShared< T, N >::instanceInner().

Here is the caller graph for this function: