La surcharge des opérateurs en C élimine-t-elle les comportements non définis dans des expressions telles que « i = i » ?

Comportement non défini et points de séquence revisités

Dans cette suite du sujet « Comportement non défini et points de séquence », nous approfondissons le comportement de expressions impliquant des types définis par l'utilisateur.

Types définis par l'utilisateur et non définis Comportement

Considérez l'expression suivante impliquant un type d'index défini par l'utilisateur :

i += ++i;

Le comportement de cette expression avec des types intégrés n'est pas défini. Cependant, invoque-t-il toujours un comportement indéfini si i est de type Index ?

Non, ce n'est pas le cas. En effet, l'expression devient équivalente à :

i.operator+=(i.operator++());

Étant donné que les opérateurs surchargés sont des fonctions, les règles de séquençage normales s'appliquent. Un point de séquence existe après l'évaluation de i.operator (), donc la modification ultérieure de i dans i.operator =() ne viole aucune règle de comportement non définie.

De même, les expressions i.add(i .inc()); et je suis bien défini. La première expression est équivalente à :

i.operator+=(i.operator++());

Et la deuxième expression est équivalente à :

(i.operator++()).operator++()).operator++();

Chacune de ces expressions a un point de séquence après l'évaluation de l'expression de l'opérateur () , garantissant que l'objet i n'est pas modifié deux fois entre des points de séquence consécutifs.

Opérateur d'indice Surcharge

L'expression :

a[++i] = i;

où a est un type défini par l'utilisateur qui surcharge l'opérateur d'indice, est également bien définie. L'opérateur d'incrémentation renvoie un objet Index, qui est ensuite utilisé pour indexer le tableau. L'affectation Operator = est équivalente à la méthode Operator[](), qui est un appel de fonction. Par conséquent, les règles de séquençage s’appliquent et un point de séquence existe après l’évaluation de i. Par conséquent, l'expression est bien définie.

Points supplémentaires

• Le nombre de points de séquence associés à une expression dépend des types d'opérandes impliqués, comme le cas de i = i le démontre.
• En C 03, l'expression i est bien définie.

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!