c++ - 只允许使用动态分配来分配对象

Question

我正在研究一个小型图书馆，我对任何一个都有以下要求class X：

1. class X必须只能使用operator new
2. 的所有孩子都class X应该隐式地变得可分配operator new
3. 堆分配的语法应该很优雅
4. 不应更改太多现有代码以包含此
5. 一段时间后，如果我想允许class X自动分配；再次不需要更改太多代码

我也欢迎 C++0x 解决方案（仅供将来使用）。

[注意：我已经完成了我的部分研究，并将其作为答案发布（针对基本场景进行了测试）]

Answer 1

// Dynamic.h
class OnlyDynamic
{
  template<class T> friend struct Dynamic;
  virtual void*** __Restriction () = 0;
};

template<class T>
class Dynamic : public T
{ 
  virtual void*** __Restriction () { return 0; }
  ~Dynamic();
public:
#ifdef Cpp0x
  template<typename... Args>
  Dynamic(Args... args) : T(args...) {}
#else
  Dynamic () {}
  template<typename A1> Dynamic(const A1 &a1) : T(a1) {}
  template<typename A1, typename A2> Dynamic(const A1 &a1, const A2 &a2) : T(a1,a2) {}
//...
  template<typename A1, typename A2, typename A3, typename A4, typename A5, typename A6>
  Dynamic(const A1 &a1, const A2 &a2, const A3 &a3, const A4 &a4, const A5 &a5, const A6 &a6) : T(a1,a2,a3,a4,a5,a6) {}
#endif 
};

用法：

---

假设，我只想class X动态分配；我应该简单地派生OnlyDynamic（访问说明符无关紧要）并用new Dynamic<X>().

例子：

class Base {};

struct A : Base, OnlyDynamic  // <-- only inherit
{
  A (int i) {}
};

A *p = new Dynamic<A>(3);
delete p;

到目前为止，我看到所有给定的要求都通过这个解决方案得到满足。