Смещение указателя базового класса и перемещение объектов ⇐ C++

[Anonymous]

Я разрабатываю распределитель памяти, который сможет перемещать объекты в течение их жизни. Для поддержки этого требуется использование IndirectPointer, указывающего на блок управления. Этот блок управления указывает на истинное местоположение объекта и обновляется, если распределитель памяти хочет переместить объекты.
Это создает проблему, когда вам нужен IndirectPointer для базового класса выделенного типа, поскольку значение указателя в блоке памяти указывает на производный класс. Я придумал следующее решение: проверял смещение между базовым и производным указателями, сохранял его и корректировал указатель блока памяти по этому смещению.
Определено ли поведение этого подхода? В частности, сохраняется ли смещение вместе с поведением, определяемым указателем, включая любые потенциальные крайние случаи?
struct ControlBlock
{
void* ptr;
};

template
class IndirectPointer
{
public:

// Constructor used immediately after object allocation
IndirectPointer(ControlBlock* control_block) :
control_block(control_block),
offset(0)
{
}

// Allow indirect pointers to base clases
template
IndirectPointer(const IndirectPointer& r) requires std::is_base_of_v :
control_block(r.control_block)
{
if (const Derived* ptr = r.try_get())
{
offset = r.offset + reinterpret_cast(static_cast(ptr)) - reinterpret_cast(ptr);
}
}

// Access value
T* try_get() const
{
if (control_block && control_block->ptr)
{
return reinterpret_cast(static_cast(control_block->ptr) + offset);
}
return nullptr;
}

private:

template
friend class IndirectPointer;

ControlBlock* control_block;
std::ptrdiff_t offset;
};

int main()
{
struct X {
~X() = default;
virtual void foo() = 0;
};
struct Y : X {
void foo() override {}
};

// Minimal code to show intented behaviour:

// Create object
Y object;
ControlBlock cb { &object };
IndirectPointer pointer{ &cb };
IndirectPointer base_pointer{pointer};

// Move object
Y object_new_location{ std::move(object) };

// Update control block pointer
cb.ptr = &object_new_location;

// Pointer now points to new object
assert(pointer.try_get() == &object_new_location);
assert(base_pointer.try_get() == &object_new_location);
}


Подробнее здесь: https://stackoverflow.com/questions/797 ... ng-objects