Maison développement back-end C++ La surcharge des opérateurs élimine-t-elle les comportements non définis dans des expressions telles que « i = i » avec des types définis par l'utilisateur ?

La surcharge des opérateurs élimine-t-elle les comportements non définis dans des expressions telles que « i = i » avec des types définis par l'utilisateur ?

Dec 22, 2024 pm 07:27 PM

Does Overloading Operators Eliminate Undefined Behavior in Expressions like `i  =   i` with User-Defined Types?

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

L'expression i = i a été étiquetée comme invoquant un comportement indéfini lorsque i est un type intégré . Cependant, cela soulève des questions sur le comportement d'expressions similaires lorsque i est un type défini par l'utilisateur.

Considérations sur les types définis par l'utilisateur

Le type Index est défini comme :

class Index {
    int state;

    public:
        Index(int s) : state(s) {}
        Index& operator++() {
            state++;
            return *this;
        }
        Index& operator+=(const Index &index) {
            state += index.state;
            return *this;
        }
        operator int() {
            return state;
        }
        Index& add(const Index &index) {
            state += index.state;
            return *this;
        }
        Index& inc() {
            state++;
            return *this;
        }
};
Copier après la connexion

Des expressions telles que i.operator =(i.operator ()); ou je.add(i.inc()); invoquez-vous toujours un comportement non défini ?

Implications des points de séquence

L'expression i.operator =(i.operator ()); n'invoque pas de comportement indéfini car :

  • Les opérateurs surchargés sont des fonctions, qui ont des points de séquence avant et après leur évaluation.
  • Les appels Operator() et Operator =() ont ainsi bien -points de séquence définis.
  • Par conséquent, l'expression se comporte comme prévu sans violer le point de séquence règles.

Considérations relatives à la non-expression

L'expression originale i = i soulève la question de savoir s'il s'agit d'une expression du tout. Si ce n'est pas le cas, il se peut qu'il ne soit pas soumis aux règles de points de séquence. Cependant, il est peu probable que cet argument soit valable car il est analysé et exécuté comme une expression.

Modifications multiples

L'autre expression d'intérêt, a[ i] = i , soulève également des questions en raison des modifications potentielles entre les points de séquence. Cependant, il est bien défini lorsqu'a est un type défini par l'utilisateur qui surcharge l'opérateur d'indice.

Complexité de l'expression

L'expression i est bien définie en C 03 car il est équivalent à ((i.operator ()).operator ()).operator (), qui a des points de séquence bien définis entre les fonctions évaluations.

Conclusion

Le comportement des expressions impliquant des types et des points de séquence définis par l'utilisateur dépend de l'implémentation spécifique des opérateurs. Les opérateurs surchargés se comportent comme des fonctions, fournissant des points de séquence. Cependant, le fait qu'une expression soit soumise aux règles de points de séquence peut dépendre de sa structure syntaxique et de son interprétation en tant qu'expression.

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!

Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn

Article chaud

Repo: Comment relancer ses coéquipiers
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
Combien de temps faut-il pour battre Split Fiction?
3 Il y a quelques semaines By DDD
R.E.P.O. Crystals d'énergie expliqués et ce qu'ils font (cristal jaune)
1 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
Hello Kitty Island Adventure: Comment obtenir des graines géantes
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌

Article chaud

Repo: Comment relancer ses coéquipiers
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
Combien de temps faut-il pour battre Split Fiction?
3 Il y a quelques semaines By DDD
R.E.P.O. Crystals d'énergie expliqués et ce qu'ils font (cristal jaune)
1 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
Hello Kitty Island Adventure: Comment obtenir des graines géantes
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌

Tags d'article chaud

Bloc-notes++7.3.1

Bloc-notes++7.3.1

Éditeur de code facile à utiliser et gratuit

SublimeText3 version chinoise

SublimeText3 version chinoise

Version chinoise, très simple à utiliser

Envoyer Studio 13.0.1

Envoyer Studio 13.0.1

Puissant environnement de développement intégré PHP

Dreamweaver CS6

Dreamweaver CS6

Outils de développement Web visuel

SublimeText3 version Mac

SublimeText3 version Mac

Logiciel d'édition de code au niveau de Dieu (SublimeText3)

Quels sont les types de valeurs renvoyées par les fonctions du langage C? Qu'est-ce qui détermine la valeur de retour? Quels sont les types de valeurs renvoyées par les fonctions du langage C? Qu'est-ce qui détermine la valeur de retour? Mar 03, 2025 pm 05:52 PM

Quels sont les types de valeurs renvoyées par les fonctions du langage C? Qu'est-ce qui détermine la valeur de retour?

Gulc: Cibliothèque C construite à partir de zéro Gulc: Cibliothèque C construite à partir de zéro Mar 03, 2025 pm 05:46 PM

Gulc: Cibliothèque C construite à partir de zéro

C Fonction Langue Format de lettre ÉTAPES DE CONVERSION DE CAS C Fonction Langue Format de lettre ÉTAPES DE CONVERSION DE CAS Mar 03, 2025 pm 05:53 PM

C Fonction Langue Format de lettre ÉTAPES DE CONVERSION DE CAS

Quelles sont les définitions et les règles d'appel des fonctions du langage C et quelles sont les Quelles sont les définitions et les règles d'appel des fonctions du langage C et quelles sont les Mar 03, 2025 pm 05:53 PM

Quelles sont les définitions et les règles d'appel des fonctions du langage C et quelles sont les

Utilisation distincte et partage de phrases Utilisation distincte et partage de phrases Mar 03, 2025 pm 05:51 PM

Utilisation distincte et partage de phrases

Où est la valeur de retour de la fonction de langue C stockée en mémoire? Où est la valeur de retour de la fonction de langue C stockée en mémoire? Mar 03, 2025 pm 05:51 PM

Où est la valeur de retour de la fonction de langue C stockée en mémoire?

Comment fonctionne la bibliothèque de modèle standard C (STL)? Comment fonctionne la bibliothèque de modèle standard C (STL)? Mar 12, 2025 pm 04:50 PM

Comment fonctionne la bibliothèque de modèle standard C (STL)?

Comment utiliser efficacement les algorithmes du STL (trier, trouver, transformer, etc.)? Comment utiliser efficacement les algorithmes du STL (trier, trouver, transformer, etc.)? Mar 12, 2025 pm 04:52 PM

Comment utiliser efficacement les algorithmes du STL (trier, trouver, transformer, etc.)?

See all articles