c++ - 파생 클래스에서 연산자 새로 만들기/삭제 재정의

다양한 구체적인 클래스가 상속하는 상태 비 저장 추상 기본 클래스가 있습니다. 이 파생 클래스 중 일부는 상태 비 저장입니다. 많은 것들이 실행 중에 만들어지기 때문에 모든 stateless 파생 클래스가 연산자 new ()/delete ()를 재정 의하여 단일 상태를 모방하여 메모리와 오버 헤드를 절약하고 싶습니다. 간단한 예는 다음과 같습니다.

#include <memory>
struct Base {
  virtual ~Base() {}
 protected:
  Base() {}   // prevent concrete Base objects
};
struct D1 : public Base {  // stateful object--default behavior
  int dummy;
};
struct D2 : public Base {  // stateless object--don't allocate memory
  void* operator new(size_t size)
  {
    static D2 d2;
    return &d2;
  }
  void operator delete(void *p) {}
};
int main() {
  Base* p1 = new D1();
  Base* p2 = new D1();
  Base* s1 = new D2();
  Base* s2 = new D2();
  delete p1;
  delete p2;
  delete s1;
  delete s2;
  return 0;
}

이 예제는 작동하지 않습니다 : delete s2;   delete s1; 때문에 실패   ~Base() 라고 공유 Base 를 할당 해제했습니다.  와이즈 비즈 . 이것은 새로운/삭제 오버로드와 동일한 트릭을 기본에 추가하여 해결할 수 있습니다. 그러나 이것이 가장 깨끗한 솔루션인지, 심지어 올바른 솔루션인지 확실하지 않습니다 (valgrind는 불평하지 않습니다, FWIW). 조언이나 비평에 감사드립니다.

편집 : 실제로 상황은 더 나쁘다. 내가 주장한 것처럼이 예제의 Base 클래스는 추상적이지 않습니다. 순수한 가상 메소드를 추가하여 추상적 인 경우 Base 유형의 정적 변수를 가질 수 없으므로 새/삭제 재정의 트릭을 더 이상 적용 할 수 없습니다. 따라서이 문제에 대한 해결책이 없습니다!

d2