如何只在堆上创建对象，如何只在栈上创建对象

如何设计一个类, 使之对象实例只能在堆中创建(new生成)
如何设计一个类, 使之对象实例只能在栈中创建(变量定义)

 

class OnlyStack
{
public:
     OnlyStack(){}
private:
     void* operator new( size_t );
}

int main( int argc, char* argv[] )
{
    OnlyStack stack;                  // OK
    OnlyStack *heap = new OnlyStack;  // Error
}
---------------------------------------------------------------

//禁止在heap中
class number
{
   private:
    static void*operator new(size_t size);
    static void operator delete(void*ptr);
  ..........
};
//禁止在栈上
class number
{
   private:
        ~number();
   public:
     void destory()const{delete this;}
   ............
}

---------------------------------------------------------------

限制对象只能创建在堆上是一种比较常见的需求，也有成熟的设计模式。
但是，如何限制对象只能创建在栈上就比较新鲜，好象没有现成的模式可用，想不出用什么方法来做。楼上几位的方法都是有问题的。我倒是有一个方法，但必须用汇编来实现（而且不能用嵌入汇编，只能用汇编直接写一个函数，连接到主程序中，这样的话，必须手工 mangle/demangle new运算符的函数名），这个与平台、编译器紧密相关，算不上是C++的解法。不知诸位大侠有没有更佳的方案？

下面是汇编代码，不过，没试过，呵呵，也不知道各个编译器的具体情况，要做好多假设啊，所以没时间来试。

.386
.model flat

.code
public OverideNewMangledName ; 这里需要知道编译器的重载成员new操作符mangle后的名字

; 这段代码是平台/编译器相关的, 
; 它有许多假定,如假定 new 操作符使用 cdecl 调用约定等等
OverideNewMangledName proc
    POP     EBX     ; 返回地址
    POP     EAX     ; sizeof(MyObject), 这里假定 new 只有一个形参
    SUB     ESP,EAX   ; 在栈中开辟对象存储空间
    MOV     EAX,ESP ; 这里是要返回的对象指针
    SUB     ESP,4   ; 为形参占个位置而已, 保持栈顶为调用前状态
    PUSH    EBX
    RET
OverideNewMangledName endp
; 这里假定返回后编译器会调用对象的构造函数, 这个假定一般倒是成立

END

函数返回后，对象指针被返回，且对象位置在栈顶上。如果把类的构造函数设为私有，就达到了只能在栈上创建的目的了。