Должен ли вызов malloc соответствовать вызову free в пуле динамической памяти?

У меня есть некоторый код здесь, который реализует динамический пул памяти. Пул начинается с размера 0 и увеличивается с каждым последующим выделением. Он используется для того, чтобы попытаться минимизировать издержки, связанные с тоннами выделений и выделений.

Вызов malloc НЕ соответствует вызову free. Похоже, что оно полагается на приложение, которое использует его, чтобы не вызывать достаточно новых подряд для того, чтобы приложение утекло значительный объем памяти.

Я не писал это, так что это мое лучшее предположение.

Мой вопрос:

1. Является ли отсутствие вызова для освобождения ошибки или я что-то упускаю из-за перегрузки оператора удаления?
2. Эта реализация полагается на ОС, чтобы очистить небольшой объем памяти, который течет при выходе?

Благодарю.

//Obj.h
class Obj
{
public:
Obj(){};
void* operator new(std::size_t size);
void operator delete(void* p);
private:
static std::vector<void*> pool_;
static std::size_t checked_in_;
static std::size_t checked_out_;
};

//Obj.cpp
std::vector<void*> Obj::pool_;
std::size_t Obj::checked_out_ = 0;
std::size_t Obj::checked_in_  = 0;

void* Obj::operator new(std::size_t size)
{
if (pool_.empty())
{
++checked_out_;
return malloc(size);
}
else
{
--checked_in_;
++checked_out_;
void* p = pool_.back();
pool_.pop_back();
return p;
}
}

void Obj::operator delete(void* p)
{
pool_.push_back(p);
if (pool_.size() % 10000 == 0)
{
std::cout<<"mem leak\n";
}
--checked_out_;
++checked_in_;
}