Wikibooks

C++/ムーブセマンティクス

< C++
不変性 C++
ムーブセマンティクス 		スマートポインタ

ムーブセマンティクスの概要

編集

C++11から導入されたムーブセマンティクスは、オブジェクトを効率的に転送する機能です。従来のコピーセマンティクスでは、オブジェクトをコピーする際にリソースのディープコピーが行われるため、無駄なメモリ確保と値のコピーが発生していました。一方、ムーブセマンティクスではオブジェクトの所有権を移動させるだけで、リソースのコピーは行われません。この違いにより、ムーブセマンティクスを活用することで、リソース管理の効率化とパフォーマンスの向上が期待できます。 

// 値カテゴリの例
auto f() -> int&& { return std::move(42); }  // xvalue
auto g() -> int   { return 42; }             // prvalue
int& h()          { static int x; return x; } // lvalue

// 基本的なムーブの例
std::string str = "Hello";
std::string str2 = str;                // コピーセマンティクス
std::string str3 = std::move(str);     // ムーブセマンティクス - strは使用不可

ムーブコンストラクタ

編集

ムーブコンストラクタは、ムーブセマンティクスを実現するための特殊なコンストラクタです。C++23以降では、より安全で効率的な実装パターンが推奨されています。 

class String {
    char* data_;
    size_t size_;

public:
    // noexceptは重要 - 例外安全性の保証
    String(String&& other) noexcept 
        : data_(std::exchange(other.data_, nullptr))
        , size_(std::exchange(other.size_, 0))
    {}
};

ムーブコンストラクタの設計では以下の点に注意が必要です：

  • 必ずnoexceptを指定する
  • 移動元オブジェクトを有効な状態に保つ
  • std::exchangeを活用して安全な移動を実現

ムーブ代入演算子

編集

C++23では、ムーブ代入演算子の実装パターンが簡略化されました。std::construct_atとstd::destroy_atを使用することで、より安全な実装が可能になっています。 

class String {
public:
    // C++23推奨パターン
    String& operator=(String&& other) noexcept {
        std::destroy_at(this);
        return *std::construct_at(this, std::move(other));
    }
    
    // 従来のパターン
    String& operator=(String&& other) noexcept {
        if (this != &other) {
            delete[] data_;
            data_ = std::exchange(other.data_, nullptr);
            size_ = std::exchange(other.size_, 0);
        }
        return *this;
    }
};

perfect forwarding

編集

完全転送は、C++20以降、コンセプトを活用してより型安全に実装できるようになりました。 

// C++20: Constrained Perfect Forwarding
template<typename T>
    requires std::movable<T>
void forward_function(T&& value) {
    process(std::forward<T>(value));
}

// C++23: move_only_functionの活用
std::move_only_function<void()> create_callback() {
    auto resource = ExpensiveResource{};
    return [resource = std::move(resource)]() {
        resource.use();
    };
}

ムーブセマンティクスとスマートポインタ

編集

最新のC++では、スマートポインタを活用した所有権の明示的な管理が推奨されています。特にstd::unique_ptrは、ムーブオンリーなリソース管理を強制します。 

class Resource {
public:
    Resource(std::string data) : data_(std::move(data)) {}
private:
    std::string data_;
};

auto create_resource() -> std::unique_ptr<Resource> {
    return std::make_unique<Resource>("data");
}

void use_resource() {
    auto res = create_resource(); // 所有権の移動
    // resはスコープ終了時に自動解放
}

ムーブセマンティクスとSTL

編集

C++20以降のSTLでは、より多くのコンポーネントがムーブセマンティクスを活用しています：

  • std::optionalとstd::variantのムーブ操作
  • 新しいコンテナ操作（extractなど）
  • ラムダ式でのムーブキャプチャの改善
std::vector<String> vec = /* ... */;
auto node = vec.extract(vec.begin()); // 要素の所有権を移動
// nodeの寿命が尽きるまで要素は保持される

// C++20: ラムダでのムーブキャプチャ
auto lambda = [ptr = std::make_unique<int>(42)]() {
    return *ptr;
};

ムーブセマンティクスの最適化

編集

C++23では、コンパイラの最適化がさらに強化されています：

  • 保証された構築からの値返却の最適化
  • Deducing thisによる効率的なメソッドチェーン
  • 暗黙的なムーブの改善
// C++23: Deducing thisの例
struct S {
    auto&& method(this S&& self) {
        return std::move(self);
    }
};
Rustの所有権システムとC++のムーブセマンティクスを比較
Rustの所有権システムとC++のムーブセマンティクスは、両者ともリソース管理を扱う仕組みですが、アプローチが異なります。

Rustの所有権システムは、以下の3つの概念に基づいています：

  1. 各値は、所有者(owner)と呼ばれる変数に関連付けられている
  2. 所有者から別の変数にコピーすることはできない。代わりに、所有権が移動する
  3. 所有されたリソースが使用され終わると、所有者から自動的に開放される

C++20以降の所有権セマンティクスは、以下の特徴があります：

  • std::unique_ptrによる排他的所有権の表現
  • std::move_only_functionによるムーブオンリーな関数オブジェクト
  • コンセプトを活用した所有権の制約
Rustは静的な所有権システムを通じてメモリ安全性を保証し、C++はムーブセマンティクスによってパフォーマンスを最適化する一方で、開発者がメモリ管理に関する責任を負うという違いがあります。

まとめ

編集

C++23までの進化により、ムーブセマンティクスはより安全で効率的に利用できるようになりました。特に：

  • コンパイラの最適化の強化
  • 新しい標準ライブラリ機能の追加
  • より安全な実装パターンの確立

これらの機能を適切に活用することで、効率的で安全なリソース管理が実現できます。


  不変性 C++
ムーブセマンティクス 		スマートポインタ  
"https://ja.wikibooks.org/w/index.php?title=C%2B%2B/ムーブセマンティクス&oldid=262991" より作成