Référence Pass-by-Value vs. Pass-by-Rvalue dans les paramètres de fonction

Lors de la définition d'une fonction qui prend un argument d'un type spécifique, vous disposez de deux options principales : référence passe-valeur ou référence passe-valeur. Le passage par valeur crée une copie de l'argument, tandis que la référence passage par valeur utilise la référence rvalue (temporaire) à l'argument, lui permettant d'être déplacé dans la fonction.

Différences clés

Au-delà de la distinction principale entre la copie et le déplacement, il existe plusieurs différences clés à prendre en compte :

• Contrôle de la propriété : Transmission par valeur suppose que la fonction s'approprie l'argument, transférant ainsi le contrôle de l'appelant à la fonction. La référence passe-par-valeur, en revanche, laisse la propriété à l'appelant.
• Explicitité de la copie : La référence passe-par-valeur masque le coût de la copie en interne. La référence Pass-by-rvalue nécessite une copie explicite par l'appelant à l'aide de std::move, obligeant les développeurs à être explicites sur leurs intentions.
• Éliminer la copie/déplacement potentiel : Pass-by-rvalue La référence élimine le besoin d’un seul appel au constructeur de déplacement dans certains cas. Cependant, les références de passage par valeur et de passage par valeur permettent aux compilateurs d'éviter les copies/déplacements.

Implications d'interface

Le choix entre passer -par valeur et la référence pass-by-rvalue a des implications pour l'interface de fonction :

• Pass-by-value :

  • Indique que la fonction s'approprie l'argument
  • Soulage l'appelant de la gestion de la durée de vie de l'argument

• Référence Pass-by-rvalue :

  • Signale que l'appelant abandonne le contrôle de l'argument
  • Impose une séparation claire de la propriété entre l'appelant et la fonction

Considérations d'efficacité

La différence d'efficacité entre la référence pass-by-value et pass-by-rvalue dépend de la sémantique du type d'argument :

• Grandes structures de données : La référence passe-par-valeur peut améliorer considérablement l'efficacité si le type d'argument contient une grande structure de données qui peut être déplacée à moindre coût. Cela évite de faire une copie coûteuse.
• Petites structures de données : Pour les petites structures de données avec un contenu minimal, il existe une différence d'efficacité minimale entre la référence passe-valeur et la référence passe-valeur.