web-dev-qa-db-ja.com

unique_ptrはnullptr値を取ることができますか？

このコードフラグメントは有効ですか？ ：

unique_ptr<A> p(new A());
p = nullptr;

つまり、nullptrをunique_ptrに割り当てることができますか？それとも失敗しますか？

g ++コンパイラで試してみましたが、他のコンパイラはどうですか？

c++c++11pointersunique-ptrnullptr
21
Zhen

動作します。

_unique_ptr<>_クラステンプレートに関するC++ 11標準の段落20.7.1.2.3/8-9から：

unique_ptr& operator=(nullptr_t) noexcept;

効果：reset()。

事後条件：get() == nullptr

これは、クラステンプレート_unique_ptr<>_の定義に、タイプ_operator =_（nullptrなど）の値を右側として受け入れる_nullptr_t_のオーバーロードが含まれていることを意味します。この段落では、nullptrを_unique_ptr_に割り当てることは、_unique_ptr_をリセットすることと同じであることも明記しています。

したがって、この割り当ての後、Aオブジェクトは破棄されます。

35
Andy Prowl

より一般的なケース：

#include <iostream>
#include <string>
#include <memory>

class A {
public:
    A() {std::cout << "A::A()" << std::endl;}
    ~A() {std::cout << "A::~A()" << std::endl;}
};

class B {
public:
    std::unique_ptr<A> pA;
    B() {std::cout << "B::B()" << std::endl;}
    ~B() { std::cout << "B::~B()" << std::endl;}
};

int main()
{
    std::unique_ptr<A> p1(new A());

    B b;
    b.pA = std::move(p1);
}

出力：

A::A()
B::B()
B::~B()
A::~A()

このコード例は直感的ではない場合があります。

#include <iostream>
#include <string>
#include <memory>

class A {
public:
    A() {std::cout << "A::A()" << std::endl;}
    ~A() {std::cout << "A::~A()" << std::endl;}
};

class B {
public:
    std::unique_ptr<A> pA;
    B() {std::cout << "B::B()" << std::endl;}
    ~B() 
    {
        if (pA)
        {
            std::cout << "pA not nullptr!" << std::endl;
            pA = nullptr; // Will call A::~A()
        }
        std::cout << "B::~B()" << std::endl;
    }
};

int main()
{
    std::unique_ptr<A> p1(new A());

    B b;
    b.pA = std::move(p1);
}

出力：

A::A()
B::B()
pA not nullptr!
A::~A()
B::~B()
1
mrgloom