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добре приховує і лише один раз згадує тип.

У будь-якому випадку, ось моя спроба реалізації 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, частково є недоглядом, і це майже напевно додасться в майбутньому.

Він також дає реалізацію, ідентичну тій, яку дає ОП.

Редагувати: std::make_unique зараз є частиною C ++ 14 .

Приємно, але Стефан Т. Лававей (більш відомий як 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(...);було б два розподілу пам'яті (один для блоку new, один у std::shared_ptrблоці відстеження), std::make_shared<Type>(...)було б виділено один блок пам'яті.

Це важливо для багатьох потенційних користувачів std::shared_ptr. Єдине, що 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> &&). Наявність двох неочищених news, які не мають наслідків один щодо одного, означає, що якщо один новий вираз не вдається за винятком, інший може витікати ресурси. Щодо того, чого немає make_uniqueв стандарті: це було просто забуто. (Це трапляється епізодично. Також std::cbeginу стандарті немає глобального, навіть якщо його має бути.)

Також зауважте, що unique_ptrбереться другий параметр шаблону, який слід якось дозволити; це відрізняється від того 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)

Останнє є неправильним, я думаю.

Також пакет аргументів може не передаватися функції, що не розгорнута. Я не впевнений у пакеті параметрів шаблону.

Надихнувшись реалізацією Стефана Т. Лававей, я подумав, що може бути приємно мати 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);