std :: unordered_set戻り値の型vs値

Question

免責事項：私はC++を初めて使用しています。

私はこのようなコードブロックを持っている：

using BucketType = std::unordered_set<Bucket, BucketHash, BucketEqual>; 

    const BucketType& Range::buckets(int64_t value) { 
    BucketType buckets; 
    ... 
    return std::move(buckets); 
    } 

呼び出し側がこのようにこのコードを呼び出します。私のようなバケットの参照を返すとき

：

Range range; 
    auto buckets = range.buckets(11); 

問題上記のコードでは、buckets.size()は140732261909672ですが、私は実際のロジックに2つのバケットしか追加していません。参照の代わりに値を返すようにコードを変更すると、正常に動作します。

このコードで何が間違っている可能性がありますか？

Answer 1

あなたbuckets関数を考えます：ここで

const BucketType& Range::buckets(int64_t value) { 
    BucketType buckets; 
    ... 
    return std::move(buckets); 
} 

あなたは一時的なこのにバインドconst参照を返し、その後、関数の戻り値の場所に移動それをタイプBucketTypeのローカルオブジェクトを作成しますオブジェクトです。間違いなく、未定義の動作につながります。

、このような関数を書くための正しい方法は、コードを簡素化することで、const BucketType&とstd::move(buckets)を取り除く：

BucketType Range::buckets(int64_t value) { 
    BucketType buckets; 
    ... 
    return buckets; 
} 

今bucketsは（戻り値の最適化と命名）NRVOのために利用可能になります。これは、すべての現代のコンパイラはここコピーの省略を行うと、彼らはbuckets機能で初期化されている（関数の戻り値の場所に一時オブジェクトを作成せずに）直接BucketTypeオブジェクトを構築することを意味します

auto buckets = range.buckets(11); // No unnecessary copies here