ヒープ領域のメモリを確保しないメンバ変数のみ持つクラスのムーブコンストラクタの効率性について

Question

ムーブ・ムーブコンストラクタ・右辺値参照等のC++11以降の機能に対しての理解が不十分であり、当たり前の話かもしれませんが、確証が持てないので質問させていただきます。

下記のmain.cppのstruct Aのようにヒープ領域のメモリを確保しないメンバ変数のみ持つクラスのムーブコンストラクタはコピーコンストラクタと全く同じ処理を行い、効率性に違いはないという認識で大丈夫でしょうか？

main.cpp

#include <iostream>

using namespace std;

struct A
{
    A(double x, double y, double z)
    : x_(x)
    , y_(y)
    , z_(z)
    {
        cout << "A::A()" << endl;
    }

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

    // 呼ばれないコピーコンストラクタ
    A(const A& a)
    : x_(a.x_)
    , y_(a.y_)
    , z_(a.z_)
    , g_(a.g_)
    , f_(a.f_)
    , h_(a.h_)
    {
        cout << "A::A(const A& a)" << endl;
    }

    // 呼ばれるデフォルトムーブコンストラクタ
    A(A&&) = default;

    double x_;
    double y_;
    double z_;
    int g_;
    int f_;
    int h_;

    // メンバ変数出力
    void Print() {
        cout << "x_:" << x_ << endl;
        cout << "y_:" << y_ << endl;
        cout << "z_:" << z_ << endl;
        cout << "g_:" << g_ << endl;
        cout << "f_:" << f_ << endl;
        cout << "h_:" << h_ << endl;
    }
};

A CreateA(bool flag)
{
    A a(1.5, 2.5, 3.5);
    
    a.g_ = 4;
    a.f_ = 5;
    a.h_ = 6;

    // NRVOされずにムーブコンストラクタを呼び出すための条件分岐
    if(flag) {
        return a;
    }
    
    A a2(7.5, 8.5, 9.5);
    a2.g_ = 10.0;
    a2.f_ = 11.0;
    a2.h_ = 12.0;

    return a2;
}

int main()
{
    // Aの一時オブジェクトを作ってAのムーブコンストラクタを呼び出してインスタンスaを初期化
    A a3 = CreateA(true);

    a3.Print();

    return 0;
}

ビルド

clang++ -std=c++14 main.cpp

実行結果

A::A()
A::~A()
x_:1.5
y_:2.5
z_:3.5
g_:4
f_:5
h_:6
A::~A()

Comments

[hoshi-takanori]

いわゆるPODですよね。その通りだと思います。
http://cpp.aquariuscode.com/plain-old-data

[nemumitakamaru]

PODであれば必ずムーブとコピーの効率性に違いはなく、非PODであれば実装次第という感じですね。

Answer 1

はい。 違いはありません。

自動生成されるムーブコンストラクタはもしデータメンバがムーブコンストラクタを持っていればムーブし、そうでなければコピーするという挙動になります。 質問中の例の場合はデータメンバはただコピーされるだけなので自動生成されるムーブコンストラクタは結果的にコピーコンストラクタと差がありません。

---

自動生成されるコンストラクタのことを脇に置けば、ムーブコンストラクタはそれがムーブの文脈にあることがわかるだけです。 どのように効率的にムーブするかは各クラスの実装次第です。 (一般的にはポインタの交換という形で実現しますが。)

Comments

[nemumitakamaru]

ご回答ありがとうございます。
結局の所、ムーブコンストラクタの実装次第であり、「ヒープ領域のメモリを確保しない」等は関係ないですね。