Que signifie "const" à la fin de la déclaration d'une fonction ?

Question

J'ai un livre, où il est écrit quelque chose comme :

class Foo 
{
public:
    int Bar(int random_arg) const
    {
        // code
    }
};

Qu'est-ce que cela signifie ?

Answer 1

Une "fonction const", désignée par le mot-clé const après une déclaration de fonction, fait en sorte qu'une erreur de compilation se produise lorsque cette fonction de classe modifie une variable membre de la classe. Cependant, la lecture d'une variable de classe est acceptable à l'intérieur de la fonction, mais l'écriture à l'intérieur de cette fonction génère une erreur de compilation.

Une autre façon de penser à ces "fonctions constantes" est de considérer une fonction de classe comme une fonction normale prenant une valeur implicite de this pointeur. Ainsi, une méthode int Foo::Bar(int random_arg) (sans le const à la fin) donne une fonction telle que int Foo_Bar(Foo* this, int random_arg) et un appel tel que Foo f; f.Bar(4) correspondra en interne à quelque chose comme Foo f; Foo_Bar(&f, 4) . Ajoutons maintenant la constante à la fin ( int Foo::Bar(int random_arg) const ) peut alors être compris comme une déclaration avec un pointeur const this : int Foo_Bar(const Foo* this, int random_arg) . Puisque le type de this dans ce cas est const, aucune modification des variables membres n'est possible.

Il est possible d'assouplir la restriction "const function" qui interdit à la fonction d'écrire dans n'importe quelle variable d'une classe. Pour permettre à certaines variables d'être accessibles en écriture même lorsque la fonction est marquée comme une "fonction constante", ces variables de classe sont marquées avec le mot-clé mutable . Ainsi, si une variable de classe est marquée comme mutable, et qu'une "fonction const" écrit dans cette variable, le code se compile proprement et la variable peut être modifiée. (C++11)

Comme d'habitude, lorsqu'on traite avec le const le changement de l'emplacement du mot-clé const dans une instruction C++ a des significations totalement différentes. L'utilisation ci-dessus de const s'applique uniquement lorsque l'on ajoute const à la fin de la déclaration de la fonction après la parenthèse.

const est un qualificatif très surutilisé en C++ : la syntaxe et l'ordonnancement ne sont souvent pas simples en combinaison avec les pointeurs. Certaines lectures sur const l'exactitude et la const mot-clé :

La correction des constantes

La déclaration "const" en C++ : Pourquoi et comment

Answer 2

Considérons deux variables de type classe :

class Boo { ... };

Boo b0;       // mutable object
const Boo b1; // non-mutable object

Vous pouvez maintenant appeler cualquier fonction membre de Boo sur b0 mais seulement const -Les fonctions membres qualifiées sur b1 .

Answer 3

Bar est garantie de ne pas modifier l'objet sur lequel elle est invoquée. Voir le section sur la correction des constantes dans la FAQ C++, par exemple.

Answer 4

Similaire à este question.

En substance, cela signifie que la méthode Bar ne modifiera pas les éléments non mutable variables membres de Foo .

Answer 5

Je trouve toujours plus facile, d'un point de vue conceptuel, de penser que vous rendez ce pointeur constant (ce qui est à peu près ce qu'il fait).