なぜあなたはオペレータ `new`をプライベートにするのですか？

Question

私はOpenSplice DDSを使用しています。そこには、ほぼすべてのC++クラス（私が使用した基本的なもの、それについて言及することができます）がnew演算子にオーバーロードされています。私は理解していない、なぜ誰もそれを行うだろうか？誰かがこれの必要性を示すいくつかの例を提供することができますか？

私はnewを必要とする理由：これらのクラスのほとんどは、デフォルトコンストラクタを持っていない、と私はunique_ptrて、後で私の実装では、それらを初期化する必要があるため。

簡単なトリック：一方、私は非常に簡単にこれをトリックすることができます！私はこのクラスを別のクラスでラップすることができ、私が望むだけでnewを使用します。それゆえ、私はその動機を理解しておらず、悪いスタイルのように感じます。誰かが説明できますか？

---

EDIT：

ちょうど明確にする：エスケープすることができない、これは良い答えで良い例を提供します。 newオペレータがプライベートにしているのを見るすべての人に役立ちます。

Answer 1

埋め込まれたC++の多くは、システムの起動後に動的割り当てが行われないことを保証する必要があります。航空、自動車、医療機器業界は、この要件を満たすことが多い。その背後に、このようなコーディング標準と合理的なため、以下のリンクを参照してください：

• http://www.stroustrup.com/JSF-AV-rules.pdf
• http://www.qa-systems.com/tools/qa-misra/

Answer 2

あなたは厳密に新しくする必要はありません。

（ヒープ割り当てではなく）オブジェクトのスタック割り当てを強制的に禁止することはできません。考えてみましょう：

struct Point { 
    int x, y; 
}; 

Point * a = new Point{3, 5}; //sizeof(Point) in heap + sizeof(Point *) in stack. 
Point b{3, 5}; //sizeof(Point), directly in the stack 

をですから、new演算子を削除した場合またはそれがプライベート（前C++ 11）あなたは、ユーザーのためのプロトコルを強制します（C++ 11であなたが禁止したい場合は、それが正しい方法です） 。

禁止（ただし、削除しない）するもう一つの理由NEWINGおよびコンストラクタは、オブジェクトの工場のスマートポインタのいくつかの種類を返すことが考えられます。必要に応じて

class MyClass { 
private: 
    MyClass(); 
    void * operator new(...); 
public: 
    static std::shared_ptr<MyClass> create() { 
     //check if object in cache... 
     auto c = std::make_shared<MyClass>(); 
     //Do more stuff maybe 
     return c; 
    } 
}; 

これは、工場出荷時のコンストラクタで何かを強制するだろう、などキャッシュやその他のものを使用すると、外部ユーザーもnewを使用できなくなりますが、割り付けのためにクラス内で新しいものを使用することは許可されます（new演算子を削除した場合はこれ以上実行できません）。

Answer 3

理由誰[過newオペレータがプライベートであるため（それらを使用してからユーザーを防ぐために）]

おそらくオブジェクトをdirectly on heap（すなわち動的に）割り当て防止するであろう。

誰かがこの必要性を示すいくつかの例を提供できますか？

私はこれを必要とするものは何も知らない。このような決定に関する情報を見つけるための最良の情報源は文書です。それが文書化されていない場合は、開発者に尋ねることができます。

私は推測できます。私の推測では、デザイナーは、ユーザーが間違いを犯したり、動的オブジェクトを解放するのを忘れたり、存在しないオブジェクトを破壊または使用しようとすることをより困難にしたいと考えています。

---

EDIT：これは証明可能、公式ではありませんが、ユーザーがライブラリがcommented on their forum持って提供する会社の従業員としてタグ付け：

ISO C++ APIは、上で作成されたすべてのオブジェクトを持つように設計されて

これは、オブジェクトがまだ参照されているかどうかに基づいて、すべてのメモリ管理が自動的に行われるためです。 ISO C++オブジェクトのコピーではオーバーヘッドは発生しません。これは、基本オブジェクトのスマートポインタをコピーして、同じオブジェクトへの参照が2つになるためです。

---

これらのクラスのほとんどは、デフォルトコンストラクタを持っていない、と私は後でそれらを初期化する必要があるので...

必ずしもあなたが動的な割り当てを必要とすることを意味するものではありません。クラスにはデフォルトコンストラクタがないかもしれませんが、コンシューマにいくつかの正規の値を渡すことによって実現できる（例えば、nullptr）分かりやすいデフォルト状態を持つかもしれません。