make_uniqueおよび完全な転送

std::make_unique標準C ++ 11ライブラリに関数テンプレートがないのはなぜですか？見つけた

std::unique_ptr<SomeUserDefinedType> p(new SomeUserDefinedType(1, 2, 3));

少し冗長。次の方がずっといいと思いませんか？

auto p = std::make_unique<SomeUserDefinedType>(1, 2, 3);

これはnew見事に非表示になり、タイプについては1回だけ言及します。

とにかく、ここに私の実装の試みがありますmake_unique：

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

std::forwardコンパイルするのにかなり時間がかかりましたが、それが正しいかどうかはわかりません。それは...ですか？正確にはstd::forward<Args>(args)...どういう意味ですか？コンパイラはそれを何で作っていますか？

C ++標準化委員会の委員長であるハーブサッターは、彼のブログに次のように書いています。

C ++ 11に含まれていないのmake_uniqueは部分的な見落としであり、将来的にはほぼ確実に追加される予定です。

彼はまた、OPによって提供されるものと同じ実装を提供します。

編集： std::make_unique現在はC ++ 14の一部です。

いいですが、Stephan T. Lavavej（STLとして知られています）にはmake_unique、アレイバージョンで正しく機能するのより優れたソリューションがあります。

#include <memory>
#include <type_traits>
#include <utility>

template <typename T, typename... Args>
std::unique_ptr<T> make_unique_helper(std::false_type, Args&&... args) {
  return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

template <typename T, typename... Args>
std::unique_ptr<T> make_unique_helper(std::true_type, Args&&... args) {
   static_assert(std::extent<T>::value == 0,
       "make_unique<T[N]>() is forbidden, please use make_unique<T[]>().");

   typedef typename std::remove_extent<T>::type U;
   return std::unique_ptr<T>(new U[sizeof...(Args)]{std::forward<Args>(args)...});
}

template <typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
   return make_unique_helper<T>(std::is_array<T>(), std::forward<Args>(args)...);
}

これは彼のCore C ++ 6ビデオで見ることができます。

make_uniqueのSTLのバージョンの更新バージョンがN3656として利用可能になりました。このバージョンはドラフトC ++ 14に採用されました。

std::make_sharedは単にの省略形ではありませんstd::shared_ptr<Type> ptr(new Type(...));。それなしではできないことを行います。

その仕事std::shared_ptrをするために、実際のポインタのストレージを保持することに加えて、追跡ブロックを割り当てる必要があります。ただし、std::make_shared実際のオブジェクトを割り当てるため、同じメモリブロックにstd::make_sharedオブジェクトとトラッキングブロックの両方を割り当てる可能性があります。

したがって、std::shared_ptr<Type> ptr = new Type(...);2つのメモリ割り当て（1つはnew、1つはstd::shared_ptrトラッキングブロック）である一方で、1つのメモリブロックをstd::make_shared<Type>(...)割り当てます。

これは、の多くの潜在的なユーザーにとって重要ですstd::shared_ptr。a std::make_uniqueが行う唯一のことは、もう少し便利です。それ以上のものはありません。

独自のヘルパーを書くことを妨げるものは何もありませんがmake_shared<T>、ライブラリで提供する主な理由は、実際にはとは異なる内部型の共有ポインターを作成するshared_ptr<T>(new T)ためです。ヘルパー。

あなたのmake_unique一方、ラッパーは、周りの単なるシンタックスシュガーであるnew、それは目に喜ば見えるかもしれないが、そう、それは何も持っていない、表現newのテーブルに。 訂正：これは実際には当てはまりません。new式をラップする関数呼び出しがあると、たとえば関数を呼び出す場合など、例外的な安全性が得られますvoid f(std::unique_ptr<A> &&, std::unique_ptr<B> &&)。new互いにシーケンスされていない2つのraw があると、1つの新しい式が例外で失敗した場合、もう1つの式がリソースをリークする可能性があります。なぜmake_unique標準がないのかについては、それは単に忘れられていただけです。（これは時々発生します。グローバルstd::cbeginがあるはずですが、標準にはありません。）

また、これunique_ptrは、何らかの理由で許可する必要がある2番目のテンプレートパラメータをとります。これはshared_ptr、型消去を使用してカスタム削除者を型の一部にすることなく格納するとは異なります。

C ++ 11では...（テンプレートコードで）「パック拡張」にも使用されます。

要件は、それをパラメーターの展開されていないパックを含む式のサフィックスとして使用することであり、パックの各要素に式を適用するだけです。

たとえば、あなたの例に基づいて構築します：

std::forward<Args>(args)... -> std::forward<int>(1), std::forward<int>(2),
                                                     std::forward<int>(3)

std::forward<Args...>(args...) -> std::forward<int, int, int>(1,2,3)

後者は正しくないと思います。

また、引数のパックを展開されていない関数に渡すことはできません。テンプレートパラメータのパックについては不明です。

Stephan T. Lavavejの実装に触発されて、配列の範囲をサポートするmake_uniqueがあればいいのではないかと思いました。それはgithubにあり、コメントが欲しいです。これを行うことができます：

// create unique_ptr to an array of 100 integers
auto a = make_unique<int[100]>();

// create a unique_ptr to an array of 100 integers and
// set the first three elements to 1,2,3
auto b = make_unique<int[100]>(1,2,3);