std :: unique_ptr을 함수에 어떻게 전달할 수 있습니까?

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;
}

std::unique_ptr함수에를 전달할 수없는 이유는 무엇 입니까? 확실히 이것이 구조의 주요 목적입니까? 또는 C ++위원회는 원시 C 스타일 포인터로 돌아가서 다음과 같이 전달하도록 의도 했습니까?

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().

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).

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 소유자가 한 명뿐임을 보증하기 위해 의도적으로 사본이 없습니다.

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;
}

이 코드는 작동합니다