вызов std: make_shared через std :: function

Question

У меня есть фабричный шаблон с использованием новых возможностей C++ 11. Для этого в реестре зарегистрирована функция std ::. Теперь я пытаюсь реализовать экземплярную часть. Сейчас это реализовано так:

std::map<uint32_t, std::function<Class*()>>::iterator it = m_creators.find(id); 
if(it != m_creators.end()) 
{ 
    return std::shared_ptr<Class>((it->second)()); 
} 

Проблема заключается в том, что это, очевидно, не спасает исключения, и я пытаюсь заменить станд :: shared_ptr вызов с эквивалентным стандом :: make_shared вызова. Std :: function - это функция create, которая вызывает только конструктор подкласса Object. Проблема в том, что я понятия не имею, как использовать std :: function вместо вызова конструктора в std :: make shared. Возможно ли это?

Answer 1

Я бы сделал функцию std :: function возвращать shared_ptr, а не голый указатель. Затем вы можете использовать make_shared внутри функции std ::.

typedef std::map<uint32_t, std::function<std::shared_ptr<Class>()>> CreatorMap; 
CreatorMap::iterator it = m_creators.find(id); 
if(it != m_creators.end()) 
{ 
    return (it->second)(); 
} 

// example of a creator 

struct SomeCreator{ 
public: 
    std::shared_ptr<Class> operator()(){ 
     return std::make_shared<Class>(); 
    } 
} 

это также обеспечивает большую гибкость, позволяющую фабрике использовать пользовательский дебетер.

Answer 2

Код, который у вас есть, не является исключением небезопасным. Конструктор shared_ptr, который принимает указатель, вызовет delete на управляемом указателе, если во время инициализации возникает исключение.

С N3797, §20.8.2.2.1/7

template<class Y> explicit shared_ptr(Y* p);
...
безопасности Исключение: Если исключение, delete p называется.

Если это заставляет Вас чувствовать себя лучше, вы могли бы изменить map типа для

std::map<uint32_t, std::function<std::unique_ptr<Class>()>> 

shared_ptr с могут быть построены из unique_ptr с, и вы никогда не огибают необработанного указателя в этом случае. Но это необязательно из-за положения, которое я цитировал выше.