c++ - ブーストに make_scoped() がないのはなぜですか?

Question

Boost のmake_shared()関数は、shared_ptr.

make_scoped()同等のものがないのはなぜですか？一般的なベストプラクティスはありますか?

これは、私にとって安全ではないと思われるboost::scoped_ptrドキュメントのコード例です。

    boost::scoped_ptr<Shoe> x(new Shoe);

このコード行は、次の 3 つのことを順番に実行します。

コンストラクターがShoe例外をスローすると、 ~~メモリリークが発生します。~~ (R. Martinho Fernandes の回答を参照)scoped_ptrまだ構築されていないため、解放は処理されません。

これは見落としですか？または、私が気付かなかった解決策はありますか?

score 15 · Accepted Answer

scoped_ptrpredates はセマンティクスを移動し、設計上コピーできません。したがって、make_scoped関数からオブジェクトを返すためには、その型が移動可能またはコピー可能でなければならないため、実装は不可能です。

score 14 · Accepted Answer

コンストラクターが失敗した場合、メモリリークは発生しません。これはのセマンティクスの一部であり、newスマートポインターは含まれません。

struct Foo { Foo() { throw 23; } };
new Foo(); // no memory leaked

によって提供される追加の例外安全性は、関数呼び出しの引数の場合のように、式で 2 つのをmake_shared初期化していて、2 つの初期化が順序付けされていない場合に発生します。shared_ptr

struct Bar {
    Bar(bool fail) {
        if(fail) throw 17;
    }
}
f(shared_ptr<Bar>(new Bar(true)), shared_ptr<Bar>(new Bar(false)));

new Bar(true)、shared_ptr<Bar>(new Bar(true))、new Bar(false)およびの評価の間に順序付けがないためshared_ptr<Bar>(new Bar(false))、次のことが発生する可能性があります。

shared_ptrこの時点ではNoが構築されたため、#1 で割り当てられたメモリがリークしています。

score 1 · Accepted Answer

Shoe がスローした場合、Shoe は構築されないため、scoped_ptr が実際にできることは何もありません。いいえ？scoped_ptr x はスタック上にあり、スコープの終了時にクリーンアップされます。

3 に答える 3