std :: unordered_set type de retour par référence vs valeur

Question

Désistement: Je suis nouveau à C++.

J'ai un bloc de code comme ceci:

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

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

L'appelant appelle ce code comme ceci:

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

Problème:

Quand je retourne la référence des seaux comme le code ci-dessus, le buckets.size() donne 140732261909672 cependant, j'ajoute seulement 2 seaux dans ma logique actuelle. Quand je change le code pour renvoyer la valeur au lieu de la référence, cela fonctionne parfaitement bien.

Des pointeurs sur ce qui pourrait ne pas fonctionner avec ce code?

Answer 1

Lets considérer votre buckets fonction:

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

Ici vous créez un objet local du type BucketType, mouvement dans l'emplacement de la valeur de retour de la fonction, puis retour const référence lié à cette temporaire objet. Sans aucun doute, il conduit à comportement indéfini.

La bonne façon d'écrire une telle fonction est de simplifier le code et se débarrasser de const BucketType& et std::move(buckets):

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

Maintenant buckets devient disponible pour le NRVO (du nom d'optimisation de la valeur de retour). Cela signifie que tous les compilateurs modernes exécutent copie élision ici et construire des objets BucketType directement (sans créer objet temporaire à l'emplacement de la valeur de retour de la fonction) quand ils sont initialisés avec buckets fonction:

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