Как уменьшить скомпилированный бинарный размер стирания типа ⇐ C++

[Anonymous]

Я разрабатываю прошивку в C ++. В рамках прошивки я написал свою собственную, легкую версию std :: shared_ptr (без слабых указателей и некоторых других функций) и std :: make_shared. Без слабых указателей контрольный блок разрушается одновременно с самого объекта, поэтому я смог сделать следующее: < /p>
template
shared_ptr make_shared(ARGS&&... args) {
struct FullBlock {
_shared_ptr_base::control_block block;
T value;
};

//Allocate block on heap
auto block = new FullBlock{
{0, {nullptr, nullptr}},
T{std::forward(args)...} //value
};

block->block.destructor.p = block;
block->block.destructor.destroy = [](const void* x){
delete static_cast(x);
};

return shared_ptr(&block->block, &block->value);
}

, где block.destructor.p -void* (тип стерто) указатель на контрольный блок + объект (то есть, Fullblock) и Block.destructor.destroy является указанием функции, в данном случае, используемое общее сообщение, которое использует это, как и в этом случае. рамки. Поскольку существует множество различных типов сообщений, существует множество различных случаев make_shared и, следовательно, Deleter Lambda. Каждому из этих лямбдам требуется пространство в .Text .
Мой вопрос: поскольку деструкторы - это просто функции, которые принимают (скрытый) указатель на объект, есть ли способ сохранить деструктор без необходимости создавать специальную функцию Lambda для каждого отдельного типа, который я прохожу, чтобы сделать это, чтобы сделать «код»>? (Но я знаю, что это не так): < /p>
struct Foo;

using Destructor = void(*)(const void*);

Foo* f;
Destructor d = &Foo::~Foo;
void* ptr = static_cast(f);

d(ptr); //Call the destructor


Подробнее здесь: https://stackoverflow.com/questions/745 ... pe-erasure