¿Puede la función de miembro de miembro devolver un puntero no const a un miembro de datos?

Question

Código va primero:

class A 
{ 
    public: 
     ... 
     int *foo() const 
     { 
      return _px; 
     } 
    private: 
     int *_px; 
} 

La función miembro foo devuelve un puntero no constante a private miembro de _px, que, creo, se abre una puerta a la modificación miembro de _px, ¿verdad?

¿Es foo una función de miembro const? ¿Debo agregar un const en frente del tipo de devolución?

ACTUALIZACIÓN

Qué const-miembro-función debe garantizar es que, no se puede cambiar cualquier dato miembros, ¿verdad?

En mi caso, la función foo no se abre una puerta a la modificación de los datos class A s miembros _px, pero una puerta a la modificación de lo que apunta a _px, así que mi pregunta es, ¿esto violan lo que es un const-función debe garantizar ?

Answer 1

Una función de miembro const solo puede devolver un puntero const o una referencia a un miembro.

Sin embargo, su ejemplo no devuelve un puntero a un miembro; está devolviendo una copia de un miembro que resulta ser un puntero. Eso está permitido en una función de miembro const (incluso si el puntero apunta a otro miembro).

Esto no se permitiría (tenga en cuenta que ahora es devolver una referencia):

int *& foo() const {return _px;} 

pero esto (volviendo una referencia const):

int * const & foo() const {return _px;} 

Answer 2

int *_px convierte int *const _px dentro de un método constante función esto implica que el puntero no se puede volver a insertar, pero los datos apuntados todavía se pueden modificar. Además, su función devuelve una copia del puntero para que no importe de todos modos.

Answer 3

Sí, para su caso sí puede. Sin embargo, generalmente se aconseja no hacer esto, ya que permite el cambio de objetos constantes:

void f(const A& a) 
{ 
    *(a.foo()) = 42; // damn! 
} 

Answer 4

no se abre una puerta a la modificación _px sino más bien lo _px puntos a. Depende de usted decidir si desea permitir esto o no. Por ejemplo, un iterator::operator-> devolvería un puntero no const y const_iterator::operator-> devolvería un puntero const. Ambos métodos pueden ser const ellos mismos.