Stocker la valeur de retour de la fonction dans la référence C++

Est-il valable pour stocker la valeur de retour d'un objet dans une référence?

class A { ... };
A myFunction()
{
    A myObject;
    return myObject;
} //myObject goes out of scope here

void mySecondFunction()
{
    A& mySecondObject = myFunction();
}

Est-il possible de le faire pour éviter de copier myObject à monsecondobjet? monobjet n'est plus nécessaire et doit être exactement le même que monsecondobjet de sorte qu'il serait, en théorie, être plus rapide pour transmettre la propriété de l'objet à partir d'un objet à un autre. (C'est aussi possible à l'aide de boost pointeur partagé, mais qui a la surcharge de l'pointeur partagé.)

Merci d'avance.

InformationsquelleAutor Ruud | 2010-05-12
  1. 32

    Il n'est pas autorisé à lier la temporaire à un non-const de référence, mais si vous faites votre référence const vous permettra de prolonger la durée de vie de la temporaire pour la référence, voir ce Danny Kalev post à ce sujet.

    En bref:

    const A& mySecondObject = myFunction();
    • Savez-vous pourquoi ce n'est pas permis?
    • Je ne suis pas sûr, mais je suppose que la raison en est qu'en permettant à un non-const de référence signifie que le compilateur serait nécessaire pour déterminer quand la référence est attribué à nouveau. Je pense que c'est normalement considérée comme faisant partie de la dynamique de la portée de l'analyse et ne sont pas utilisés dans la norme C++. Dans la const cas, d'autre part, seule la statique de la durée de vie de la référence doit être déterminée. Cette analyse est probablement déjà dans d'autres cas, et a donc été jugé acceptable.
    • On peut également noter que c'est une question assez simpliste pointeur de la fonctionnalité de suivi, et que l'on pourrait imaginer un système plus avancé. Mais en général, je crois que C++ veut éviter que le problème et le délégué à la programmeur à la place. C'est ce que les pointeurs intelligents sont pour.
    • Votre lien est rompu. J'ai trouvé un autre lien mais il semble incomplète.
    InformationsquelleAutor Alexander Torstling
  2. 7

    Vous pourriez être intéressé par le retour par valeur, optimisation que de nombreux compilateurs faire pour éviter d'appeler le constructeur de copie.

    InformationsquelleAutor Hudson
  3. 7

    C'est possible, avec une référence const.

    myFunction renvoie la valeur, de sorte que la valeur de retour est un objet temporaire. Vous pouvez lier une temporaire de const référence, et la durée de vie de la temporaire est prolongée de la durée de vie de la référence. Vous ne pouvez pas lier un temporaire à un non-const de référence (malheureusement).

    La valeur de retour de myFunction peut-être un copie de myObject. Sur le côté positif, constructeur de copie élision (aka le "nommé retour optimisation de la valeur" dans ce cas) permet au compilateur de construire myObject directement dans le temporaire qui est la valeur de retour de myFunction, vraisemblablement situé quelque part sur la pile du code appelant. Si il le fait, alors quand myObject est hors de portée de l'objet n'est pas détruit. L'optimisation est souvent mise en œuvre - par exemple GCC (normalement?) est-il même sans aucune optimisation des drapeaux.

    Copie ctor élision permet également le compilateur afin d'éviter toute copie si vous n'avez:

    A mySecondObject = myFunction();

    Il nécessite l'application des deux types de copie ctor élision: (1) pour retourner une valeur nommée à partir d'une fonction, et (2) de l'initialisation d'un objet à partir d'une mesure temporaire.

    InformationsquelleAutor Steve Jessop