セグメンテーション障害STDを移動::ベクトル

Question

segmention障害と次のプログラムがクラッシュ：

#include <iostream> 
#include <vector> 

using namespace std; 

struct data 
{ 
    data() : a(random()), b(random()), v({random(), random(), random()}) {} 
    data(data&& m) noexcept : a(m.a), b(m.b), v(std::move(m.v)) { } 

    long int a; 
    long int b; 
    std::vector<long int> v; 
}; 

data&& randomize() 
{ 
    srandom(time(0)); 
    data d; 
    d.a = random(); 
    return std::move(d); 
} 

int main(int argc, char** argv) 
{ 
    data d = randomize(); 
    cout << d.a << " " << d.b << endl; 
    return 0; 
} 

コードをg ++バージョン4.7.2（Debianの4.7.2-5）でコンパイルされている：

g++ -std=c++11 -g test.cpp 

私は何が間違っていますか？問題は、std :: vector moveコンストラクタにあるようで、すべてがうまく動作しません。関数が終了するとrandomize（）のデータオブジェクトが破棄されるように見えますが、メインオブジェクトのデータオブジェクトに移動するのではなく、

Answer 1

この機能：

data&& randomize() 
{ 
    // ... 
    data d 
    // ... 
    return std::move(d); 
} 

、コールから戻ると破壊されようとしているローカルオブジェクトへの参照を返します。したがって、プログラムには未定義の動作があります。そのため、返された参照はdataの移動コンストラクタがここで呼び出された時点でぶら下がり次のようになります。

data d = randomize(); 

あなたがタイプdataの値を返す必要がありますし、あなたが明示的にstd::move()呼び出すべきではありません。

を

data randomize() 
{ 
    // ... 
    data d 
    // ... 
    return d; 
} 

このようにして、(Named) Return Value Optimizationを実行する機会をコンパイラに与えて、ムーブコンストラクタをまったく呼び出さないようにすることもできます。

Answer 2

私はこれが動作すると、コンパイラの最適化に依存しないだろうと思う：

data randomize() 
{ 
    // ... 
    data d 
    // ... 
    return std::move(d); 
} 

戻り値はローカル変数dの破壊前に構築する必要があります。