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

Я хотел бы знать, как адаптировать раздел 11.14 С++ - 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). Может ли кто-нибудь помочь здесь?

Ответ 1

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

Литература:

Bjarne FAQ: Есть ли удаление места размещения?

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

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

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

Ответ 2

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

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

Вы снова можете прочитать весь пункт часто задаваемых вопросов, и вы найдете его там.