コンパイラでC++クラスがオブジェクトの固有の所有権セマンティクスを強制

Question

コンパイラがオブジェクトに対して一意の所有権セマンティクスを強制するようなC++クラスを作成する方法はありますか？

Answer 1

はい。コピー/割り当てを無効にして移動を有効にするだけです。

私たちは便利な基底クラス（注意：仮想デストラクタを不要誰が今までこのクラスを介してオブジェクトを所有していないため）：まで煮詰めることができ

struct unique_thing 
{ 
    unique_thing() = default; // you can create me 
    unique_thing(unique_thing&&) = default; // and move me 
    unique_thing(unique_thing const&) = delete; // but not copy me 

    unique_thing& operator=(unique_thing&&) = default; // you may move-assign me 
    unique_thing& operator=(unique_thing const&) = delete; // but not copy-assign me 
}; 

#include <utility> 
#include <type_traits> 
#include <cassert> 

struct only_moveable 
{ 
    protected: 
    constexpr only_moveable() noexcept = default; 
    constexpr only_moveable(only_moveable&&) noexcept = default; 
    constexpr only_moveable& operator=(only_moveable&&) noexcept {}; 
}; 

struct MyClass : only_moveable 
{ 
}; 


int main() 
{ 
    // creatable 
    MyClass a; 

    // move-constructible 
    MyClass b = std::move(a); 

    // move-assignable 
    a = std::move(b); 

    // not copy-constructible 
    assert((not std::is_copy_constructible<MyClass>::value)); 

    // not copy-assignable 
    assert((not std::is_copy_assignable<MyClass>::value)); 
} 

本のいくつかの一般的なモデルをイディオムは以下のとおりです。

1. std::unique_ptr<>
2. std::thread
3. std::future<>
4. std::unique_lock<>
5. boost::asio::ip::tcp::socket