Если мы избегаем создания объектов параметра шаблона

Question

Рассмотрим следующий шаблон функции:

template <typename T> 
void init() 
{ 
    std::unique_ptr<T> ptr(new T()); 
    //do some with it 
} 

шаблон функция предназначена для использования в некоторой другой функции следующим образом:

void bar() 
{ 
    try{ 
     init<int>(); 
    } catch(___WHAT?___){ } 
} 

Дело в том, я не знаю, что делать, если consturctor T выбрасывает исключение. Я просто не знаю, что он может бросить. Конечно, я мог бы написать catch(...), но это было не очень хорошо.

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

Answer 1

Проблема в том, что вы чувствуете необходимость обрабатывать исключения.

В C++ вы решаете соответствующие проблемы с RAII. Единственная вещь, которую должна выполнить ваша функция init(), - очистить ресурсы, которые она выделила. Ресурсы T уже очищены, а вызывающий абонент init несет ответственность за отказ init.