Affectation aux valeurs R : interdite ou fonctionnalité ? Pourquoi pouvons-nous attribuer une valeur de retour ?

Affectation à Rvalue : Pourquoi et Comment ?

Pourquoi est-il possible d'attribuer à une valeur de retour (rvalue) d'un type de classe ? Conventionnellement, les rvalues ​​sont considérées comme éphémères, dépourvues d'adresse mémoire. Comment, alors, peuvent-ils être utilisés comme valeurs de gauche (lvalues) ?

Considérez le code déroutant suivant :

class Y {
public :
    explicit Y(size_t num = 0) {}
};

int main() {
    Y(1) = Y(0); // WHAT?!?
    return 0;
}

Ce code se compile sans erreurs, même s'il peut sembler illogique. Pour comprendre pourquoi, nous devons approfondir les mécanismes derrière les opérateurs d'affectation.

Opérateurs d'affectation synthétisés

Lorsqu'une classe ne définit pas explicitement un opérateur d'affectation, le compilateur automatiquement en génère un. L'opérateur synthétisé peut prendre l'une des deux formes suivantes :

• Y& Operator=(Y const&)
• Y& Operator=(Y&)()

L'opérateur cette dernière forme est remarquable car elle s’applique aux rvalues. Par conséquent, dans l'exemple ci-dessus, le compilateur génère un opérateur d'affectation qui peut accepter la valeur r renvoyée par le constructeur Y(1).

Empêcher l'affectation aux valeurs R

Si vous souhaitez interdire l'affectation à des rvalues, vous pouvez déclarer explicitement l'opérateur d'affectation avec des qualificatifs ref. De cette façon, vous pouvez restreindre l’opérateur à n’accepter que les lvalues. Par exemple :

class Y {
public :
    explicit Y(std::size_t num = 0);
    Y& operator=(Y const&) & = default;
};

En utilisant le qualificatif de référence &, vous vous assurez que l'opérateur d'affectation synthétisé n'est disponible que pour les lvalues.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!