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

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