Utilisation de std::forward : transfert d'arguments avec précision

Lorsque vous transmettez des arguments aux fonctions en C, il est crucial de prendre en compte les modificateurs de référence utilisés pour définir les paramètres de la fonction. L'utilisation de std::forward offre une flexibilité dans la gestion des références d'arguments.

Avantages de std::forward

En C 0x, std::forward est utilisé pour explicitement déplacer des arguments vers une fonction. Ceci est avantageux lorsque la fonction accepte les références universelles (T&&) et que vous souhaitez conserver le type de référence d'origine, qu'il s'agisse d'une référence lvalue ou d'une référence rvalue.

Utilisation de && dans Déclaration de paramètre

L'utilisation de && dans les déclarations de paramètres indique que seules les références rvalue sont autorisées. Cependant, cela ne signifie pas que les fonctions avec && les paramètres ne peuvent être appelés qu’avec des temporaires. Dans l'exemple fourni, foo peut être appelé avec n'importe quel type d'argument, y compris les lvalues.

Transfert d'arguments dans les fonctions de modèle

Dans le contexte des fonctions de modèle, il est essentiel utiliser std::forward lors du passage d'arguments à une autre fonction dans le modèle. Cela garantit que le type d'argument correct est transmis à la fonction imbriquée, qu'il s'agisse d'une lvalue ou d'une rvalue. Par exemple :

template
void doSomething(Params... args) {
  doSomethingElse(args...);
}

Cela ne fonctionnera pas comme prévu car doSomethingElse n'a pas && paramètres. Au lieu de cela, le code suivant doit être utilisé :

template
void doSomething(Params&&... args) {
  doSomethingElse(std::forward(args)...);
}

Transfert multiple d'arguments

Il n'est généralement pas conseillé de transmettre un argument plusieurs fois dans la même fonction. std::forward convertit une lvalue en une référence rvalue, et la transmettre à nouveau entraînerait une autre conversion, ce qui pourrait conduire à une invalidation de la mémoire. Par exemple, le code suivant ne doit pas être utilisé :

template
void doSomething(Params&&... args) {
  doSomethingElse(std::forward(args)...);
  doSomethingWeird(std::forward(args)...);
}

En conclusion, std::forward joue un rôle essentiel pour garantir une transmission précise des arguments en C . Il permet de conserver le type de référence prévu et permet une interopération transparente entre les fonctions avec différents qualificatifs de référence, en particulier dans les contextes de modèles.