Perché i membri di riferimento possono essere modificati dalle funzioni membro const?

Question

Quanto segue sarà compile anche se una funzione membro const modificherà il valore di un membro. Come mai ?

#include <iostream> 

struct foo 
{ 
    std::string &str; 
    foo(std::string &other) : str(other) {} 

    void operator()(std::string &some) const 
    { 
     str += some; 
    } 
}; 

int main() 
{ 
    std::string ext("Hello"); 
    foo a{ ext }; 

    std::string more(" world!"); 
    a(more); 

    cout << a.str; 
    return 0; 
} 

Answer 1

La const qualificazione di una funzione membro della classe indica che questa funzione utente (ad esempio, foo::operator() const) non può cambiare lo stato dell'oggetto dal punto di vista (cioè, è stato astratto) del client . Ciò non equivale esattamente a dire che i bit grezzi dell'oggetto non cambieranno.

E 'vietato ai compilatori C++ considerare gli oggetti come bit grezzi, a meno che non possano risolvere the problem of aliasing. che nel tuo caso il compilatore non può. Ciò è dovuto al fatto che esiste un alias non costante (ad esempio, std::string &str) e di conseguenza lo stato dell'oggetto è modificabile.

Cioè, chiamando operator() sull'oggetto a non cambia lo stato di a (cioè, anche se ext è cambiato, il str rimane ancora un alias ext).

Quanto sopra spiega anche perché puntare un oggetto con un puntatore a costante (ovvero, std::string * const str) non garantisce che l'oggetto non verrà modificato. Garantisce solo che l'oggetto non cambierà attraverso quel puntatore.

Answer 2

consideri il riferimento come un puntatore classico:

#include <iostream> 

struct foo 
{ 
    std::string * const str; // is the same as std::string &str 
    foo(std::string &other) : str(&other) {} 

    void operator()(std::string &some) const 
    { 
     *str += some; 
    } 
}; 

int main() 
{ 
    std::string ext("Hello"); 
    foo a{ ext }; 

    std::string more(" world!"); 
    a(more); 

    cout << a.str; 
    return 0; 
} 

Vedrai che il puntatore non cambia, solo il valore puntato da essa fa.