error: inicialización no válida de la referencia de tipo 'int &' de la expresión de tipo 'const int'

Question

Esta es una pregunta no relacionada sobre el código en this question, con respecto a la siguiente función de plantilla.

template <class T> 
class Object : public Container { 
public: 
    T& object; 

    Object(const T& obj) : object(obj) {} 
}; 

Este es el código que llama al constructor:

template <class T> 
void Array::add_element(const T& element) 
{ 
    vec.push_back(new Object<T>(element)); 
} 

Este código compila bien, pero tan pronto como se agrego una línea en main que lo llama:

Array array; 
int i = 3; 
array.add_element(i); 

I obtener una advertencia del compilador: error: invalid initialization of reference of type 'int&' from expression of type 'const int'.

¿De qué se trata? Pasé un int in. ¿No debería convertirse automáticamente en un const int& para mí? ¿Por qué se queja el compilador?

Answer 1

obj es una referencia de referencia. object es una referencia no const.

No se puede inicializar una referencia no constante a partir de una referencia constante, ya que al hacerlo se frustraría el propósito de tener una referencia directa en primer lugar.

Si desea que su instancia de Object pueda modificar el int que se transfiere a su constructor, el constructor debe tomar una referencia no constante. Si no lo hace, entonces el miembro de datos debe ser una referencia constante.

En cualquier caso, está almacenando problemas para usted si usa new para asignar objetos que tienen referencias como miembros de datos. Es su problema para asegurar que se elimina la Object antes i sale del ámbito (o en cualquier caso, asegúrese de que la Object no utiliza su miembro object después i sale del ámbito.

Answer 2

Estás tratar de asignar una referencia constante para una referencia no const. Esto significa que su clase de objetos puede modificar el contenido del objeto.

const int myConstNumber = 4; 
Object<int> intObj(myConstNumber); 

intObj.object = 3; // you have indirectly modified the value of myConstNumber 

C++ no le permiten hacer eso. puede hacer una copia del objeto o añadir el const a su atributo.

template <class T> 
class Object : public Container { 
public: 
    T object; // valid 

o

template <class T> 
class Object : public Container { 
public: 
    const T& object; // valid 

en este caso no se puede modificar objeto