Как вы объявляете и используете перегруженный пул оператора delete?

Question

Я хотел бы знать, как адаптировать раздел 11.14 C++-FAQ-lite для массивов.

В принципе, я хотел бы что-то вроде этого:

class Pool {
public:
  void* allocate(size_t size) {...}
  void deallocate(void* p, size_t size) {...}
};

void* operator new[](size_t size, Pool& pool) { return pool.allocate(size); }
void operator delete[](void* p, size_t size, Pool& pool) { pool.deallocate(p, size); }

struct Foo {...};

int main() {
  Pool pool;

  Foo* manyFoos = new (pool) Foo [15];

  /* ... */

  delete [] (pool) manyFoos;
}

Тем не менее, я не смог выяснить правильный синтаксис для объявления и вызова этого operator delete[] (pool), Кто-нибудь может здесь помочь?

Answer 1

Это невозможно. Бьярне полагает, что вы никогда не поймете это правильно, выясняя правильный пул. Его решение таково: вы должны вручную вызвать все деструкторы и затем определить правильный пул, чтобы иметь возможность освободить память вручную.

Рекомендации:

Часто задаваемые вопросы Бьярне: Есть ли место размещения удалить?

Соответствующие стандартные разделы C++:

3.7.3.2.2 Для выражений удаления учитываются только функции удаления операторов-членов с аргументом типа size_t.

5.3.5.1 Синтаксис удаления выражения не допускает дополнительных параметров.

Answer 2

Сначала вызовите dtors для отдельных объектов, а затем используйте:

for (int i = 0; i < 15; ++i) manyFoos[ i ]->~Foo();
operator delete[] (manyFoos, pool);

Вы можете снова прочитать весь раздел FAQ и найти его там.