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

xo-interpreter2 stack: define-expr's work at top-level

Browse source
This commit is contained in:
Roland Conybeare 2026-02-17 14:42:17 -05:00
commit a27b49d93d
1 changed files with 66 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

66
include/xo/gc/PolyForwarderUtil.hpp Normal file
View file

@ -0,0 +1,66 @@
/** @file PolyForwarderUtil.hpp
*
* @author Roland Conybeare, Feb 2026
**/
#pragma once
#include "Collector.hpp"
#include <xo/facet/FacetRegistry.hpp>
namespace xo {
namespace mm {
/** Utility class for forwarding support on
* faceted object pointers that have some primary
* facet _other_ than AGCObject.
*
* For fop with AGCObject facet, with collector gc:
*
* obj<ACollector> gc = ..;
* obj<AGCObject> ptr = ..;
*
* gc.forward_inplace(&ptr);
*
* for fop with some other facet:
*
* obj<ASomething> ptr = ..;
* PolyForwarderUtil::forward_inplace(gc, &ptr);
*
* or
* poly_forward_inplace(gc, &ptr);
**/
class PolyForwarderUtil {
public:
template <typename AFacet, typename DRepr>
static void forward_inplace(obj<ACollector> gc, obj<AFacet,DRepr> * p_ptr) {
using xo::facet::FacetRegistry;
/**
* p_ptr
* v FacetRegistry
* +--------+---------+ .variant() +-----------+---------+
* | AFacet | DRepr x | -----------------> | AGCobject | DRepr x |
* +--------+-------|-+ +-----------+-------|-+
* | |
* | /-------------------------------------------/
* | |
* v v
* +-------+
* | DRepr |
* +-------+
**/
auto gco = FacetRegistry::instance().variant<AGCObject,AFacet>(*p_ptr);
gc.forward_inplace(gco.iface(), (void **)&(p_ptr->data_));
}
};
template <typename AFacet, typename DRepr>
void poly_forward_inplace(obj<ACollector> gc, obj<AFacet, DRepr> * p_ptr) {
PolyForwarderUtil::forward_inplace(gc, p_ptr);
}
} /*namespace mm*/
} /*namespace xo*/
/* end PolyForwarderUtil.hpp */