Operador de asignación predeterminado en la clase interna con miembros de referencia

Question

Me he encontrado con un problema que no entiendo y esperaba que alguien aquí pudiera proporcionar alguna información. El código simplificada es la siguiente (código original fue una implementación cola personalizada/cola-iterador):

class B 
{ 
public: 
    B() {}; 
    class C 
    { 
    public: 
     int get(); 
     C(B&b) : b(b){}; 
    private: 
     B& b; 
    }; 
public: 
    C get_c() { return C(*this); } 
}; 

int main() 
{ 
    B b; 
    B::C c = b.get_c(); 


    c = b.get_c(); 
    return EXIT_SUCCESS; 
} 

Esto, cuando se compila, me da el siguiente error:

foo.cpp: In member function 'B::C& B::C::operator=(const B::C&)': 
foo.cpp:46: error: non-static reference member 'B& B::C::b', can't use default assignment operator 
foo.cpp: In function 'int main()': 
foo.cpp:63: note: synthesized method 'B::C& B::C::operator=(const B::C&)' first required here 

puedo ir alrededor de este usando dos variables C separadas, ya que se supone que son objetos independientes 'C', pero esto solo oculta el problema (todavía no entiendo por qué no puedo hacer esto).

Creo que la razón es que la referencia no se puede copiar, pero no entiendo por qué. ¿Debo proporcionar mi propio operador de asignación y copiador?

Answer 1

Este problema no tiene nada que ver con las clases internas. En C++, simplemente no puede (re) asignar referencias; deben inicializarse cuando se definan.

Un ejemplo más sencillo es:

class B 
{ 
public: 
    B(int& i) : ir(i) {}; 

    int& ir; 
}; 


int main() 
{ 
    int i; 
    B b(i);  // Constructor - OK 

    int j; 
    B bb = B(j); // Copy constructor - OK 

    bb = b;  // Assignment - Error 
    return 0; 
} 

Answer 2

Una referencia no se puede cambiar después de recibir su valor inicial. Esto significa que es imposible escribir un operador de asignación que cambie el valor de un miembro de referencia. Si necesita hacer esto, use un puntero en lugar de una referencia.

Answer 3

C++ no tiene "clases internas", sólo declaraciones de clases anidadas. Las "clases internas" son un lenguaje Java que no creo que se encuentren en otros lenguajes principales. En Java, las clases internas son especiales porque contienen una referencia inmutable implícita a un objeto del tipo que lo contiene. Para lograr el equivalente a las declaraciones anidadas de C++ en Java, se requiere el uso de clases internas estáticas; las clases internas estáticas no contienen una referencia a un objeto del tipo declarante.

Answer 4

En realidad, hay una solución para esto. Puede implement operator= in terms of copy construction, y funcionará :) Es una técnica muy capaz para tales casos. Suponiendo que quieres apoyar la tarea.