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

Question

Possible en double:
Meaning of “const” last in a C++ method declaration?

Salut je me suis un livre, où il est écrit quelque chose comme:

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

En outre, un by-the-way question : pourquoi devrais/devrais-je utiliser const avant les déclarations d'argument? Qu'est-ce que ça change?

int Foo (const int Bar) { /* code */ } 

EDIT: Donc, si je fais maintenant:

Foo v1, v2; 

Est-ce que la fonction Bar (étiqueté const-) existent 3 fois ou 1 fois en mémoire?

Answer 1

Une "fonction const", indiquée par le mot-clé const après une déclaration de fonction, en fait une erreur de compilation pour cette fonction de classe afin de changer une variable membre de la classe. Cependant, la lecture d'une variable de classe est ok à l'intérieur de la fonction, mais écrire à l'intérieur de cette fonction va générer une erreur de compilation. Une autre façon de penser à une telle "fonction const" est de voir une fonction de classe comme une fonction normale prenant un pointeur implicite this. Donc, une méthode int Foo::Bar(int random_arg) (sans le const à la fin) aboutit à une fonction comme int Foo_Bar(Foo* this, int random_arg), et un appel tel que Foo f; f.Bar(4) correspondra intérieurement à quelque chose comme Foo f; Foo_Bar(&f, 4). Ajoutant maintenant le const à la fin (int Foo::Bar(int random_arg) const) peut alors être compris comme une déclaration avec un const ce pointeur: int Foo_Bar(const Foo* this, int random_arg). Puisque le type de this dans un tel cas est const, aucune modification des variables membres n'est possible.

Il est possible de desserrer la restriction "const function" de ne pas permettre à la fonction d'écrire dans une variable d'une classe. Pour permettre l'écriture de certaines variables même lorsque la fonction est marquée comme une "fonction const", ces variables de classe sont marquées du 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 compilera proprement et la variable pourra être modifiée. (C++ 11)

Comme d'habitude lorsqu'il s'agit du mot-clé const, la modification 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 vous ajoutez const à la fin de la déclaration de fonction après la parenthèse. const est un qualificateur fortement surutilisé en C++ et la syntaxe et l'ordre n'est souvent pas simple en combinaison avec des pointeurs. Quelques lectures sur const exactitude et le mot-clé const:

Const correctness

The C++ 'const' Declaration: Why & How

Answer 2

similaires à this question.

Essentiellement, cela signifie que la méthode Bar ne modifiera pas les variables membres mutable de Foo.

Answer 3

Bar est garanti de ne pas changer l'objet sur lequel il est appelé. Voir le section about const correctness dans la FAQ C++, par exemple.

Answer 4

Je trouve toujours conceptuellement plus facile de penser que vous faites le const de ce pointeur (qui est à peu près ce qu'il fait).

Answer 5

Tenir compte deux variables typé de classe:

class Boo { ... }; 

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

Maintenant, vous pouvez appeler une fonction membre de Boo sur b0, mais seulement const fonctions membres sur b1 qualifiés pour un.

Answer 6

La fonction ne peut pas changer ses paramètres via le pointeur/la référence que vous lui avez donné.

je vais à cette page chaque fois que je dois y penser:

http://www.parashift.com/c++-faq-lite/const-correctness.html

Je crois qu'il ya aussi un bon chapitre « plus efficace C++ » Meyers.