¿Por qué no puedo declarar una referencia a un objeto mutable? ("Referencia no puede ser declarada mutable")

Question

Digamos que tenemos un test.cpp de la siguiente manera:

class A; 

class B 
{ 
    private: 
     A mutable& _a; 
}; 

Compilación:

$> gcc test.cpp 
test.cpp:6:20: error: reference ‘_a’ cannot be declared ‘mutable’ [-fpermissive] 

Mi gcc:

$> gcc --version 
gcc (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1 
Copyright (C) 2011 Free Software Foundation, Inc. 
This is free software; see the source for copying conditions. There is NO 
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 

¿Por qué?

Answer 1

No hay ninguna razón para tener un miembro de referencia mutable. ¿Por qué? Debido métodos constantes pueden cambiar el objeto que está referenciado por un miembro de la clase:

class B { 
public: 
    B(int var) : n(var) {}; 
    void Set(int val) const { n = val; } //no error 
    void SetMember(int val) const { m = val; } //error assignment of member `B::m' in read-only structure 
protected: 
    int& n; 
    int m; 
}; 

Answer 2

Las referencias solo se pueden asignar al construir un objeto, y no se pueden modificar posteriormente. Por lo tanto, hacerlos mutable no tendría ningún significado, por lo que el estándar no lo permite.

Answer 3

Según la norma: [7.1.1 párrafo 8]:

"El especificador mutable se puede aplicar sólo a los nombres de datos de la clase miembros (9.2) y no se pueden aplicar a los nombres const declarada o estático , y no se puede aplicar a los miembros de referencia. "

Así que es ilegal.

Answer 4

Esto podría volar tu mente lejos, sino una referencia no es mutable (no se puede hacer para hacer referencia a otro objeto) y el valor de referencia es siempre mutable (a menos que tenga una referencia a const):

#include <iostream> 

struct A 
{ 
    int& i; 
    A(int& n): i(n) {} 
    void inc() const 
    { 
    ++i; 
    } 
}; 

int main() 
{ 
    int n = 0; 
    const A a(n); 
    a.inc(); 
    std::cout << n << '\n'; 
} 

un método const significa que un alto nivel const-calificador se agrega a los miembros. Para una referencia, esto no hace nada (= int & const a;), para un puntero hace el puntero, no la const pointee (= int* const p, no const int* p;).