Як я можу передати std :: unique_ptr у функцію

Як я можу передати a std::unique_ptrу функцію? Скажімо, у мене є такий клас:

class A
{
public:
    A(int val)
    {
        _val = val;
    }

    int GetVal() { return _val; }
private:
    int _val;
};

Наступне не компілюється:

void MyFunc(unique_ptr<A> arg)
{
    cout << arg->GetVal() << endl;
}

int main(int argc, char* argv[])
{
    unique_ptr<A> ptr = unique_ptr<A>(new A(1234));
    MyFunc(ptr);

    return 0;
}

Чому я не можу передати a std::unique_ptrу функцію? Напевно, це головне призначення конструкції? Або комітет С ++ мав намір, щоб я повернувся до необроблених покажчиків у стилі С і передав це так:

MyFunc(&(*ptr)); 

І що найдивніше, чому це нормальний спосіб проходження? Це здається жахливо суперечливим:

MyFunc(unique_ptr<A>(new A(1234)));

Тут в основному є два варіанти:

Передайте розумний вказівник за посиланням

void MyFunc(unique_ptr<A> & arg)
{
    cout << arg->GetVal() << endl;
}

int main(int argc, char* argv[])
{
    unique_ptr<A> ptr = unique_ptr<A>(new A(1234));
    MyFunc(ptr);
}

Перемістіть розумний вказівник у аргумент функції

Зверніть увагу, що в цьому випадку твердження буде виконуватися!

void MyFunc(unique_ptr<A> arg)
{
    cout << arg->GetVal() << endl;
}

int main(int argc, char* argv[])
{
    unique_ptr<A> ptr = unique_ptr<A>(new A(1234));
    MyFunc(move(ptr));
    assert(ptr == nullptr)
}

Ви передаєте його за значенням, що передбачає копіювання. Це було б не дуже унікально, правда?

Ви можете перемістити значення, але це передбачає передачу функції власності на об’єкт та контроль його тривалості життя.

Якщо час існування об'єкта гарантовано існуватиме протягом життя виклику MyFunc, просто передайте сирий вказівник ptr.get().

Чому я не можу передати a unique_ptrу функцію?

Ви не можете цього зробити, оскільки unique_ptrмає конструктор переміщення, але не конструктор копіювання. Відповідно до стандарту, коли конструктор переміщення визначений, але конструктор копіювання не визначений, конструктор копіювання видаляється.

12.8 Копіювання та переміщення об’єктів класу

...

7 Якщо у визначенні класу явно не оголошено конструктор копіювання, він оголошується неявно. Якщо визначення класу оголошує конструктор переміщення або оператор присвоєння переміщення, неявно оголошений конструктор копіювання визначається як видалений;

Ви можете передати unique_ptrфункцію, використовуючи:

void MyFunc(std::unique_ptr<A>& arg)
{
    cout << arg->GetVal() << endl;
}

і використовуйте його як у вас:

або

void MyFunc(std::unique_ptr<A> arg)
{
    cout << arg->GetVal() << endl;
}

і використовувати його як:

std::unique_ptr<A> ptr = std::unique_ptr<A>(new A(1234));
MyFunc(std::move(ptr));

Важлива примітка

Зверніть увагу, що якщо ви використовуєте другий спосіб, ptrне має права власності на вказівник після виклику std::move(ptr)return.

void MyFunc(std::unique_ptr<A>&& arg)матиме той самий ефект, що і void MyFunc(std::unique_ptr<A>& arg)оскільки обидва посилання.

У першому випадку ptrвсе ще має право власності на вказівник після виклику MyFunc.

Оскільки MyFuncвласність не береться, краще мати:

void MyFunc(const A* arg)
{
    assert(arg != nullptr); // or throw ?
    cout << arg->GetVal() << endl;
}

або краще

void MyFunc(const A& arg)
{
    cout << arg.GetVal() << endl;
}

Якщо ви дійсно хочете отримати право власності, вам доведеться перенести свій ресурс:

std::unique_ptr<A> ptr = std::make_unique<A>(1234);
MyFunc(std::move(ptr));

або передати безпосередньо посилання на значення r:

MyFunc(std::make_unique<A>(1234));

std::unique_ptr не має спеціальної копії, щоб гарантувати наявність лише одного власника.

Чому я не можу передати a unique_ptrу функцію?

Ви можете, але не за допомогою копії - тому що std::unique_ptr<>неможливо створити копію.

Напевно, це головне призначення конструкції?

Крім усього іншого, std::unique_ptr<>призначений для однозначного позначення унікальної власності (на відміну від std::shared_ptr<>).

І що найдивніше, чому це нормальний спосіб проходження?

Оскільки в такому випадку копіювання не існує.

Так unique_ptrяк для унікального володіння, якщо ви хочете передати його як аргумент, спробуйте

MyFunc(move(ptr));

Але після цього стан ptrв Росії mainбуде nullptr.

Передача функції std::unique_ptr<T>як значення не працює, оскільки, як ви вже згадуєте, unique_ptrне можна скопіювати.

Як що до цього?

std::unique_ptr<T> getSomething()
{
   auto ptr = std::make_unique<T>();
   return ptr;
}

цей код працює