roland/xo-alloc2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-alloc: explicit typeseq arg to alloc

Browse source
This commit is contained in:
Roland Conybeare 2026-01-02 10:20:19 -05:00
commit d5b6861b80
11 changed files with 48 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

8
include/xo/alloc2/alloc/AAllocator.hpp
View file

@ -117,20 +117,22 @@ namespace xo {
**/
virtual bool expand(Opaque d, std::size_t z) const noexcept = 0;
/** attempt to allocate @p z bytes of memory from allocator @p d.
* for object with type @p t.
* (DX1collector cares about @p t, DArena does not)
* If allocation fails returns nullptr. In this case error details may be retrieved
* using last error
**/
virtual value_type alloc(Opaque d, size_type z) const = 0;
virtual value_type alloc(Opaque d, typeseq t, size_type z) const = 0;
/** like @ref alloc, but follow with one or more consecutive
* @ref sub_alloc() calls. This sequence of allocs will share
* the initial allocation header.
**/
virtual value_type super_alloc(Opaque d, size_type z) const = 0;
virtual value_type super_alloc(Opaque d, typeseq t, size_type z) const = 0;
/** follow a preceding @ref super_alloc call with additional
* subsidiary allocs that share the same object header.
* Must finish sequence with exactly one sub_alloc call
* with @p complete_flag set. This sub_alloc call may have
* zero @p z
* zero @p z.
**/
virtual value_type sub_alloc(Opaque d, size_type z, bool complete_flag) const = 0;
/** reset allocator @p d to empty state. **/

5
include/xo/alloc2/alloc/IAllocator_Any.hpp
View file

@ -26,6 +26,7 @@ namespace xo {
**/
struct IAllocator_Any : public AAllocator {
//using Impl = IAllocator_ImplType<xo::facet::DVariantPlaceholder>;
using typeseq = xo::facet::typeseq;
using size_type = std::size_t;
const AAllocator * iface() const { return std::launder(this); }
@ -49,8 +50,8 @@ namespace xo {
// non-const methods
[[noreturn]] bool expand(Opaque, std::size_t) const noexcept override { _fatal(); }
[[noreturn]] value_type alloc(Opaque, std::size_t) const override { _fatal(); }
[[noreturn]] value_type super_alloc(Opaque, std::size_t) const override { _fatal(); }
[[noreturn]] value_type alloc(Opaque, typeseq, std::size_t) const override { _fatal(); }
[[noreturn]] value_type super_alloc(Opaque, typeseq, std::size_t) const override { _fatal(); }
[[noreturn]] value_type sub_alloc(Opaque, std::size_t, bool) const override { _fatal(); }
[[noreturn]] void clear(Opaque) const override { _fatal(); }
[[noreturn]] void destruct_data(Opaque) const override { _fatal(); }

6
include/xo/alloc2/alloc/IAllocator_Xfer.hpp
View file

@ -60,9 +60,11 @@ namespace xo {
bool expand(Opaque d,
std::size_t z) const noexcept override { return I::expand(_dcast(d), z); }
value_type alloc(Opaque d,
std::size_t z) const override { return I::alloc(_dcast(d), z); }
typeseq t,
std::size_t z) const override { return I::alloc(_dcast(d), t, z); }
value_type super_alloc(Opaque d,
std::size_t z) const override { return I::super_alloc(_dcast(d), z); }
typeseq t,
std::size_t z) const override { return I::super_alloc(_dcast(d), t, z); }
value_type sub_alloc(Opaque d,
std::size_t z,
bool complete_flag) const override {

4
include/xo/alloc2/alloc/RAllocator.hpp
View file

@ -40,8 +40,8 @@ namespace xo {
AllocInfo alloc_info(value_type mem) const noexcept { return O::iface()->alloc_info(O::data(), mem); }
range_type alloc_range(DArena & mm) const noexcept { return O::iface()->alloc_range(O::data(), mm); }
value_type alloc(size_type z) noexcept { return O::iface()->alloc(O::data(), z); }
value_type super_alloc(size_type z) noexcept { return O::iface()->super_alloc(O::data(), z); }
value_type alloc(typeseq t, size_type z) noexcept { return O::iface()->alloc(O::data(), t, z); }
value_type super_alloc(typeseq t, size_type z) noexcept { return O::iface()->super_alloc(O::data(), t, z); }
value_type sub_alloc(size_type z,
bool complete_flag) noexcept { return O::iface()->sub_alloc(O::data(),
z, complete_flag); }