Pourquoi l'opérateur de conversion est-il prioritaire sur le constructeur de conversion lors de la conversion d'un objet d'un type à un autre ?

Constructeur de conversion vs opérateur de conversion : priorité et implications philosophiques

Dans la programmation orientée objet, les constructeurs et opérateurs de conversion facilitent la transformation d'objets d'un type à un autre. Cependant, il peut exister des scénarios dans lesquels plusieurs chemins de conversion viables existent, posant la question de savoir lequel a la priorité.

Dans l'extrait de code donné, l'opérateur de conversion est invoqué lors de l'attribution d'un objet A à une variable B (B b = A();), malgré la présence à la fois d'un opérateur de conversion et d'un constructeur de conversion. Les sections suivantes examinent la justification de ce comportement et ses implications philosophiques.

Précédence selon la norme C

La norme C établit la priorité pour résoudre les appels de conversion ambigus dans la section 13.3.1.4, qui indique que la résolution de surcharge est utilisée pour sélectionner la « meilleure » conversion définie par l'utilisateur. Dans ce cas, les fonctions candidates incluent à la fois le constructeur de conversion de B et l'opérateur de conversion de A.

Lorsque les types source et destination sont des classes différentes (S et T), le compilateur initialise un objet de type T ( via l'initialisation de la copie) en appliquant une série d'étapes de conversion. La norme considère à la fois les fonctions de conversion de S et ses classes de base. La fonction de conversion qui produit un type correspondant ou dérivé de T sans qualificatifs cv supplémentaires devient candidate. Cette étape aboutit à la sélection des opérateurs B() et B(const A&) comme candidats dans notre cas.

Par la suite, la norme C applique la résolution de surcharge pour déterminer la meilleure correspondance pour les arguments. La liste d'arguments se compose de l'expression d'initialisation dans cette instance. Dans notre code, l'argument est un objet A, qui est une lvalue.

Le facteur crucial dans la détermination de la préséance est résumé dans la section 13.3.3.2/3 : "Si deux fonctions candidates sont toutes deux des liaisons de référence et font référence à types compatibles, celui avec la moindre qualification cv sur la référence est préféré."

Dans notre code, l'opérateur B() prend une lvalue de type A du fait qu'il est un fonction membre, tandis que B(const A&) prend une référence const. Étant donné que l'opérateur B() a moins de qualifications const, il est sélectionné comme candidat supérieur par le compilateur, ce qui entraîne l'invocation de l'opérateur de conversion.

Implications philosophiques orientées objet

D'un point de vue philosophique De ce point de vue, le choix de savoir si A ou B a plus de connaissances sur la façon dont la conversion doit avoir lieu est discutable.

D'une part, on pourrait affirmer que B (le type cible) est la partie la plus compétente car elle est chargée de définir comment se construire à partir d'un objet A. Le constructeur de conversion dans B peut encapsuler des règles de conversion ou des validations spécifiques.

D'un autre côté, on pourrait préconiser que A (le type source) possède une meilleure compréhension de sa propre représentation et de la manière dont elle peut être interprétée comme un B. objet. L'opérateur de conversion dans A permet à l'objet de contrôler la manière dont il est transformé en B.

Au final, le standard C a opté pour l'approche où l'opérateur de conversion est prioritaire, donnant la priorité à la représentation de l'objet source. Ce choix s'aligne sur l'idée selon laquelle l'objet lui-même possède la meilleure compréhension de son propre état interne et de la manière dont il peut être converti en d'autres types. Cependant, il est essentiel de noter que cette règle de préséance est soumise aux règles de résolution de surcharge, selon lesquelles la décision finale peut être influencée par d'autres facteurs tels que la qualification const, comme le démontre notre exemple de code.

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!