c++ : move() につきまして

Question

move()の挙動が分からなくなったため質問させてください。
ネットで調べるにもどう調べればよいのか分からなかったためここで質問させてください。

問題となったのは以下のスレッドのサンプルコードを実行した際です。
(少々長いコードですが move を利用しているところだけ見てください)

#include <chrono>
#include <future>
#include <iostream>
#include <thread>
#include <vector>

using namespace std;

class ThreadWrapper {
    thread threadHandler;

   public:
    ThreadWrapper(const ThreadWrapper&) = delete;
    ThreadWrapper& operator=(const ThreadWrapper&) = delete;
    ThreadWrapper(std::function<void()> func);
    ThreadWrapper(ThreadWrapper&& obj);
    ThreadWrapper& operator=(ThreadWrapper&& obj);
    ~ThreadWrapper();
};

ThreadWrapper::ThreadWrapper(std::function<void()> func) : threadHandler(func) {}
ThreadWrapper::ThreadWrapper(ThreadWrapper&& obj) : threadHandler(move(obj.threadHandler)) {
    cout << "move constructor is called" << endl;
}
ThreadWrapper& ThreadWrapper::operator=(ThreadWrapper&& obj) {
    cout << "move assignment is called" << endl;
    if (threadHandler.joinable()) {
        threadHandler.join();
    }
    threadHandler = move(obj.threadHandler);
    return *this;
}
ThreadWrapper::~ThreadWrapper() {
    if (threadHandler.joinable()) {
        threadHandler.join();
    }
}

int main() {
    std::function<void()> func = []() {
        std::this_thread::sleep_for(std::chrono::seconds(1));
        std::cout << "From Thread ID : " << std::this_thread::get_id() << "\n";
    };
    std::vector<ThreadWrapper> vecOfThreads;
    ThreadWrapper thwp1(func);
    ThreadWrapper thwp2(func);
    vecOfThreads.push_back(std::move(thwp1));
    vecOfThreads.push_back(std::move(thwp2));  <----- この行
    return 0;
}

結果は下記のようになり、「move constructor is called」が3回出力されています。

move constructor is called
move constructor is called
move constructor is called
destructor is called
destructor is called
destructor is called
destructor is called
From Thread ID : From Thread ID : 140529029420800
140529037813504
destructor is called

サンプルコードの「この行」という行を削除して実行したところ
下記のように「move constructor is called」が1回だけ出力されました。

move constructor is called
destructor is called
From Thread ID : 139751244379904
destructor is called
destructor is called
From Thread ID : 139751252772608

なぜ一つのmoveを削除しただけで2つのmoveのログが消えてしまったのでしょうか。
そもそも、moveを呼び出しているのはこの２回だけなのに 「move constructor is called」が3回表示されるのが不可解です。

    vecOfThreads.push_back(std::move(thwp1));
    vecOfThreads.push_back(std::move(thwp2));  <----- この行

以上、よろしくお願いいたします。

Answer 1

std::vectorの領域拡張が原因です。
拡張が起こると古い領域から新しい領域にデータをムーブ(コピー)します。
push_backの前にvecOfThreads.reserve(2);を挿入するとログが2回になると思います。

Comments

[guriguri]

なるほどです。そこには全く気づきませんでした。
ありがとうございます！