C++で動的に割り当てられた型のオーバーロード+演算子

Question

コンストラクタがnewを呼び出す（つまり、コンストラクタが別のものを動的に割り当てる必要がある）型を持つ+演算子をオーバーライドしようとしています。 。私の問題は、私は明らかに+関数内型Tのオブジェクトを作成する必要があるということです

T c = a + b; 

：どこか、私は次のようなものを使用することができるようにしたいと思います。 by-copyを返すために+関数実装内のスタックにTの一時インスタンスを割り当てた場合、このインスタンスのデストラクタは+ call exitとして呼び出され、cへの代入の前に（つまり私は信じています）。それはオプションではありません。私の他のオプションは、newを使用して、返すときにnewによって返されたポインタを逆参照するように思われます。しかし、このアプローチの問題は、ポインタがアクセス不能になり、その上にdeleteを呼び出す方法がないということです。

私の質問は...ダイナミックな割り当てを伴うタイプの演算子のオーバーロードがまれであるということはできません。どのように人々は一般的にこのような状況に対処しますか？

Answer 1

TがThe Rule of 3に従っていることを確認してください。心配はありません。

Answer 2

std::stringとstd::vectorは何とかできて、あなたのクラスもそうです。私はあなたがソースコードを学ぶことを示唆していません、それは非常に威圧的です。別のポスターが言ったように、3のルールはあなたの友人です。私はあなたがでないことを追加することができますnewあなたの機能で呼び出します。スタックに割り当てて値で返します。 C++は必要な魔法を実行します。

Answer 3

あなたは、コンパイラに依存して、オペレータの実装、出口で、その後、operator+内スタック上に一時オブジェクトを作成する場合：

渡されるオブジェクトが別の一時オブジェクトにコピーコンストラクタを介して渡されます

1. 、再度コピーコンストラクタ経由でcに転送してください。 または
2. オブジェクトはコピーコンストラクタ経由でcに渡されます。 OR
3. 一時オブジェクトは実際にはcであり、コピーコンストラクタコールはありません。前に述べたように、あなたが3のルールに従い、コピーコンストラクタと代入演算子の正しい実装を提供する場合がどのような状況下で、何の問題もないので、あなたが心配する必要はありません、

（http://en.wikipedia.org/wiki/Return_value_optimizationを参照してください）実際の実装について（あなたがパフォーマンスに夢中ならない限り）。それはOOPに関するすべてです。