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

ここには基本的に2つのオプションがあります。

参照によりスマートポインタを渡す

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

重要な注意点

2番目のメソッドを使用する場合は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 所有者が1人だけであることを保証するための意図的なコピーはありません。

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

このコードは機能しています