Замена делетира для std :: unique_ptr

Question

Я хочу изменить default_deleter для std::unique_ptr. Это довольно легко достичь, но есть один неудобно - я должен объявить переменные, используя 2 параметра шаблона вместо одного, что-то вроде этого:

std::unique_ptr<MyType, MyDeleter<MyType>> myVar; 

Как вы можете видеть, декларация долго и у меня есть ощущение, Я могу использовать более короткую версию, но я не знаю, как :)

Можно ли объявить какой-то MyUniquePtr<T>, который будет таким же, как std::unique_ptr<T, MyDeleter<T>>?

EDIT: Matthieu M. уже ответил, но, к сожалению, я не могу использовать эту функцию в Visual Studio, поскольку она не реализована. Есть ли другой способ добиться такого поведения?

Answer 1

На самом деле это, используя шаблон псевдонимы:

template <typename T> 
using MyUniquePtr = std::unique_ptr<T, MyDeleter<T>>; 

Answer 2

Если ваш компилятор не делают псевдонимы шаблона еще, вот C++ 03 идиом:

template <typename T> 
struct MyUniquePtr { 
    typedef std::unique_ptr<T, MyDeleter<T> > type; 
}; 

MyUniquePtr<MyType>::type var; 

Установка является уродливее, но в результате использование почти так же коротко: вам просто нужно добавить ::type.

Answer 3

Другой способ, соответствующий C++ 03, является подклассом, который, к сожалению, требует, чтобы вы воспроизводили конструкторы. (Это можно сделать проще, если ваш компилятор поддерживает VARIADIC аргументов шаблона, которые могут быть в случае текущего MSVC.)

template <class T> 
class MyUniquePtr : public std::unique_ptr< T, MyDeleter<T> > { 
public: 
    MyUniquePtr(args...) : std::unique_ptr< T, MyDeleter<T> >(args...) { } 
}; 

Answer 4

нужна ли ваша Deleter быть шаблонным от типа объекта удаляется, или достаточно ли для того, чтобы оператор вызова функции был настроен на тип удаляемого объекта?

Вместо:

template<typename T> 
struct MyDeleter 
{ 
    void operator()(T* p) const { /* ... */ } 
}; 

Вы можете написать:

struct MyDeleter 
{ 
    template<typename T> 
    void operator()(T* p) const { /* ... */ } 
}; 

Это, конечно, зависит от того, в каком состоянии MyDeleter должен поддерживать.

Answer 5

Возможно, вам стоит подумать о том, чтобы написать собственную версию функции стиля make_unique, а не специально для вашей стратегии выделения/удаления. Это также имеет то преимущество, что вы можете выполнять любое специализированное приобретение/распределение ресурсов безопасным способом. Затем вы можете объявить свой уникальный_ptr как автоматический и позволить вам делать вывод о вычете.