Подтвердить что ты не робот

Как сделать std:: make_unique другом моего класса

Я хочу объявить функцию std::make_unique как друга моего класса. Причина в том, что я хочу объявить свой конструктор protected и предоставить альтернативный метод создания объекта с помощью unique_ptr. Вот пример кода:

#include <memory>

template <typename T>
class A
{
public:
    // Somehow I want to declare make_unique as a friend
    friend std::unique_ptr<A<T>> std::make_unique<A<T>>();


    static std::unique_ptr<A> CreateA(T x)
    {
        //return std::unique_ptr<A>(new A(x)); // works
        return std::make_unique<A>(x);         // doesn't work
    }

protected:
    A(T x) { (void)x; }
};

int main()
{
    std::unique_ptr<A<int>> a = A<int>::CreateA(5);
    (void)a;
    return 0;
}

Сейчас я получаю эту ошибку:

Start
In file included from prog.cc:1:
/usr/local/libcxx-head/include/c++/v1/memory:3152:32: error: calling a protected constructor of class 'A<int>'
return unique_ptr<_Tp>(new _Tp(_VSTD::forward<_Args>(__args)...));
                           ^
prog.cc:13:21: note: in instantiation of function template specialization 'std::__1::make_unique<A<int>, int &>' requested here
    return std::make_unique<A>(x);     // doesn't work
                ^
prog.cc:22:41: note: in instantiation of member function 'A<int>::CreateA' requested here
std::unique_ptr<A<int>> a = A<int>::CreateA(5);
                                    ^
prog.cc:17:5: note: declared protected here
A(T x) { (void)x; }
^
1 error generated.
1
Finish

Каков правильный способ объявить std::make_unique как друга моего класса?

4b9b3361

Ответ 1

make_unique совершенствует аргументы, которые вы передаете ему; в вашем примере вы передаете значение lvalue (x) в функцию, поэтому он будет выводить тип аргумента как int&. Объявление friend должно быть

friend std::unique_ptr<A> std::make_unique<A>(T&);

Аналогично, если вы были move(x) внутри CreateA, объявление friend должно быть

friend std::unique_ptr<A> std::make_unique<A>(T&&);

Это даст код компилировать, но никоим образом не является гарантией того, что он скомпилируется в другой реализации, потому что для всего, что вы знаете, make_unique forward его аргументы к другой внутренней вспомогательной функции, которая фактически создает экземпляр вашего класса, и в этом случае помощник должен быть friend.