Hàm const thành viên có thể trả về một con trỏ không const cho một thành viên dữ liệu không?

Question

Mã đi đầu tiên:

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

Chức năng thành viên foo trả về một con trỏ không const để private viên _px, trong đó, tôi nghĩ rằng, sẽ mở ra một cánh cửa để sửa đổi thành viên _px, phải không?

Là foo một chức năng thành viên const? Tôi có nên thêm const trước loại trả lại không?

CẬP NHẬT

Thật là một const thành viên-chức năng nên đảm bảo là, nó không thể thay đổi bất kỳ dữ liệu thành viên, phải không?

Trong trường hợp của tôi, chức năng foo không mở một cánh cửa để sửa đổi class A s dữ liệu thành viên _px, nhưng một cánh cửa để sửa đổi những gì _px trỏ đến, Vì vậy, câu hỏi của tôi là, điều này vi phạm những gì một const chức năng cần đảm bảo ?

Answer 1

Chức năng thành viên const chỉ có thể trả lại con trỏ const hoặc tham chiếu đến thành viên.

Tuy nhiên, ví dụ của bạn không trả lại con trỏ cho thành viên; nó trả về một bản sao của một thành viên xảy ra là một con trỏ. Điều đó được cho phép trong một hàm thành viên const (ngay cả khi con trỏ xảy ra để trỏ đến một thành viên khác).

này sẽ không được phép (lưu ý rằng nó bây giờ trả lại một tài liệu tham khảo):

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

nhưng điều này sẽ (trở về một tham chiếu const):

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

Answer 2

int *_px trở thành int *const _px bên trong một thành viên const hàm này ngụ ý rằng con trỏ không thể được reseated nhưng dữ liệu được trỏ tới vẫn có thể sửa đổi được. Hơn nữa chức năng của bạn trả về một bản sao của con trỏ vì vậy nó không quan trọng anyways.

Answer 3

Có, trong trường hợp của bạn, có thể. Tuy nhiên, nó thường được khuyên nên không để làm điều này, bởi vì nó cho phép thay đổi đối tượng liên tục:

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

Answer 4

Nó không mở một cánh cửa để sửa đổi _px mà là những gì _px điểm đến. Bạn quyết định có muốn cho phép điều này hay không.

Ví dụ: iterator::operator-> sẽ trả lại con trỏ không phải là const và const_iterator::operator-> sẽ trả về một con trỏ const. Cả hai phương pháp có thể được const mình.