[C++] Qualificatore const e classi

[ZfreS]

Avrei un dubbio per quanto riguarda il qualificatore const in c++. Per esempio se ho una funzione così definita: void foo(const A& a), il qualificatore const indica che la funzione non può modificare l'oggetto; implicitamente, però il compilatore aggiunge alla lista dei parametri il seguente: A* const this. Nel caso io dichiarassi la mia funzione in questo modo: void foo( A& a) const, il compilatore la vedrebbe in questo modo: $void foo(const A* const this, const A& a). La mia domanda è: nel secondo caso, il qualificatore const "esterno", si applica solo al puntatore this o anche agli altri parametri (anche se già const)?

[Super Squirrel]

Nel caso io dichiarassi la mia funzione in questo modo: void foo( A& a) const, il compilatore la vedrebbe in questo modo: $void foo(const A* const this, const A& a).

Da cosa l'hai dedotto? Il fatto che il seguente codice compili sembra smentirti:

Codice:

#include <iostream>

class A
{
    int x;

public:

    void foo(A &a)const
    {
        a.x = 5;
    }
};

int main()
{
    A a_1, a_2;
    a_1.foo(a_2);
}

[vict85]

Probabilmente c'è un errore nel tuo libro, il compilatore aggiunge un const solo a this.

[ZfreS]

Probabilmente c'è un errore nel tuo libro, il compilatore aggiunge un const solo a this.

Si si certo, questo lo so. Era una mia domanda se il compilatore aggiungesse const a tutti gli altri parametri.

[feddy]

Aggiungo solo che nel codice di @SuperSquirrel, marcare la funzione const fa sì che non si possa modificare un oggetto di tipo A tramite foo

Codice:

#include <iostream>

struct A
{
    int x;


    void foo(A &a)const
    {
        x = 5;
    }
};

int main()
{
    A a_1, a_2;
    a_1.foo(a_2);
}


produce member function 'A::foo' is declared const here: void foo(A &a)const

[Super Squirrel]

Aggiungo solo che nel codice di @SuperSquirrel, marcare la funzione constfa sì che non si possa modificare un oggetto di tipo Atramite foo

Non sono d'accordo, se

Codice:

void foo(A &a)const

equivale a

Codice:

void foo(A const * const this, A &a)

*this non può essere modificato, ma a sì.

produce member function 'A::foo' is declared const here: void foo(A &a)const

L'errore in questo caso è dovuto al fatto che stai stai modificando this->x e non a.x come nel codice che ho postato in precedenza.

[feddy]

È esattamente quello che volevo far intendere quando dicevo che "non posso modificare l'oggetto" tramite la funzione membro foo.

Non intendevo l'oggetto a, bensì mi riferivo a this->x, come hai scritto tu. Volevo solo evidenziare questo per mostrare la differenza tra marcare la funzione const, e marcare const l'argomento, nulla di più

[Super Squirrel]

È esattamente quello che volevo far intendere quando dicevo che "non posso modificare l'oggetto" tramite la funzione membro foo.

Ah ok, ma quel generico "un oggetto di tipo A" era un po' equivoco!