std :: shared_ptrをコンストラクターに渡す

Question

Stuffを作成してFooの所有権を与えることに関して、以下のような合理的かつ効率的なアプローチがありますか？

class Foo 
{ 
    explicit Foo(const std::shared_ptr<Stuff>& myStuff) 
     : m_myStuff(myStuff) 
    { 
    } 

    ... 

private: 
    const std::shared_ptr<Stuff> m_myStuff; 
} 

std::shared_ptr<Stuff> foosStuff(new Stuff()); 
Foo f(foosStuff); 

Answer 1

あなたが効率が興味を持っているので、私は2つの点を作りたいのですが：

のshared_ptr <>を移動工事がコピー建設よりも安価で、多くの標準ライブラリの種類の一つです。 shared_ptrを構築するコピーは、コピーすると参照カウンターを原子単位でインクリメントする必要がありますが、shared_ptrを移動すると参照されたデータやカウンターにはまったく触れる必要はありません。 Dave Abrahamsの記事「Want Speed? Pass by value!」から、特定の状況では、値によって関数パラメータを取ることが実際に有益であることがわかります。これは、これらのケースのいずれかです。

class Foo 
{ 
    explicit Foo(std::shared_ptr<Stuff> myStuff) 
    : m_myStuff(move(myStuff)) 
    {} 

    ... 

private: 
    std::shared_ptr<Stuff> m_myStuff; 
}; 

今、あなたは引数が一時的となしのshared_ptrが今までに（ただ一度か二度移動）コピーされ

Foo f (std::make_shared<Stuff>()); 

を書くことができます。

ここでstd :: make_sharedを使用すると、割り当てが1つしか行われないという利点があります。あなたの場合、自分でStuffオブジェクトを割り当てたので、shared_ptrコンストラクタは参照カウンタとdeleterを動的に割り当てる必要がありました。 make_sharedは1回の割り当てですべてを行います。

Answer 2

はい、これは完全に合理的です。このように、共有ポインタの管理に関係する作業は、値渡しの場合は2回ではなく、1回だけ行う必要があります。 make_sharedを使用してコピーの作成を避けることも考えられます。

std::shared_ptr<Stuff> foosStuff(std::make_shared<Stuff>()); 

fooが唯一の所有者であるのであればあなたが作ることができる唯一の改善は、あなたはSTDを使用するように切り替えることができ（すなわち。あなたはFooの作成後に周りfoosStuffを維持するつもりはない）されて:: unique_ptrをかboost :: scoped_ptr（これはC++ 11以前のバージョン）、オーバーヘッドが少なくなります。

Foo make_foo() { return Foo(std::make_shared<Stuff>()); } 

は今、あなたは auto f = make_foo();を言うことができます。

Answer 3

make_fooヘルパーを持っている方が効率的かもしれません。または、少なくともmake_shared呼び出しを自分で使用してください。その結果、shared_ptrがnew式から構築されたものより効率的になる可能性があります。 Stuffが実際にコンストラクタ引数を取る場合と、民間補助コンストラクタは、適切な次のようになります。あなたは上記のmake_fooにFoo::makeをラップ、またはそれを直接使用することができますいずれか

struct Foo 
{ 
    template <typename ...Args> 
    static Foo make(Args &&... args) 
    { 
     return Foo(direct_construct(), std::forward<Args>(args)...); 
    }; 

private: 

    struct direct_construct{}; 

    template <typeaname ...Args> 
    Foo(direct_construct, Args &&... args) 
    : m_myStuff(std::make_shared<Stuff>(std::forward<Args>(args)...)) // #1 
    { } 
}; 

：

auto f = Foo::make(true, 'x', Blue); 

、言ったあなたがない限り本当にの共有の所有権は、std::unique_ptr<Stuff>の方がより好ましいアプローチのように聞こえます。それは、概念的にははるかに単純であり、やや効率的です。その場合、#1と記された行にm_myStuff(new Stuff(std::forward<Args>(args)...))と書かれています。