新しい演算子と継承のオーバーロード

Question

これは世界でも最高のデザインではないかもしれませんが、実際の理由がなくても という回答に興味があります。

は私がオーバーロードされた新しい方法でこれら二つのクラスを持っていると仮定しましょう：

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

class Child : public Base { 
public: 
operator void* new(size_t); //THIS, i would like this to be the "original" new. 
}; 

operator void* Base::new(size_t) { 
//... 
return new Child; 
//... 
} 

私は子供:: newは、元の新しいのように動作したいと思いますので、私はmalloc関数の使用を避けることができます。

これを行う方法はありますか？

ありがとうございます！

Answer 1

あなたは構文

return ::operator new(sizeof Child); 

を使用してグローバルoperator newに常にアクセスすることができますが単項スコープ演算子を注意してください。この構文は、クラスと名前空間のメンバーをすべて無視し、Base::operator newまたはChild::operator newのいずれかで機能します。

割り当て、初期化するオブジェクトをクラス/名前空間のメンバーを使用しなくても、それはさておき

::new Child 

を使用するには...はい、メンバーoperator newは通常、重大なコードのにおいです。

Answer 2

これは正しいデザインではありません。 operator new関数は、 生のメモリを返します。構築されたオブジェクトではありません。 の呼び出しで、new Baseの呼び出しが実際には新しいChildを作成することになる場合は、 をC++で実行することはできません。通常の解決方法は、ファクトリメソッドを Baseに提供することです。例えば：

class Base 
{ 
    // Ban the expression `new Base`... 
    void* operator new(size_t); 
protected: 
    virtual ~Base(); // Ban instances on the stack. 

public: 
    static Base* create(/*...*/); 
    // ... 
}; 

は、その後、ソースファイルに：

class Child : public Base 
{ 
    // ... 
}; 

Base* Base::create(/*...*/) 
{ 
    return ::new Child(/*...*/); 
} 

（1が常に::new Baseを書くことができますので、プライベートoperator newは完全に、new演算子を使用してからクライアントコード を禁止しないことに注意してください。）

operator newを直接割り当てを禁止する以外に、 唯一のメンバーはoperator newです。 s特定のプール からインスタンスを割り当てます。その場合は、プールに解放するためにメンバーoperator delete も必要です。