Просто чтобы уточнить, используяmake_unique только добавляет безопасность исключений, когда у вас есть несколько распределений в выражении, а не только одно, правильно? Например

void f(T*);

f(new T);

совершенно безопасен в отношении исключений (в отношении распределений и прочего), в то время как

void f(T*, T*);

f(new T, new T);

не является правильным?