Czy funkcja członkowska can const zwraca wskaźnik niestały do ​​elementu danych?

Question

Kod idzie pierwszy:

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

Funkcja członkiem foo zwraca non-const wskaźnik do private członka _px, który, jak sądzę, otwiera drzwi do modyfikowania członkiem _px, prawda?

Czy foo jest funkcją członka? Czy przed typem zwracania należy dodać wartość const?

UPDATE

Co const państwie funkcja powinna gwarantować to, że nie można zmieniać żadnych danych-member, prawda?

W moim przypadku, funkcja foo nie otwiera drzwi do modyfikowania danych class A s-członek _px, ale drzwi do modyfikowania co _px wskazując, więc moje pytanie brzmi, czy to, co narusza const funkcja powinna gwarantować ?

Answer 1

Funkcja członkowska może zwrócić tylko wskaźnik lub odniesienie const do elementu.

Jednak Twój przykład nie zwraca wskaźnika do elementu; zwraca kopię członka, który jest wskaźnikiem. Jest to dozwolone w funkcji składowej const (nawet jeśli wskaźnik wskazuje na inny element).

nie będą mogły (zauważ, że to teraz powrocie odniesienie):

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

ale to (wracając do const odniesienia):

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

Answer 2

int *_px staje int *const _px wewnątrz const członka Funkcja ta oznacza, że ​​wskaźnika nie można ponownie wstawić, ale wskazane dane nadal można modyfikować. Ponadto twoja funkcja zwraca kopię wskaźnika, więc i tak nie ma to znaczenia.

Answer 3

Tak, w twoim przypadku może. Jednakże, jest to na ogół nie zaleca się tego robić, ponieważ pozwala na zmianę stałych obiektów:

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

Answer 4

on nie otwiera drzwi do modyfikowania _px ale raczej co _px punktów. To Ty decydujesz, czy chcesz na to zezwolić, czy nie.

Na przykład: zwróci wskaźnik niestały, a const_iterator::operator-> zwróci wskaźnik const. Obie metody mogą być same w sobie.