所有権セマンティクスのような生ポインタのためのunique_ptrを返す悪い習慣はありますか？

Question

私は、別のデータオブジェクトから移入された新しいFoobarオブジェクトを返すstaticファクトリメソッドを作成しました。私は最近、オーナーシップのセマンティクスに夢中になりました。このファクトリメソッドがunique_ptrを返すようにして、適切なメッセージを伝えているかどうか疑問に思っています。

class Foobar { 
public: 
    static unique_ptr<Foobar> factory(DataObject data); 
} 

私の意図は、クライアントコードにポインタがあることを伝えることです。スマートなポインタがなければ、私は単純にFoobar*を返します。しかし、このメモリを削除して潜在的なバグを避けるようにしたいので、unique_ptrは適切な解決策のようです。クライアントがポインタの存続期間を延長したい場合は、unique_ptrを取得した後に.release()を呼び出します。

Foobar* myFoo = Foobar::factory(data).release(); 

私の質問は二つの部分に来る：

1. このアプローチは、正しい所有権の意味を伝えていますか？
2. 生ポインタの代わりにunique_ptrを返すのは「悪い習慣」ですか？

Answer 1

ファクトリメソッドからstd::unique_ptrを返すことはうまくいき、推奨される方法です。それが伝えるメッセージは（IMO）です：あなたは今このオブジェクトの唯一の所有者です。さらに、あなたの便宜のために、オブジェクトはそれ自身を破壊する方法を知っています。

これは、生ポインタ（クライアントがこのポインタをどのように処分するかを覚えておく必要がある場所）を返す方がはるかに良いと思います。

しかし、私はあなたの寿命を延ばすためにポインタをリリースするあなたのコメントを理解していません。一般的に私はポインタは常にRAII構造体の一種によって管理されるべきだと思うので、releaseをsmartpointerに呼び出す理由はほとんどありません。（私がreleaseと呼ぶ唯一の状況はポインタを別の管理データ構造に置くことです追加のクリーンアップを正当化するために何かをした後で、unique_ptrは別のDeleterを持っています）。

したがって、クライアントは（とすべきである）単純であれば、複数のコピーが必要な場合、彼らは、オブジェクト（またはshared_ptrを必要として（例えば戻さ一つから構成され、移動されている別のunique_ptr、など）unique_ptrどこかに格納することができますポインタの）。だから、クライアント側のコードはより次のようになりますに

std::unique_ptr<FooBar> myFoo = Foobar::factory(data); 
//or: 
std::shared_ptr<FooBar> myFoo = Foobar::factory(data); 

個人的に私はまた、（この場合はstd::unique_ptr<Foobar>で）返されたポインタ型のためtypedefを追加することになりますし、または使用デリータ（この場合はstdで:: default_deleter）あなたのファクトリオブジェクト。これは後でポインタの割り当てを変更することを後で決めると（したがって、ポインタの破棄のための別のメソッドが必要になります。これは第2のテンプレートパラメータstd::unique_ptrとして表示されます）。 だから私はこのようなものだろう：

class Foobar { 
public: 
    typedef std::default_deleter<Foobar>  deleter; 
    typedef std::unique_ptr<Foobar, deleter> unique_ptr; 

    static unique_ptr factory(DataObject data); 
} 

Foobar::unique_ptr myFoo = Foobar::factory(data); 
//or: 
std::shared_ptr<Foobar> myFoo = Foobar::factory(data); 

Answer 2

std::unique_ptrは、それが指すオブジェクトを一意に所有しています。それは、「私はこのオブジェクトを所有しており、誰もそれをしていません」と述べています。

これはまさにあなたが表現しようとしていることです。あなたは「この機能の呼び出し元：あなたは今このオブジェクトの唯一の所有者です。あなたが喜んで、その生涯はあなたの責任です。

Answer 3

正確なセマンティクスを正確に伝えており、C++のすべての工場がうまくいくと思います。std::unique_ptr<T>は所有権の意味を一切持たず、非常に安価です。