割り当てのコストがコンストラクタとデストラクタのペアよりも小さくなることが保証されないのはなぜですか？

Question

Scott Meyersの "Effective C++"項目26：可能な限り長い変数定義を延期すると、代入のコストは確実にコンストラクタとデストラクタのペアより小さくなりません。

異なるデータ型またはクラスの場合、代入のコストをコンストラクタとデストラクタのペアと比較するにはどうすればよいでしょうか。

私の意見では、コンストラクタとデストラクタのペアはメモリの割り当てと割り当てを解除する必要があり、コンストラクタは少なくとも変数を初期化します。しかし、代入は変数の値を変更するだけです。

したがって、私は一般に、割り当てのコストはコンストラクタとデストラクタのペアよりも小さくする必要があると思います。

Answer 1

あなたはアドバイスを誤解していると思います。 "デフォルトの建設+割当+破壊"よりも "建設+破壊"を行うほうが安いとの勧告があります。

いずれにしても、割り当てが安いことは保証されていません。これはクラス作成者の責任です。すべてのコンストラクタがメモリを割り当てているわけではなく、すべての割り当てが単に「変数の値を変更する」ではなく、一部の割り当てが再割り当てされたり、値の非自明なチェックが行われたりするわけではありません。また、一部の割り当ては、コピーおよびスワップイディオムのように、建設+破壊の面で実装されています：それは建設+スワップ+破壊を行うため

T& operator=(const T& t) { 
    T(t).swap(*this); 
    return *this; 
} 

この割り当ては、確かに建設よりも安いではありません。